
integer(?Integer)

   Succeeds if Integer is an integer number.



Arguments
   Integer             Prolog term.

Type
   Type Testing

Description
   Used to test whether Integer is of type integer.




Modes and Determinism
   integer(?) is semidet

Fail Conditions
   Fails if Integer is not an integer number

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





See Also
   integer_atom / 2, number / 1, float / 1, real / 1, rational / 1, breal / 1
