Re: [eclipse-users] declaring constants

From: Nicolas BERGER <Nicolas.Berger_at_univ-nantes.fr>
Date: Fri, 15 Jun 2007 15:05:12 +0200 (CEST)
> 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
Received on Fri Jun 15 2007 - 14:07:24 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET