11.3.14 atom/1 [ISO]

Synopsis

atom(+Term)

Succeeds if Term is currently instantiated to an atom.

Arguments

Term

term

Examples

     | ?- atom(pastor).
     
     yes
     | ?- atom(Term).
     
     no
     | ?- atom(1).
     
     no
     | ?- atom('Time').
     
     yes

See Also

ref-lte-met-typ.