Availability:built-in
numbervars(+Term,
+Start, -End, +Options)As numbervars/3,
providing the following options:
- functor_name(+Atom)
- Name of the functor to use instead of
$VAR.
- attvar(+Action)
- What to do if an attributed variable is encountered. Options are
skip, which causes numbervars/3
to ignore the attributed variable, bind which causes it to
treat it as a normal variable and assign the next '$VAR'(N)
term to it, or (default)
error which raises a type_error exception.116This
behaviour was decided after a long discussion between David Reitter,
Richard O'Keefe, Bart Demoen and Tom Schrijvers.
- singletons(+Bool)
- If
true (default false), numbervars/4
does singleton detection. Singleton variables are unified with '$VAR'('_'),
causing them to be printed as _ by write_term/2
using the numbervars option. This option is exploited by portray_clause/2
and write_canonical/2.bugCurrently
this option is ignored for cyclic terms.