True if Term is numbered by numbervars/3
and VarNumber is the number given to this variable. This
predicate avoids the need for unification with '$VAR'(X)
and opens the path for replacing this valid Prolog term by an internal
representation that has no textual equivalent.
Tags are associated to your profile if you are logged in