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.
Keine“eingebaute Induktion”(Forts.)Die Antwort {z ↦→ z} fehlt tatsächlich.Wegen {z ↦→ z} < {z ↦→ s k (0)} für alle k ∈ Nfolgt aus der Vollständigkeit der AntwortextraktionP ∀z : plus(z, 0,z)Für ExpertInnen: ∀z : plus(z, 0,z) folgt zwar nicht aus P, istaber im kleinsten Herbrandmodell (= initialen Modell) wahr.(Beweis der Formel <strong>mit</strong> einem geeigneten Induktionsschema.)(Jacques Herbrand 1908–31, französischer Logiker)Hochschule Darmstadt, Januar 2009 – p.52/54