Programmieren mit Prolog
Programmieren mit Prolog
Programmieren mit Prolog
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Antwortextraktion: Beispiel 2Das Programm kann auch“Subtrahieren”:P ∃z : plus(ss0,z,sss0) ?Die Widerlegungplus(ss0,z,sss0) → F (2)σ 1plus(s0,z 1 ,ss0) → F (2)plus(0,z 2 ,s0) → F□σ 2(1)σ 3<strong>mit</strong> σ 1 = {z ↦→ z 1 }, σ 2 = {z 1 ↦→ z 2 }, σ 3 = {z 2 ↦→ s0} liefertzσ = zσ 1 σ 2 σ 3 = s0Hochschule Darmstadt, Januar 2009 – p.47/54