Availability:
:- 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.
The dif/2
predicate is realised using attributed variables associated with the
module dif. It is defined in the autoload library
library(dif).
Tags are associated to your profile if you are logged in
to add a comment