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

11.3.141 number/1   ISO

Synopsis

number(+Term)

Term is currently instantiated to a number.

Arguments

Term

term

Examples

| ?- number(5.2).

yes
| ?- number(5).

yes

Exceptions

None.

See Also

ref-lte-met-typ.

Send feedback on this subject.