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 variable names starting with upper case letters.