En Horn-klausul er en klausul (disjunksjon av literaler) med høyst én positiv literal.

Uttrykk: (!A | !B | C)

Er dette en Horn-klausul?