Re: [eclipse-clp-users] Standard compliance

From: Paulo Moura <pmoura_at_...342...>
Date: Thu, 10 Mar 2016 13:03:19 +0000
> On 10/03/2016, at 11:47, Panagiotis Stamatopoulos <takis@...90...> wrote:
> 
> Hello everybody,
> 
> Just a simple question, mainly to the ECLiPSe developers:
> Does the following behavior comply with the standard?
> 
> [eclipse 1]: X = 5+3, Y is X+7.
> number expected in +(5 + 3, 7, _360)
> Abort
> 
> Other Prolog systems accept the query and instantiate Y to 15.

If you use ECLiPSe ISO libraries you get:

[user 27]: X = 5+3, Y is X+7.

X = 5 + 3
Y = 15
Yes (0.00s cpu)

Cheers,

Paulo

-----------------------------------------------------------------
Paulo Moura
Logtalk developer

Email: <mailto:pmoura@...342...>
Web:   <http://logtalk.org/>
-----------------------------------------------------------------
Received on Fri Mar 11 2016 - 01:05:37 CET

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