Atom is a currently existing atom.
If Atom is uninstantiated, then
current_atom/1 can be used to enumerate all known atoms.
The order in which atoms are bound to Atom on backtracking
corresponds to the times of their creation.
Note that the predicate
atom/1 is recommended for determining whether a term is an atom,
current_atom/1 will succeed if Atom is uninstantiated