Next: mpg-ref-number_chars, Previous: mpg-ref-nozip, Up: mpg-bpr [Contents][Index]
number/1
number(+Term)
Term is currently instantiated to a number.
term
| ?- number(5.2). yes | ?- number(5). yes
None.
ref-lte-met-typ.