projog

3.6. atomic(X) - checks that a term is atomic.

atomic(X) succeeds if X currently stands for either a number or an atom.

Examples

?- atomic(abc).

yes

?- atomic(1).

yes

?- atomic(X).

no

?- atomic(_).

no

?- atomic(a(b,c)).

no

?- atomic([a,b,c]).

no