atom/1

"atom( T" ) is iso

Succeeds if and only if T is currently instantiated to an atom.