[ ECLiPSe Type Testing built-in.|Group Index| Full Index]

integer(?Integer)

Succeeds if Integer is an integer number.

?Integer
Prolog term.

Description

Used to test whether Integer is of type integer.

Fail Conditions

Fails if Integer is not an integer number.

Resatisfiable

No.

Exceptions

Examples


   Success:
   integer(10).
   integer(-40).
   Fail:
   integer('4').
   integer(Integer).


See Also

integer_atom / 2, number / 1, real / 1