sitelogo
atom/1

tests whether the argument is an atom.

atom(+Term)

atom/1 succeeds if Term is an atom otherwise it fails.

Arguments 

Term                   term

Examples

atom('this is an atom'). Succeeds.
atom([]). Succeeds.
atom(Var). Fails.
atom([a,t,o,m]). Fails.

Standard

This predicate is part of the ISO-Prolog Standard.

See also

atomic/1, compound/1, float/1, integer/1, nonvar/1, number/1, var/1.

Up read on...
scroll to top managed with ubiCMS