Logikprogrammierung (SS 2005)

Übungsblatt 2: Regeln

Ausgegeben am: 22. April 2005
Bearbeiten bis: 29. April 2005

Aufgabe 1

Prolog-Regeln entsprechen den Sichten (Views) in einer relationalen Datenbank. Definieren Sie sich neue Sichten für die Tonträger-Datenbank. Benutzen sie dabei Projektionen, Selektionen und Joins.

Aufgabe 2

Definieren Sie Prädikate, die die Primär- und Fremdschlüsselbedingungen für Ihre Tonträgerdatenbank überprüfen. Zur Erinnerung: Zum Test auf das Scheitern eines Teilziels kann das einstellige Prädikat '\+' (alias not) verwendet werden.

Aufgabe 3

Neben der Unifikation (Operator '=') gibt es in SWI-Prolog noch zwei stärkere Operatoren zum Strukturvergleich: '==' bzw. '=@='. Illustrieren Sie die Unterschiede im Verhalten der drei Operatoren anhand von geeigneten Testbeispielen.

Aufgabe 4

Definieren Sie ein Prädikat zum Subsumptionstest für zwei gegebene Strukturen. (Hinweis: Sie können sich eine Kopie eines Terms mit dem Prädikat copy_term/2 erzeugen).

Wolfgang Menzel, 21.4.2005