=(X,Y,In,In) :- member(X=Z,In), !,Y=Z.
=(X,Y,In,[X=Y|In]).