11.3.20 atomic/1   ISO

Synopsis

atomic(+Term)

Succeeds if Term is currently instantiated to an atom or a number.

Arguments

Term

term

Examples

| ?- atomic(9).

yes
| ?- atomic(a).

yes
| ?- atomic("a").

no
| ?- assert(foo(1), Ref), atomic(Ref).

no

Exceptions

None.

See Also

ref-lte-met-typ.