Nu we de familie stamboom van de Simpsons hebben omgezet in prolog feiten kunnen we ook relaties definiƫren over deze feiten.
Implementeer de volgende relaties:
is_mother(X)
: X
is een moederis_father(X)
: X
is een vaderis_son(X)
: X
is een zoonsister_of(X,Y)
: X
is een zus van Y
grandpa_of(X,Y)
: X
is de grootvader van Y
sibling(X,Y)
: X
en Y
hebben hetzelfde ouderpaar.Hiervoor mag je gebruik maken van de relaties father(X,Y)
of mother(X,Y)
die respectievelijk aangeven dat X
de vader of moeder is van Y
. En van male(X)
of female(X)
die aangeven of X
respectievelijk mannelijk of vrouwelijk is.