Implementierung

Prinzipien:

• teilweise unbestimmte Terme (Terme mit Variablen)
• Unifikation:

  Terme in Übereinstimmung bringen durch (teilweise) Belegung von Variablen

  angewendet für Anfrageterm und Regelkopf

• Backtracking (Nichtdeterminismus):

  alle Regeln, deren Kopf paßt, der Reihe nach probieren