deklarativ

<=> Wissen und Wissensrepräsentation

==> vollständig, Vollständigkeit

==> Prolog

<=> prozedural

==> korrekt, Korrektheit

==> Logik

==> Horn-Klausel

==> Inferenzverfahren

==> Inferenzmaschine

<== SHRDLU

<== Übergangsnetzwerk, erweitertes

<== Grammatikmodelle

<== Unifikationsgrammatik