Logik:Klausuren/28.02.2003/2.2 Aufgabe

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). $

4. Alternativen/Diskussion/Hinweise etc.

---

zur Klausur 28.02.2003