Re: [eclipse-users] declaring constants

> Hello Nicolas,
> What you may want is a constant that is in a range, but you don't know
it's value.
>
>
> In ECLiPSe
>
> D = 1.99__2.00, X is 1+D.
> ?- D = 1.99__2.0, X is 1 + D.
> D = 1.99__2.0
> X = 2.9899999999999998__3.0
> Yes (0.00s cpu)
>
> When you use maths (is/2) or lib(ic) this range will be taken into
account in the computation.
>
> D in this case is a ground value that will never change. Its not a
variable at all.
>


Fine !! It works indeed... with floating bounds. But what about integer
intervals ? e.g. D = 1__4, X #> D


Nicolas