Logik:Klausuren/27.02.2004/2.9 Aufgabe

1. Aufgabenstellung

Gegeben sei das Programm

$ plop([\ ],a). $
$ plop([H|T],s(X)) :- plop(T,X).\ $

a) Geben Sie das kleinste Herbrandmodell an.

b) Geben Sie eine SLD-Ableitung und die berechnete Antwortsubstitution für

$ ?-plop(X,s(s(a))).\ $ an.

c) Was sind die ersten beiden Prolog-Antworten auf die Anfrage $ ?- plop(X,Y).\ $

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 27.02.2004