Klauselgrammatik, definite

<=> Grammatik, logische

==> Prolog

==> Beweis

==> Prädikatenlogik

==> Horn-Klausel

==> Unifikation

==> Parsing natürlicher Sprache

==> Kategorie, komplexe

==> Regel, lexikalische, grammatische

==> Unifikationsgrammatik