Re: [eclipse-clp-users] REAL VARIABLE SOLVING FAILING

On 20/11/2014 08:36, Choughule, Yogesh wrote:
> Find below my code and results.. Please suggest a solution because the results returned by locate are incorrect.
>
> :- lib(ic).
> solve_hr :-
>      X :: 10..35,
>      Y :: 10..20,
>      X+Y $> 20.3.
>
> Execute by following command::
> solve_hr,locate([X,Y],0.01)
>
> Answer(Incorrect)::
> ?- solve_hr, locate([X, Y], 0.01).
> X = X{0.0 .. 0.0054228417426558225}
> Y = Y{0.0 .. 0.0054228417426558225}
> There is 1 delayed goal.
> Yes (0.00s cpu, solution 1, maybe more)
>

I assume you think the answer is incorrect because

 > X = X{0.0 .. 0.0054228417426558225}
 > Y = Y{0.0 .. 0.0054228417426558225}

does not satisfy your model in solve_hr? The reason is the X and Y here, 
i.e. X and Y in

locate([X.Y], 0.01)

are *different* variables from the X and Y in solve_hr. To make them the 
same variable, you need to pass them out of solve_hr, e.g.

solve_hr(X, Y) :-
       X :: 10..35,
       Y :: 10..20,
       X+Y $> 20.3.

and call your query as

?- solve_hr(X,Y), locate([X, Y], 0.01).

Cheers,

Kish