Re: [eclipse-clp-users] Standard compliance

From: Panagiotis Stamatopoulos <takis_at_di.uoa.gr>
Date: Thu, 10 Mar 2016 18:13:30 +0200
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