11.3.45 current_atom/1

Synopsis

current_atom(?Atom)

Atom is a currently existing atom.

Arguments

Atom

atom

Backtracking

If Atom is uninstantiated, 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.

Comments

Note that the predicate atom/1 is recommended for determining whether a term is an atom, as current_atom/1 will succeed if Atom is uninstantiated as well.

See Also

ref-mdb-idb.