integer(X) succeeds if X currently stands for an integer.
Examples
?- integer(1).
yes
?- integer(-1).
yes
?- integer(0).
yes
?- integer(1.0).
no
?- integer(-1.0).
no
?- integer(0.0).
no
?- float('1').
no
?- float('1.0').
no
?- integer(a).
no
?- integer(p(1,2,3)).
no
?- integer([1,2,3]).
no
?- integer([]).
no
?- integer(X).
no
?- integer(_).
no