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>: > 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 > https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users >Received on Thu Mar 10 2016 - 12:50:18 CET
This archive was generated by hypermail 2.2.0 : Thu Mar 10 2016 - 18:13:13 CET