Logik:Klausuren/28.02.2003/2.9 Aufgabe

1. Aufgabenstellung

Gegeben sei das Prolog-Programm

$ sum([\ ],0).\ $
$ sum([H|T],s(H,E)):- sum(T,E).\ $

und die Anfrage $ ?-sum([a,b],L). \ $

Führen Sie SLD-Resolution für die Anfrage durch und bestimmen Sie so eine Antwort-
substitution.

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 28.02.2003