%Fakten ueber die Verwandtschafts-Problemwelt
weiblich(monika).
weiblich(karin). 
weiblich(renate). 
weiblich(susanne). 
weiblich(aline).    


maennlich(werner). 
maennlich(klaus). 
maennlich(gerd).
maennlich(peter).
maennlich(dominique).

mensch(X).

verheiratet(werner, monika).
verheiratet(gerd, renate). 
verheiratet(klaus, susanne).

mutterVon(monika, karin). 
mutterVon(monika, klaus). 
mutterVon(renate, susanne).
mutterVon(renate, peter).
mutterVon(susanne, aline). 
mutterVon(susanne, dominique). 

%Regeln
vaterVon(V,K)    :- verheiratet(V,F), mutterVon(F,K).

elternteil(X,Y) :- mutterVon(X,Y).
elternteil(X,Y) :- vaterVon(X,Y).

vorfahre(V,X)    :- elternteil(V,X).
vorfahre(V,X)    :- elternteil(V,Y), vorfahre(Y,X).