singleton_vs_numbervars/3

"singleton_vs_numbervars( t,+ _N1,- Nn" )

Instantiates each variable in term T to a term of the form:

  • $VAR( PP_I_), with I increasing from N1 to Nn.

  • or of the form '_JifJ is abs(I)`

YAP also accepts atoms and strings.