[
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