11.3.15 atom/1   ISO

Synopsis

atom(+Term)

Succeeds if Term is currently instantiated to an atom.

Arguments

Term

term

Examples

| ?- atom(pastor).

yes
| ?- atom(Term).

no
| ?- atom(1).

no
| ?- atom('Time').

yes

Exceptions

None.

See Also

ref-lte-met-typ.