11.3.106 integer/1 [ISO]

Synopsis

integer(+Term)

Term is currently instantiated to an integer.

Arguments

Term

term

Examples

     | ?- integer(5).
     
     yes
     | ?- integer(5.0).
     
     no

See Also

ref-lte-met-typ.