- 240 名前：デフォルトの名無しさん mailto:sage [2009/06/10(水) 13:01:54 ]
- 古川康一著の「Prolog入門」より。
# ホーン論理とは,一階述語論理の命題をA1 ∨ A2 ∨ ... ∨ An ← B1 ∧ B2 ∧ ... ∧ Bm の
# 形(節形式)であらわしたときに,左辺の句がたかだか一つしか現れないような命題のみ扱う論理
# である(ここで,A1,A2, ... ,An,B1,B2, ...,Bm は正の句である). すなわち,左辺に句が
# 一つ現れるのか定義節であり,そこが空になるのがゴール節である(ゴール節を":-"から始めても
# よいのは,そのためである).
