Next: mpg-ref-is, Previous: mpg-ref-instance, Up: mpg-bpr [Contents][Index]
integer/1
integer(+Term)
Term is currently instantiated to an integer.
term
| ?- integer(5). yes | ?- integer(5.0). no
None.
ref-lte-met-typ.