Unifies is the ISO Prolog built in operator '='/2. It performs a standard unification (no occurs check) on its left
and right arguments, possibly binding variables as a result of the unification, and succeeds iff the unification
| Responsibilities || Collaborations
| Unify the left and right arguments of the unify operator.
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.