/*Prolog-Datenbasis und Regeln zur Ermittlung von Verwandschaftsbeziehungen*/

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).


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

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


vater_von(Person,Vater) :-
                        kind_von(Vater,Person),
                        maennlich(Vater).
                        
mutter_von(Person,Mutter) :-
            kind_von(Mutter,Person),
            weiblich(Mutter).

stammbaum(Person,vf(Person,Vaterbaum,Mutterbaum)) :-
                                                        vaterbaum(Person,Vaterbaum),
                                                        mutterbaum(Person,Mutterbaum).

vaterbaum(Person,Baum) :-
                     vater_von(Person,Vater), !,
                     stammbaum(Vater,Baum).
                     
vaterbaum(_,unbekannt).

mutterbaum(Person,Baum) :-
                   mutter_von(Person,Mutter), !,
                   stammbaum(Mutter,Baum).

mutterbaum(_,unbekannt).