SWI-Prolog -- numbervars/1

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

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

Source

[det]numbervars(+Term)

Number variables in Term using $VAR(N). Equivalent to numbervars(Term, 0, _).

See also: numbervars/3, numbervars/4