SWI-Prolog -- varnumbers

Documentation
- Reference manual
  - The SWI-Prolog library
    - library(varnumbers): Utilities for numbered terms
- Packages

Availability::- use_module(library(varnumbers)).(can be autoloaded)

[det]varnumbers_names(+Term, -Copy, -VariableNames)

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.