[eclipse-clp-users] Standard compliance

From: Panagiotis Stamatopoulos <takis_at_...90...>
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.3.0 : Thu Feb 22 2024 - 18:13:20 CET