Gegeven onderstaande figuur van de familie stamboom van de familie Simpsons-Bouvier maak de volgende Prolog relaties.
father(X,Y)
: X
is de vader van Y
mother(X,Y)
: X
is de moeder van Y
male(X)
: X
is mannelijk (je mag er van uit gaan dat vaders steeds mannelijk zijn)female(X)
: X
is vrouwelijk (je mag er van uit gaan dat moeders steeds vrouwelijk zijn)parent(X,Y)
: X
is een ouder van Y
Gebruik de voornamen van de personen als atomen, Homer J. Simpson moet dus als homer
worden voorgesteld.