Unifikation

<=> Mustervergleich

<== Wissen und Wissensrepräsentation

<== Logikprogrammierung

<== Klauselgrammatik, definite

<== Prolog

<== Sortenlogik

<== Konnektionsmethode

<== Resolution

<== Inferenzverfahren

<== Deduktion

<== Parsing natürlicher Sprache

<== Unifikationsgrammatik

<== Merkmale, grammatische

==> Term