Next: , Previous: , Up: mpg-bpr   [Contents][Index]


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.