確定節と目標節による節のことをHorn節と呼ぶ

意味としては同じだが、この「確定節」「目標節」は論理プログラミングにおける用語っぽい

論理モデルの公理として扱う

Prologはホーン節がプログラム

ほーん

否定を含まないリテラルが一つの節

\forall x(P\leftarrow Q_1\land\dots\land Q_n)

P,Qは素式

定義プログラム

否定を含むリテラルのみからなる節

\forall x(\lnot Q_1\lor \dots\lnot Q_m)

P,Qは素式

実行プログラム