Prolog

<=> Programmiersprachen

==> LISP

==> Logikprogrammierung

<== Grammatik, logische

<== Klauselgrammatik, definite

<== Negation as failure

==> Prototyping

==> Künstliche Intelligenz, KI

<== Theorembeweiser

==> Modus ponens

==> Horn-Klausel

<=> Resolution

==> Symbolverarbeitung

<== Künstliche Intelligenz, Geschichte der

<== Inferenzverfahren

<== Wissen und Wissensrepräsentation

<== deklarativ

==> Unifikation

==> Rückwärtsverkettung

==> Constraint

<== Fuzzy-Logik

==> Abgeschlossenheitsannahme