% Definition der Ehefrau-Ehemann-Relation:
ehemann(christine, heinz).
ehemann(maria,     fritz).
ehemann(monika,    herbert).
ehemann(angelika,  hubert).

% Definition der Kind-Mutter-Relation:
mutter(herbert, christine).
mutter(angelika,christine).
mutter(hubert,  maria).
mutter(susanne, monika).
mutter(norbert, monika).
mutter(andreas, angelika).

vater(Kind,Vater) :- ehemann(Mutter,Vater), mutter(Kind,Mutter).

grossvater(E,G) :- vater(E,V), vater(V,G).
grossvater(E,G) :- mutter(E,M), vater(M,G).

istEhemann(M) :- ehemann(_,M).

vater :-
        write('Von welcher Person moechten Sie den Vater wissen? '),
        read(P),
        vater(P,V),
        write('Der Vater von '), write(P), write(' ist '), write(V), nl.
