/* Example with a family tree */

father(bob, alice).
father(bob, peter).
mother(carol,peter).
mother(carol,alice).

sibling(X,Y) :- father(Z,X), mother(W,X),
                     father(Z,Y), mother(W,Y), X\=Y.