Klauzula Horna (ang. Horn clause) to klauzula, w której co najwyżej jeden element jest niezanegowany. Przykładami takich klauzul są {p,¬r,¬q} i {¬r,¬q}.

Klauzule Horna zapisuje się zwykle w postaci implikacyjnej:

• p ← r ∧ q
• ← r ∧ q

albo wręcz w Prologowskiej:

• p :- r, q
•  :- r, q

Klauzule Horna są używane w programowaniu logicznym (na przykład w Prologu).

[edytuj] Zobacz też

• przegląd zagadnień z zakresu matematyki
• klauzula
• klauzula dualna.