[ Type Testing | The ECLiPSe Built-In Predicates | 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.
Fail Conditions
Fails if Integer is not an integer number.
Resatisfiable
No.
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