NonUnifies is the ISO Prolog built in operator '\='/2. It performs a standard unification (no occurrs check) on its
left and right arguments, possibly binding variables as a result of the unification, and fails iff the unification
succeeds. As failure will cause this proof step to be undone, any variable bindings resulting from the unification
will immediately be discarded.
| Responsibilities || Collaborations
| Check if unification of the left and right arguments of the non-unify operator fails.
Creates a cut built-in to implement the specified functor.
functor The functor to implement as a built-in.
defaultBuiltIn The default built in, for standard compilation and interners and symbol tables.
boolean isLastBody, boolean chainRule, int permVarsRemaining)
Creates a string representation of this functor, mostly used for debugging purposes.
- A string representation of this functor.