[
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