[ 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