Ausgegeben am: 20. Januar 1998
Abzugeben bis: 27. Januar 1998
Lösungen dazu
Benutzen Sie die genealogische Datenbank vom vorherigen Aufgabenzettel. Erstellen Sie Regeln für die folgenden Prädikate:
Modellieren Sie: X ist Vorfahr von Y. Beachten Sie die Transitivität des Prädikates.
Das klassische (und vertonte) Problem lautet:
Ich bin mein eigener Großvater.
Wie sehen die Verwandtschaftsverhältnisse in so einem Fall aus. Modellieren
Sie ein Prädikat X ist Großvater von Y und erstellen Sie eine
Datenbasis, so daß das Problem auftritt.
Die Relation verwandt mit ist symmetrisch. Modellieren Sie dies.
Erstellen Sie ein Prädikat, das den Grad von Verwandschaft zweier Personen berechnet. Gehen Sie dabei von folgendem aus:
Author: | Jan W. Amtrup |
Document: | |
Last modified: |