Re: [eclipse-users] Use of REAL variables

Daniel Riera wrote:
> Hello,
> 
> I would like to use some real variables but I'm not sure about how can I 
> use them for optimisation.

Have a look at the tutorial chapter
http://www.eclipse-clp.org/doc/tutorial/tutorial063.html


> 
> Thus, given a variable like X :: 1.2..3.4
> 
> Is it possible to label it (I mean to do something like an indomain/1)?

You use locate/2/3/5 to locate different solutions, and
squash/3 to find narrow intervals for individual solutions.


> 
> Is it possible to use it in a constraint like X >= 2.3?

Yes, use X $>= 2.3.



-- Joachim