述語論理とPrologプログラミング １．この記事で使用する論理記号・→ 含む（Ａ→Ｂ、Ａ⊃Ｂ）・⇔ 同値（Ａ≡Ｂ、Ａ⇔Ｂは、ＡとＢがともに真、又は偽のときのみ真）・￢ 否定（！、～）・⋀ 論理積（＆、・）・⋁ 論理和（＋）・∀ 全ての、任意の（全称量化）・ … “述語論理とPrologプログラミング” の続きを読む
