[eclipse-clp-users] Evaluation of arithmetic expressions

From: Takis Stamatopoulos <takis_at_...90...>
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.3.0 : Tue Apr 16 2024 - 09:13:20 CEST