maennlich(fritz).
maennlich(steffen). 
maennlich(paul). 
maennlich(josef). 
maennlich(tom). 

weiblich(sina).  
weiblich(karin). 
weiblich(lisa). 
weiblich(maria). 
weiblich(jerry). 

vater(steffen,paul). 
vater(steffen,lisa). 
vater(fritz,karin). 
vater(paul,maria). 
vater(paul,josef). 

mutter(sina,paul). 
mutter(sina,lisa). 
mutter(karin,maria). 
mutter(karin,josef). 
mutter(lisa,tom). 
mutter(lisa,jerry). 

elternteil(E,Kind) :- vater(E,Kind). 
elternteil(Parent,Child) :- mutter(Parent,Child). 




vater_und_mutter(X,Kind):-
    vater(X,Kind),
    mutter(X,Kind).


grossvater(X,Y):-
    vater(X,Z),
    elternteil(Z,Y).




bruder(X,Y) :- 
      maennlich(X), 
      elternteil(E,X), 
      elternteil(E,Y), X \== Y. 

schwester(X,Y) :- 
      weiblich(X), 
      elternteil(E,X), 
      elternteil(E,Y), X \== Y. 

geschwister(X,Y):-schwester(X,Y).
geschwister(X,Y):-bruder(X,Y).

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

%grossvater(X,Y) :- vater(X,Z),vater(Z,Y).
%grossvater(X,Y) :- vater(X,Z),mutter(Z,Y).

onkel(X,Y):- maennlich(X),geschwister(X,Z),elternteil(Z,Y).

onkel2(X,Y):- bruder(X,Z),elternteil(Z,Y).

tante(X,Y):- schwester(X,Z),elternteil(Z,Y).