Logik:Klausuren/04.11.2004/1. Aufgabe

1. Aufgabenstellung

Zu den nachfolgend angegebenen Programmen und Anfragen sind die Abbleitungsbaeume und (alle) Anfrageergebnisse mit anzugeben.

a)

$ (1)\ p(a)\,:-\,p(a)\,. $

$ (2)\ p(a)\,. $

$ ?-p(X)\,. $

b)

$ (1)\ p(X,X)\,. $

$ (2)\ p(a,b)\,. $

$ ?-p(X,Y)\,. $

c)

$ (1)\ p(X,Y,X,Y)\,. $

$ (2)\ p(Y,Y,X,X)\,. $

$ (3)\ p(X,Y,Y,X)\,. $

$ ?-p(a,X,X,b)\,. $

2. Lösung

4. Alternativen/Diskussion/Hinweise etc.

---

zum Prolog-Testat 04.11.2004
Kategorie Prolog-Aufgaben