Did you know ... Search Documentation:
Predicate to_atom/2
 to_atom(+Term, -Atom)[private]
Unifies Atom with a printed representation of Term.
To be done
- Sort of quoting requirements and use format(codes(Codes),...)