[ ECLiPSe Type Testing built-in.|Group Index| Full 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.

Exceptions

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