Horn-Klausel
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:
Die Bedeutung der Horn-Klauseln liegt z.B. in der Informatik beim maschinellen Schließen. Eine bekannte Programmiersprache mit Horn-Klauseln ist Prolog.