:- use_module(library(chr)).
:- chr_constraint mother/2, father/2, parent/2, sibling/2.


r1 @ mother(X, Y) ==> parent(X, Y).
r2 @ father(X, Y) ==> parent(X, Y).
r3 @ parent(X, Z), parent(Y, Z) ==> sibling(X, Y).