atom_chars - interconvert atoms and lists of characters
atom_chars(+Atom, ?List)
atom_chars(?Atom, +List)
If Atom is instanitated, List is unified with the list of single character atoms that make up Atom's name.
If List is instantiated to a list of single character atoms, they are combined to form a single atom which is unified with Atom.
atom_chars(abc, [a, b, c])?
iProlog implements an extended form of atom_chars in which the elements of the instantiated List, may be atoms of any kind, eg:
: atom_chars(X, [fred, 123, xyz])?
X = fred123xyz