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