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.


Send feedback on this subject.