ehemann(christine, heinz).
ehemann(maria,     fritz).
ehemann(monika,    herbert). %%%%%%
ehemann(angelika,  hubert).

mutter(herbert, christine).
mutter(angelika,christine).
mutter(hubert,  maria).
mutter(susanne, monika).     %%%%%%
mutter(norbert, monika).
mutter(andreas, angelika).

% Spezielle vater-Regel:
vater(susanne, herbert) :-
   mutter(susanne,monika), ehemann(monika,herbert).

% Anfrage:
?- vater(susanne,herbert).
 |- Resolution mit vater-Regel:
?- mutter(susanne,monika), ehemann(monika,herbert).
 |- Resolution mit mutter-Regel/Fakutm:
?- ehemann(monika,herbert).
 |- Resolution mit ehemann-Regel/Faktum:
?- .

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

% Anfrage:
?- vater(susanne,herbert).
 |- Resolution mit vater-Regel nach Festlegung { Kind |-> susanne, Vater |- herbert }
    Spezialregel: vater(susanne,herbert) :- mutter(susanne,Mutter), ehemann(Mutter,herbert).
?- mutter(susanne,Mutter), ehemann(Mutter,herbert).
 |- { Mutter |-> monika }
...