<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">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).
  |- Regel fÃ¼r vater
?- mutter(susanne,monika), ehemann(monika,herbert).
  |- Regel fÃ¼r mutter
?- ehemann(monika,herbert).
  |- Regel fÃ¼r ehemann
?- .


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

% Anfrage:
?- vater(susanne,herbert).
  |- vater-Regel, aber mit Kind=susanne, Vater=herbert, d.h. Regel
     vater(susanne,herbert) :- mutter(susanne,Mutter), ehemann(Mutter,herbert).
?- mutter(susanne,Mutter), ehemann(Mutter,herbert).
  |- mutter-Regel, aber mit Mutter=monika
  ...

% Anfrage:
?- ehemann(monika,Mann).
  |- ehemann-Regel, aber mit Mann=herbert
?- .
</pre></body></html>