mpg-ref-atom - SICStus Prolog

Next: mpg-ref-atom_chars, Previous: mpg-ref-at_end_of_stream, Up: mpg-bpr

11.3.15 `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

Exceptions

None.

See Also

ref-lte-met-typ.

Send feedback on this subject.