ホーン節
論理プログラミングにおいては、「正リテラルを一つだけ持つ節」を確定節(definite clause)、「正リテラルを持たない節」をゴール節(goal clause)と呼ぶ。すなわち、論理プログラミングにおいては、確定節とゴール節のことをホーン節と呼ぶ。
ところで、命題論理においては P, Q, R を原子命題とすれば、
¬P ∨ ¬Q ∨ R ≡ (P ∧ Q) → R
は恒真命題である。すなわち、¬P ∨ ¬Q ∨ R は (P ∧ Q) → R で置き換えることができる。論理プログラミングにおいては、確定節とゴール節は → 結合子を用いて以下のように表わされることが多い: