Eine Horn-Klausel ist eine Darstellungsweise für Aussagen in der Aussagenlogik. Diese besteht aus einer Disjunktion von Literalen. Dabei ist höchstens ein Literal positiv.

Eine Horn-Klausel hat die Form:

Äquivalent dazu ist folgende Schreibweise:

Eine Konjunktion von Horn-Klauseln nennt man Horn-Form:

Nicht jede Aussage, die sich in der Aussagenlogik formulieren lässt, ist als Horn-Klausel darstellbar.

Die Bedeutung der Horn-Klauseln liegt z.B. in der Informatik beim maschinellen Schließen. Eine bekannte Programmiersprache mit Horn-Klauseln ist Prolog.