atomic/1 meta-logical

Synopsis

atomic(+Term)

Succeeds if Term is currently instantiated to either an atom number or a db_reference.

Arguments

Term term

Example

     | ?- atomic(9).
     
     yes
     | ?- atomic(a).
     
     yes
     | ?- atomic("a").
     
     no
     | ?- assert(foo(1), Ref), atomic(Ref).
     
     Ref = '$ref'(1195912,1)
     

See Also

atom/1, number/1, var/1, compound/1, callable/1, nonvar/1 simple/1