atom/1

Checks that a term is an atom

This predicate succeeds if its input argument is an atom:

atom(Term) -(i)

Compatibility: LPA Win-Prolog.