This is a possibility to express that X is a sister of Y in Prolog:

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

Unfortunately, there is a problem with this code. Every female person is now her own sister. Alter the code above to alleviate this problem.

The tests are executed on this database¹