next up previous
Next: Variables Up: Prolog Terms Previous: Atoms

Numbers

A number can be either:

The built-in predicate integer/1 succeeds if its argument is an integer. The built-in predicate real/1 succeeds if its argument is a real number. These give the following behaviour:
| ?- integer(9). 
yes
| ?- integer(99.9).
no
| ?- real(99.9).
yes
| ?- real(9).
no
| ?- number(9).
yes
| ?- number(99.9).
yes
| ?- number(foo).
no
| ?- number(Foo).



Dave Stuart Robertson
Tue Jul 7 10:44:26 BST 1998