Next: ref-lte-cpt, Previous: ref-lte-atm, Up: ref-lte [Contents][Index]
Each variable in a term is instantiated to a term of the form
'$VAR'(N)
, where N is an integer, by the predicate
numbervars/3
. The “write” predicates (write/[1,2]
,
writeq/[1,2]
, and write_term/[2,3]
with the
numbervars(true)
option) transform these terms into
variable names starting with
upper case
letters.