Horn節
Horn clause
確定節
と
目標節
による
節
のことをHorn節と呼ぶ
意味としては同じだが、この「確定節」「目標節」は
論理プログラミング
における用語っぽい
論理モデル
の公理として扱う
Prolog
はホーン節がプログラム
ほーん
mrsekut.icon
確定節
definite clause
否定を含まない
リテラル
が一つの
節
$ \forall x(P\leftarrow Q_1\land\dots\land Q_n)
$ P,Q
は
素式
定義プログラム
目標節
goal clause
否定を含む
リテラル
のみからなる
節
$ \forall x(\lnot Q_1\lor \dots\lnot Q_m)
$ P,Q
は
素式
実行プログラム
https://ja.wikipedia.org/wiki/ホーン節