A.62 library(varnumbers): Utilities for numbered terms
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
The SWI-Prolog library
library(varnumbers): Utilities for numbered terms
numbervars/1
varnumbers/2
varnumbers/3
max_var_number/3
varnumbers_names/3
Packages
Availability:
:- use_module(
library(varnumbers)
).
(can be autoloaded)
[det]
max_var_number
(
+Term, +Start, -Max
)
True when
Max
is the max of
Start
and the highest numbered $VAR(N) term.
author
Vitor Santos Costa
Compatibility
YAP
[det]max_var_number(+Term,
+Start, -Max)[det]max_var_number(+Term,
+Start, -Max)