Next: , Previous: mpg-ref-instance, Up: mpg-bpr

11.3.107 integer/1   [ISO]

Synopsis

integer(+Term)

Term is currently instantiated to an integer.

Arguments

Term
term

Examples

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

Exceptions

None.

See Also

ref-lte-met-typ.

Send feedback on this subject.