Horn-Klausel

==> Klausel

<== Resolution

<== Instantiierung

<== Programmiersprachen

<=> Logikprogrammierung

<== Klauselgrammatik, definite

<== Prolog

<== Künstliche Intelligenz, Geschichte der

<== Lernen, maschinelles

<== Wissen und Wissensrepräsentation

<== deklarativ

<== hybrid