[ Type Testing | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

# breal(?Breal)

Succeeds if Breal is a bounded real number.

Breal
  A term.

## Description

Used to test whether a term is a bounded real number. A bounded real (breal) is conceptually a real number, and it is represented by a lower and upper bound in floating point format.

### Modes and Determinism

- breal(?) is semidet

### Fail Conditions

Fails if Breal is not a bounded real number

## Examples

    Success:
        ?- breal(0.99__1.01).
        Yes (0.00s cpu)

        ?- X is breal(pi), breal(X).
        X = 3.1415926535897927__3.1415926535897936
        Yes (0.00s cpu)

    Fail:
        ?- breal(1.0).
        No (0.00s cpu)

        ?- breal(1).
        No (0.00s cpu)

        ?- breal("hello").
        No (0.00s cpu)

## See Also

atomic / 1, integer / 1, number / 1, float / 1, real / 1, rational / 1, breal / 2