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.
Keine“eingebaute Induktion”P ∃z : plus(z, 0,z) ?Alle Antworten der Form {z ↦→ 0}, {z ↦→ s0}, {z ↦→ ss0}, . . .können durch Widerlegungen gefunden werden:plus(z,0, z) → F (1)□liefert zσ = zσ 1 = 0σ 1plus(z,0, z) → F (2)σ 1plus(z 1 ,0, z 1 ) → F (1)□liefert zσ = zσ 1 σ 2 = s0σ 2ETC“Die”Antwort {z ↦→ z} fehlt!?!Hochschule Darmstadt, Januar 2009 – p.51/54