projog

3.9. integer(X) - checks that a term is an integer.

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