Availability:built-in
name(?AtomOrInt,
?String)String is a list of character codes representing the same
text as Atom. Each of the arguments may be a variable, but
not both. When String is bound to an character code list
describing an integer and Atom is a variable Atom
will be unified with the integer value described by String
(e.g. `name(N, "300"), 400 is N + 100' succeeds).