Inverse of numbervars/3. True when Copy is a copy of Term with
all variables numbered >= Start consistently replaced by fresh
variables. Variables in Term are shared with Copy rather than
replaced by fresh variables.
- domain_error(acyclic_term, Term) if Term is cyclic.
- Quintus, SICStus. Not in YAP version of this library
Tags are associated to your profile if you are logged in