numbervars/3¶

"numbervars( T,+ N1,- Nn" )

Instantiates each variable in term _T_ to a term of the form: ``$VAR( _I_), with I increasing from N1 to Nn.*