varnumbers.pl

 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

 roundup_next_power_two(+Int, -NextPower) is det[private]

NextPower is I**2, such that NextPower >= Int.

 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

 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.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 varnumbers(Arg1, Arg2)

 numbervars(Arg1)