SWI-Prolog 9.3.22
All Application Manual Name SummaryHelp

PublicShow sourcevarnumbers.pl

Source varnumbers(+Term, +Start, -Copy) is det
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.
Errors
- domain_error(acyclic_term, Term) if Term is cyclic.
Compatibility
- Quintus, SICStus. Not in YAP version of this library
Source max_var_number(+Term, +Start, -Max) is det
True when Max is the max of Start and the highest numbered $VAR(N) term.
author
- Vitor Santos Costa
Compatibility
- YAP
Source varnumbers_names(+Term, -Copy, -VariableNames) is det
If Term is a term with numbered and named variables using the reserved term '$VAR'(X), Copy is a copy of Term where each '$VAR'(X) is consistently replaced by a fresh variable and Bindings is a list X = Var, relating the X terms with the variable it is mapped to.
See also
- numbervars/3, varnumbers/3, read_term/3 using the variable_names option.

Re-exported predicates

The following predicates are exported from this file while their implementation is defined in imported modules or non-module files loaded by this module.

Source numbervars(+Term) is det
Number variables in Term using $VAR(N). Equivalent to numbervars(Term, 0, _).
See also
- numbervars/3, numbervars/4
Source varnumbers(+Term, -Copy) is det
Inverse of numbervars/1. Equivalent to varnumbers(Term, 0, Copy).