Logik:Klausuren/28.02.2003/2.2 Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
1. Aufgabenstellung
Gegeben sei das folgende Prolog-Programm:
$ g(s(0),\,0). $
$ g(s(s(0)),\,1). $
$ g(s(X),X)\,:-g(X,\,1),!. $
$ g(s(X),Y)\,:-g(Y,\,X),!. $
Geben Sie alle Antworten an (d.h. nach Erhalt einer Antwort ist durch Eingabe eines
Semikolons die Suche nach weiteren Antworten zu veranlassen), die das Programm auf
die folgenden Anfragen liefert? Geben Sie den Ableitungsbaum an, der zur Lösung von
Aufgabe a) führt.
a) $ ?- g(X,\,s(Y)). $
b) $ ?- g(s(X),\,X). $
