ホーン節
P1 ∧ P2 ∧ ... ∧ Pn → (空欄)(第一形式)
(空欄)← P1 ∧ P2 ∧ ... ∧ Pn (第二形式)
同様に、原子命題 P に対して、
(空欄) → P (これは P と同値であり、確定節である)
P → (空欄) (これらは ¬P と同値であり、ゴール節である)
などもホーン節として正しい。なお、確定節の右辺の原始命題 Q は前提 { P1 , ... , Pn } から導かれる論理的帰結(logical consequence)と呼ぶ。
P1 ∧ P2 ∧ ... ∧ Pn → Q (第一形式)
Q ← P1 ∧ P2 ∧ ... ∧ Pn(第二形式)