Implementing \=
Source: The Art of Prolog
Program source code: dif_operator.pl
/* X \= Y :- X and Y are not unifiable. */ :- op(700, xfx, \=). X \= X :- !, fail. X \= Y. % Program 11.8 Implementing \=