[ Type Testing | Reference Manual | Alphabetic Index ]
float(?Real)
Succeeds if Real is a floating point number.
- Real
- Prolog term.
Description
   Used to test whether Real is a floating point number.
Modes and Determinism
Fail Conditions
Fails if Real is not a floating point number
Examples
   Success:
   float(1.0).
   float(3e27).
   Fail:
   float(1).
   float('1.0').
   float(X).
See Also
atomic / 1, integer / 1, number / 1, rational / 1, breal / 1, real / 1