#### 4.8.6 Assigning Names to Variables

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 upper case
letters.

Send feedback on this subject.