[ Type Testing | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

atomic(?Atomicterm)

Succeeds if Atomicterm is an atom, a number, or a string.
?Atomicterm
Prolog term.

Description

Used to test whether Atomicterm is an atomic term.

Fail Conditions

Fails if Atomicterm is not an atom, a number or a string.

Resatisfiable

No.

Examples

Success:
    atomic(atom).
    atomic(1.4).
    atomic(3).
    atomic("Hello world").
    atomic([]).

Fail:
    atomic([1,3,3,6]).
    atomic(this(is,a,structure)).
    atomic(X).

See Also

atom / 1, compound / 1, var / 1