% :- op(  950, xfy, (pin) ).   	% pbc `in'
:- op(  950, xfy, (~) ).   	% pbc `in'
% :- op(  950, xfy, (fpin) ).  	% probabilistic `in' with fd interaction
:- op(  950, xfy, (~~) ).  	% probabilistic `in' with fd interaction
:- op(  950, xfy, (~-) ).  	% probabilistic in with loss of mass<
:- op(  950, xfy, (~~-) ). 	% probabilistic in with fd and loss
:- op(  850, xfy, (\\) ).  	%
% :- op(  800, xfy, (\^) ).  	
:- op(  800, xfy, (++) ).  	
:- op(  800, xfy, (\#) ).  	
:- op(  800, xfy, (\>) ).  	
:- op(  650, xfx, (#) ).  	
:- op(  750, xfy, (::) ).  	

% conditional_op( \\ ).
conditional_op( \> ).
% conditional_op( \^ ).
conditional_op( ++ ).

#(A,B) :- A \== B.