[ 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.

### 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