
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.




Resatisfiable
      No.

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
