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

Exceptions

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