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

Availability::- use_module(library(varnumbers)).(can be autoloaded)
Source[det]varnumbers(+Term, -Copy)
Inverse of numbervars/1. Equivalent to varnumbers(Term, 0, Copy).
ClioPatria (version V3.1.1-40-g9d9e003)