[ 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