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.
Antwortextraktion: BeispielFür die Formelmenge (das“Programm”) P <strong>mit</strong> den FormelnW → plus(0,y,y) (1)plus(x,y,z) → plus(s(x),y,s(z)) (2)giltP plus(s k (0),s m (0),s n (0))gdw k + m = nwobei s ein einstelliges Funktionssymbol ist (“successor”)und s k (0) der Term s(s(· · · s(0))) <strong>mit</strong> k-maligem s.Hochschule Darmstadt, Januar 2009 – p.45/54