Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- half-sibling(X,Y) :-
- parent(A,X),
- parent(B,X),
- parent(C,Y),
- parent(D,Y),
- A == C,
- A == D,
- B == C,
- B == D,
- A \== B,
- C \== D.
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement
