A.62 library(varnumbers): Utilities for numbered terms
All Application Manual Name SummaryHelp

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