integer/1
integer(+Term)
Term is currently instantiated to an integer.
term
| ?- integer(5). yes | ?- integer(5.0). no
None.
ref-lte-met-typ.