integer/1
integer(+Term)
integer(
)
Term is an integer.
| ?- integer(5). yes | ?- integer(5.0). no
atom/1, atomic/1, number/1, var/1, compound/1, callable/1, nonvar/1, simple/1
atom/1
atomic/1
number/1
var/1
compound/1
callable/1
nonvar/1
simple/1