NF II, WS 1997/98: Lösungsblatt 7

Aufgabe 1

keine einheitliche Lösung verfügbar.

Aufgabe 2

Die Datenbasis könnte so aussehen (wie in /home/nf1/erben.pl):

vater(stefan, viktor).
mutter(stefan, marion).
vater(tamara, viktor).
mutter(tamara, marion).
vater(viktor, gustav).
mutter(viktor, ortrud).
vater(marion, gerd).
mutter(marion, orsula).
vater(monika, gustav).
mutter(monika, ortrud).
vater(cosima, vogon).
mutter(cosima, monika).
verh(marion, viktor).

Gängige Anfragen sind:

• Wer ist der Vater von Tamara?
  ?- vater(tamara, V).
• Gibt es eine Großmutter in der Datenbasis ?
  ?- vater(S, V),mutter(V,O).
  ?- mutter(S, M),mutter(M,O).
  Achtung, man braucht zwei Abfragen hierfür
• Sind Tamara und Stefan Geschwister?
  ?- vater(stefan,V),vater(tamara,V),mutter(stefan,M),mutter(tamara,M).

Beachten Sie, daß in der Datenbasis das Geschlecht der Personen nur unvollständig spezifiziert ist (nämlich nur für Leute, die Vater bzw. Mutter sind). Das kann durch folgende Erweiterung geändert werden:

m(stefan).
m(viktor).
f(tamara).
f(marion).
m(gustav).
f(ortrud).
f(monika).
m(vogon).

Aufgabe 3

Konservativ gesehen, die Menge der Cousin/Cousine-Kombinationen. Dabei gehen wir davon aus, daß Elternpaare ein Leben lang zusammenbleiben, es folglich egal ist, ob man die Abstammung (zweiten Grades) über den Vater (wie hier) oder die Mutter berechnet.