[eclipse-clp-users] REAL VARIABLE SOLVING FAILING

From: Choughule, Yogesh <Yogesh.Choughule_at_nttdata.com>
Date: Thu, 20 Nov 2014 08:36:44 +0000
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)

______________________________________________________________________
Disclaimer: This email and any attachments are sent in strictest confidence
for the sole use of the addressee and may contain legally privileged,
confidential, and proprietary data. If you are not the intended recipient,
please advise the sender by replying promptly to this email and then delete
and destroy this email and any attachments without any further use, copying
or forwarding.
Received on Thu Nov 20 2014 - 08:58:11 CET

This archive was generated by hypermail 2.2.0 : Thu Dec 04 2014 - 01:16:36 CET