Grammatik, logische

==> Logikprogrammierung

<=> Klauselgrammatik, definite

==> Prolog