% Vidensbase

foraelder(margrethe, frederik). 
foraelder(margrethe, joachim).
foraelder(henrik, frederik). 
foraelder(henrik, joachim).

foraelder(joachim, nikolai).
foraelder(joachim, felix).
foraelder(alexandra, nikolai).
foraelder(alexandra, felix).

foraelder(frederikIX,margrethe).
foraelder(frederikIX,benedikte).
foraelder(frederikIX,anne_marie).

foraelder(ingrid,margrethe).
foraelder(ingrid,benedikte).
foraelder(ingrid,anne_marie).

elsker(margrethe, henrik).
elsker(henrik, margrethe).
elsker(joachim, alexandra).
elsker(alexandra, joachim).
elsker(frederik, mary).
elsker(mary, frederik).
elsker(frederikIX, ingrid).
elsker(ingrid, frederikIX).

kvinde(ingrid).
kvinde(margrethe).
kvinde(alexandra).
kvinde(mary).
kvinde(benedikte).
kvinde(anne_marie).
mand(frederikIX).
mand(henrik).
mand(frederik).
mand(joachim).


soester(X, Y):-
   foraelder(Z, X),
   foraelder(Z, Y),
   kvinde(X),
   dif(X, Y).