Logik:Klausuren/27.02.2004/2.9 Aufgabe: Unterschied zwischen den Versionen
Aus Tudwiki
Anubis (Diskussion | Beiträge) (→1. Aufgabenstellung) |
(kein Unterschied)
|
Aktuelle Version vom 22. November 2004, 17:34 Uhr
Inhaltsverzeichnis
1. Aufgabenstellung[Bearbeiten]
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).\ $
