ホーン節
命題論理における節が
正リテラルを一つだけ持つ (例:P1 ∨ ¬P2 ∨ ... ∨ ¬Pn)
または、
正リテラルを持たない (例:¬P1 ∨ ¬P2 ∨ ... ∨ ¬Pn)
とき、この節をホーン節(Horn clause)と呼ぶ。