[eclipse-clp-users] Standard compliance

From: Panagiotis Stamatopoulos <takis_at_di.uoa.gr>
Date: Thu, 10 Mar 2016 13:47:08 +0200
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
Received on Thu Mar 10 2016 - 12:17:31 CET

This archive was generated by hypermail 2.2.0 : Fri Mar 11 2016 - 03:14:28 CET