SANchi Prolog ManualSAN値 Prolog (ver.2)マニュアル last update: 2012/APR/24 初出: 2012/APR/23 たけおか (竹岡尚三) 0. SAN値 Prolog について SAN値 Prologは、たけおかが考案した、SAN値論理に基づく論理型言語である。 a) SAN値論理とは SAN値とは「頭の正気度」を表す数値である。 SAN値が0だと、完全に気が狂っている。 述語論理に「SAN値」というものを導入する。 SAN値論理では、評価時の「頭のおかしさ具合」を「SAN値」と呼ぶ。 各事実(節)ごとに、「SAN度」を設定できる。 評価時にその時点のSAN値に、もっとも近いSAN度を持つ節が選ばれる。 SAN度を持つ述語の節は評価された後、その結果が真であったら、他の節とSAN度が比較される。 よって、SAN度を持つ述語の節はすべて評価される。 評価は、純粋な一階述語論
