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.