De volgende prolog code is een mogelijke implementatie om uit te drukken dat een persoon de zus is van een andere persoon:

sister_of(X,Y) :-
  female(X),
  parents(X,M,F),
  parents(Y,M,F).

Er is echter een probleem met deze relatie waardoor charlotte bijvoorbeeld een zus is van zichzelf. Pas de code aan zodat dat niet meer zo is.

De testen worden uitgevoerd op deze database¹