weiblich(monika).
weiblich(karin).
weiblich(renate).
weiblich(susanne).
weiblich(aline).

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

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

mensch(X).

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