parent(a,c).
parent(a,d).
parent(b,c).
parent(b,d).
sibling(X,Y) :- parent(Z,X), parent(Z,Y), X \= Y, !.