mpg-ref-atom (SICStus Prolog)

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.

Send feedback on this subject.