male(tom). male(john). female(alice). female(mary). parents(tom,alice,john). parents(mary,alice,john). sisterof(X,Y):-female(X),parents(X,A,B),parents(Y,A,B).