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

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

nachkommen(X,Y) :-
    findall(Z, nachkomme(Z,X),Z),
    list_to_set(Z, Y).


eheleute(X, Y) :-
    verheiratet(X, Y).
eheleute(X, Y) :-
    verheiratet(Y, X).

kind(X, Y) :-
    elternteil(Y, X).

geschwister(X, Y) :-
    kind(X, Z),
    kind(Y, Z),
    Y \== X.

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

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

vater(X, Y) :-
    elternteil(X, Y),
    maennlich(X).

mutter(X, Y) :-
    elternteil(X, Y),
    weiblich(X).

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

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

großeltern(X, Y) :-
    elternteil(Z, Y),
    elternteil(X, Z).

opa(X, Y) :-
    großeltern(X, Y),
    maennlich(X).

oma(X, Y) :-
    großeltern(X, Y),
    weiblich(X).

uroma(X, Y) :-
    großeltern(Z, Y),
    mutter(X, Z).

uropa(X, Y) :-
    großeltern(Z, Y),
    vater(X, Z).

maenUweibl(List) :-
    findall(X, (maennlich(X), weiblich(X)), List).

verhKor(List) :-
    findall((X, Y), (verheiratet(X, Y),(maennlich(Y) ; weiblich(X))), Dup), list_to_set(Dup, List).

reg(X) :-
    \+ maennlich(X),
    \+ weiblich(X).


elterVoll(List) :-
    findall((X, Y), (elternteil(X, Y), reg(X), reg(Y)), List).

wurzel_w(X) :-
    weiblich(X),
    \+ kind(X, _).

wurzel_m(X) :-
    maennlich(X),
    \+ kind(X, _).

wurzel(List) :-
    findall(X, (wurzel_m(X) ; wurzel_w(X)), List).