Did you know ... Search Documentation:
Predicate var_number/2
Availability:built-in
var_number(@Term, -VarNumber)
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
Tags: