[eclipse-clp-users] Evaluation of arithmetic expressions

From: Takis Stamatopoulos <takis_at_di.uoa.gr>
Date: Thu, 2 Jul 2009 11:56:43 +0300 (EEST)
Hello everybody,

I wonder whether the following behaviour of Eclipse is compliant with
the standard:

[eclipse 1]: X = 1+2, Y is X+5.
number expected in +(1 + 2, 5, Y)
Abort

It is explicitly mentioned in paragraph 8.3.4. of the User Manual that
the query should be

[eclipse 2]: X = 1+2, Y is eval(X)+5.

X = 1 + 2
Y = 8

but is this what should be done according to the standard?

     Best Regards,

        Takis
Received on Thu Jul 02 2009 - 09:25:10 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET