Klauzula Horna
Z Wikipedii
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).