[ Type Testing | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
atom(?Atom)
Succeeds if Atom is a Prolog atom.
- Atom
- Prolog term.
Description
Used to test whether Atom is an atom.
Modes and Determinism
Fail Conditions
Fails if Atom is not an atom
Examples
Success:
atom(atom).
atom('Anything').
atom(*).
atom([]).
atom(#).
atom($).
atom(/).
atom(\).
Fail:
atom(1).
atom(this(is,a,structure)).
atom(X).
See Also
var / 1, is_list / 1, type_of / 2