[eclipse-clp-users] IC produces unwanted delayed goals

From: Philipp Marcus <marcus_at_...247...>
Date: Tue, 13 Apr 2010 17:42:41 +0200
Hi,

Given the following call when lib(ic) is loaded:

?- Value $= 65 / 300, Result $= Value / 5.

Value = 0.21666666666666665__0.21666666666666667
Result = 0.043333333333333328__0.043333333333333335
There are 2 delayed goals.
Yes (0.00s cpu)

Is there a way to prevent the creation of the delayed goals? As I'd 
expect a rounded result e.g. with 3 decimal places.

Best regards,
Philipp
Received on Tue Apr 13 2010 - 15:42:51 CEST

This archive was generated by hypermail 2.2.0 : Mon Jul 09 2018 - 02:05:29 CEST