Did you know ... Search Documentation:
Title for wiki(tags)

Pages tagged "dollar_var_notation"

1 matches from Reference Manual
Reference Manual
 
4.21 Analysing and Constructing Terms
numbervars/3Unify the free variables in Term with a term $VAR(N), where N is the number of the variable.Source