Logik:Klausuren/04.11.2004/1. Aufgabe: Unterschied zwischen den Versionen

Aktuelle Version vom 24. November 2004, 17:59 Uhr

1. Aufgabenstellung[Bearbeiten]

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[Bearbeiten]

3. Lösungsweg[Bearbeiten]

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

zum Prolog-Testat 04.11.2004
Kategorie Prolog-Aufgaben