Logik:Klausuren/28.02.2003/2.2 Aufgabe: Unterschied zwischen den Versionen

Aktuelle Version vom 20. November 2004, 15:40 Uhr

1. Aufgabenstellung[Bearbeiten]

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

2. Lösung[Bearbeiten]

3. Lösungsweg[Bearbeiten]

4. Alternativen/Diskussion/Hinweise etc.[Bearbeiten]

zur Klausur 28.02.2003