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 '_J
if
J is abs(I)`
YAP also accepts atoms and strings.