number(X) succeeds if X currently stands for a number.
Examples
?- number(1).
yes
?- number(-1).
yes
?- number(0).
yes
?- number(0.0).
yes
?- number(1.0).
yes
?- number(-1.0).
yes
?- number('1').
no
?- number('1.0').
no
?- number(1+1).
no
?- number(a).
no
?- number(p(1,2,3)).
no
?- number([1,2,3]).
no
?- number([a,b,c]).
no
?- number([]).
no
?- number(X).
no
?- number(_).
no