[ Type Testing | The ECLiPSe Built-In Predicates | 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