Logikprogrammierung

<== Programmiersprachen

<== Grammatik, logische

<== Negation as failure

<== Prolog

<== Beweisen, automatisches

==> Kalkül

==> Prädikatenlogik

<=> Horn-Klausel

<== Resolution

<== Inferenzverfahren

<== Deduktion

==> Wissensbasis

==> Unifikation

<== Suche

<== Termersetzungssystem

<== Unifikationsgrammatik

<=> Abgeschlossenheitsannahme