Logik:Klausuren/04.11.2004/3. Aufgabe
Aus Tudwiki
Inhaltsverzeichnis
1. Aufgabenstellung
Gegeben sei das Prolog-Programm
$ s(a)\,. $
$ s(X):-\,t(X)\,. $
$ t(c)\,. $
a)
Stellen Sie die Abarbeitung des Aufrufs
$ ?-s(X)\,,\,t(X)\,. $
im Boxmodell dar.
b)
Rekonstruieren Sie ausgehend von Ihrer Darstellung in a) wie ein Trace-Protokoll des Aufrufs
$ ?-s(X)\,,t(X)\,. $
aussehen koennte.
2. Lösung
a) 
b)
?- s(X),t(X).
Call: s(_G4)
Exit: s(a)
Call: t(a)
Fail: t(a)
Redo: s(_G4)
Call: t(_G4)
Exit: t(c)
Exit: s(c)
Call: t(c)
Exit: t(c)
X = c ;
