Programmieren mit Prolog
Programmieren mit Prolog
Programmieren mit Prolog
Erfolgreiche ePaper selbst erstellen
Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.
Resolution: Zwei BeispieleWieder sind x, y und z Variablen.Q(x) → P(x,a) P(f(y),y) → R(y)Q(f(a)) → R(a)<strong>mit</strong> mgu {x ↦→ f(a), y ↦→ a}.(Hier gibt es nur einen Unifikator.)Q(x) → P(x,a) P(f(z),y) → R(y)Q(f(z)) → R(a)<strong>mit</strong> mgu {x ↦→ f(z), y ↦→ a}.(Hier gibt es unendlich viele Unifikatoren.)Hochschule Darmstadt, Januar 2009 – p.37/54