[ ECLiPSe Type Testing built-in.|Group Index| Full Index]

real(?Real)

Succeeds if Real is a real number.

?Real
Prolog term.

Description

Used to test whether Real is a real number.

Fail Conditions

Fails if Real is not a real number.

Resatisfiable

No.

Exceptions

Examples


   Success:
   real(1.0).
   real(3e27).
   Fail:
   real(1).
   real('1.0').
   real(X).


See Also

atomic / 1, integer / 1, number / 1