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
atomic(X)
- checks that a term is atomic.atomic(X)
succeeds if X
currently stands for either a number or an atom.
?- atomic(abc).
yes
?- atomic(1).
yes
?- atomic(X).
no
?- atomic(_).
no
?- atomic(a(b,c)).
no
?- atomic([a,b,c]).
no