weiblich(elfriede).
weiblich(else).
weiblich(anna).
weiblich(ute).
weiblich(eva).
weiblich(susanne).
weiblich(ellen).
weiblich(susi).
weiblich(gabi).
weiblich(anne).
weiblich(heike).

maennlich(otto).
maennlich(anton).
maennlich(gustav).
maennlich(bernhard).
maennlich(heinz).
maennlich(walter).
maennlich(frank).
maennlich(bernd).
maennlich(holger).
maennlich(oliver).
maennlich(klaus).
maennlich(torben).

vater(otto,anton).
vater(otto,else).
vater(otto,bernhard).
vater(gustav,heinz).
vater(gustav,walter).
vater(bernhard,susanne).
vater(bernhard,eva).
vater(heinz,frank).
vater(heinz,susi).
vater(walter,gabi).
vater(walter,holger).
vater(walter,oliver).
vater(bernd,anne).
vater(bernd,klaus).
vater(bernd,torben).

mutter(elfriede,anton).
mutter(elfriede,else).
mutter(elfriede,bernhard).
mutter(else,heinz).
mutter(else,walter).
mutter(anna,susanne).
mutter(anna,eva).
mutter(ute,frank).
mutter(ute,susi).
mutter(ellen,gabi).
mutter(ellen,holger).
mutter(ellen,oliver).
mutter(susanne,heike).
mutter(eva,anne).
mutter(eva,klaus).
mutter(eva,torben).

verheiratet(X,Y):-mutter(X,K),vater(Y,K),!.

grossvater(X,Y):-vater(V,Y),vater(X,V).
grossvater(X,Y):-mutter(M,Y),vater(X,M).
grossmutter(X,Y):-vater(V,Y),mutter(X,V).
grossmutter(X,Y):-mutter(M,Y),mutter(X,M).

schwester(X,Y):-weiblich(X),vater(V,X),vater(V,Y),not(X==Y).
bruder(X,Y):-maennlich(X),vater(V,X),vater(V,Y),not(X==Y).

tante(X,Y):- weiblich(X),schwester(X,V),vater(V,Y).
tante(X,Y):- weiblich(X),schwester(X,M),mutter(M,Y).

tante(X,Y):- weiblich(X),verheiratet(X,B),bruder(B,V),vater(V,Y).
tante(X,Y):- weiblich(X),verheiratet(X,B),bruder(B,M),mutter(M,Y).

onkel(X,Y):-maennlich(X),verheiratet(S,X),schwester(S,V),vater(V,Y).
onkel(X,Y):-maennlich(X),verheiratet(S,X),schwester(S,M),mutter(M,Y).
onkel(X,Y):- maennlich(X),bruder(X,V),vater(V,Y).
onkel(X,Y):- maennlich(X),bruder(X,M),mutter(M,Y).

cousin(X,Y):-maennlich(X),mutter(M,Y),tante(M,X).
%cousin(X,Y):-maennlich(X),vater(V,Y),onkel(V,X).

cousine(X,Y):- weiblich(X),mutter(M,Y),tante(M,X).
%cousine(X,Y):- weiblich(X),vater(V,Y),onkel(V,X).
%damit Cousinen/Cousins nicht Tante UND ihren Mann ermittelt werden
%hier ueber Onkel heruasgenommen (Annahme: eine Mutter gibts immer, einen
%Vater nicht unbedingt...