> On 10/03/2016, at 11:47, Panagiotis Stamatopoulos <takis_at_...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_at_...342...> Web: <http://logtalk.org/> -----------------------------------------------------------------Received on Fri Mar 11 2016 - 01:05:37 CET
This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST