|
|
|||||||||
tests whether the argument is a floating-point number.
float(+Term)
float/1 succeeds if Term is a floating-point number otherwise it fails.
Arguments
Term term
Examples
| float(7.11). | Succeeds. |
| X=4.3*2, float(X). | Succeeds. |
| float(4.3*2). | Fails. |
| float(7). | Fails. |
Standard
This predicate is part of the ISO-Prolog Standard.
See also
atom/1, atomic/1, compound/1, integer/1, nonvar/1, number/1, var/1,
| document: http://www.ifcomputer.co.jp/MINERVA/Manual/Reference/Predicates/type_test/float/print_en.html published 2008/10/13 update 1998/8/7 (c) 1996-2006 IF Computer Japan | ||||||||
|
