
float(?Real)

   Succeeds if Real is a floating point number.

Arguments
   Real                Prolog term.

Type
   Type Testing

Description
   Used to test whether Real is a floating point number.




Modes and Determinism
   float(?) is semidet

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
