[ 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.

Fail Conditions

Fails if Atom is not an atom.

Resatisfiable

No.

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, type_of / 2