- 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.