> On 10/03/2016, at 11:47, Panagiotis Stamatopoulos <takis_at_di.uoa.gr> 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_logtalk.org> Web: <http://logtalk.org/> -----------------------------------------------------------------Received on Fri Mar 11 2016 - 01:05:37 CET
This archive was generated by hypermail 2.2.0 : Tue Mar 22 2016 - 06:13:24 CET