[ Type Testing | Reference Manual | Alphabetic Index ]

integer(?Integer)

Succeeds if Integer is an integer number.
Integer
Prolog term.

Description

Used to test whether Integer is of type integer.

Modes and Determinism

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