Re: [eclipse-clp-users] Standard compliance

From: maxime diab <maxime.diab_at_gmail.com>
Date: Thu, 10 Mar 2016 13:49:51 +0100
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