atom/1 meta-logical

Synopsis

atom(+Term)

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

atomic/1, number/1, var/1, compound/1, callable/1, nonvar/1 simple/1 ref-syn-trm-ato