Thank you Maxime, but my question was whether the ECLiPSe behavior on the query I posted was in accordance with the standard. I was not looiking for an alternative way to do this (and, certainly, I didn't need to load the ic library to do some simple arithmetic). Paulo answered my question. If we start ECLiPSe with "eclipse -L iso", then it complies with the standard. Regards, Panagiotis On 10-Mar-16 2:49 PM, maxime diab wrote: > Hello, > two way to do that in eclipse: > lib(ic), X #= 5+3, Y is X+7. > or > X is 5+3, Y is X+7. > > Regards > Maxime > > 2016-03-10 12:47 GMT+01:00 Panagiotis Stamatopoulos <takis_at_di.uoa.gr > <mailto:takis_at_di.uoa.gr>>: > > 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. > > Best Regards, > > Panagiotis Stamatopoulos > > ------------------------------------------------------------------------------ > Transform Data into Opportunity. > Accelerate data analysis in your applications with > Intel Data Analytics Acceleration Library. > Click to learn more. > http://pubads.g.doubleclick.net/gampad/clk?id=278785111&iu=/4140 > _______________________________________________ > ECLiPSe-CLP-Users mailing list > ECLiPSe-CLP-Users_at_lists.sourceforge.net > <mailto:ECLiPSe-CLP-Users_at_lists.sourceforge.net> > https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users > >Received on Thu Mar 10 2016 - 16:13:36 CET
This archive was generated by hypermail 2.2.0 : Thu Mar 10 2016 - 18:13:13 CET