/* Für die, die nochmal einfache Prolog-Aufgaben üben wollen:

Die Aufgabe wird am 1.Freitag nach Weihnachten in der Rechnerstunde
besprochen.

a) Schreibe ein Prologpraedikat schwester(X,Y), das die X und Y
   ausgibt, fuer die X die Schwester von Y ist. (Es gibt hier
   mehrere Möglichkeiten.)

b) Schreibe mit Hilfe von findall/3 oder setof/3 (vgl. Prolog-Handbuch
   oder ?- help(findall) und ?- help(seetof)) ein Praedikat
   schwestern(Xs,Y), das die Liste Xs aller Schwestern von Y ausgibt.

c) Schreibe ein Prolog-Praedikat enkel_von(X,Y), das auf die X und Y
   zutrifft, wo Y ein Enkelkind von X ist.

d) Schreibe ein Prolog-Praedikat nichte_von(X,Y), das auf die X und Y
   zutrifft, wo Y eine Nichte von X ist (d.h. Y ist eine Tochter von
   Geschwistern der Eltern von X).

Benutze die folgenden Fakten und Hilfspraedikate. (Beachte, dass die
Argumente bei <Relation>_von(X,Y) im Sinne von

       "Y ist ein <Relation> von X"

stehen, also hauptsaechlich für den Gebrauch <Relation>_von(-X,+Y)
gedacht ist.)

*/

% kind_von(Elternteil,Kind)

kind_von(genoveva,clothilde).
kind_von(genoveva,xenia).
kind_von(karl,clothilde).
kind_von(karl,xenia).
kind_von(karl,sofonisba).
kind_von(walpurga,sofonisba).
kind_von(chlodwig,ernestine).
kind_von(clothilde,ernestine).
kind_von(xenia,otto).
kind_von(hjalmar,otto).
kind_von(xenia,cythia).
kind_von(hjalmar,cythia).

% ehepaar(Frau,Mann)

ehepaar(xenia,hjalmar).
ehepaar(genoveva,karl).
ehepaar(ernestine,otto).

maennlich(karl).
maennlich(otto).
maennlich(chlodwig).
maennlich(hjalmar).

weiblich(genoveva).
weiblich(xenia).
weiblich(clothilde).
weiblich(ernestine).
weiblich(cythia).
weiblich(sofonisba).
weiblich(walpurga).

verheiratet_mit(X,Y) :-
        ehepaar(X,Y); ehepaar(Y,X).

mutter_von(Kind,Mutter) :-
        kind_von(Mutter,Kind),weiblich(Mutter).

vater_von(Kind,Vater) :-
        kind_von(Vater,Kind), maennlich(Vater).

% ------------------------------------------------------------------