A.51 library(varnumbers): Utilities for numbered terms
AllApplicationManualNameSummaryHelp

Availability::- use_module(library(varnumbers)).(can be autoloaded)
Source[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
ClioPatria (version V3.1.1-40-g9d9e003)