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.


Send feedback on this subject.