:- use_module(library(dif)).(can be autoloaded)
dif(X, Y) :- when(?=(X, Y), X \== Y). See also ?=/2. The implementation can deal with cyclic terms.
predicate is realised using attributed variables associated with the
dif. It is defined in the autoload library
Tags are associated to your profile if you are logged in