[ Type Testing | 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.
    Note that this includes the empty list [].
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, is_array / 1, callable / 1, type_of / 2