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

From: Philipp Marcus <marcus_at_cip.ifi.lmu.de>
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 : Thu Feb 02 2012 - 02:31:58 CET