[eclipse-clp-users] Standard compliance

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

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 message: [ Message body ]
Next message: maxime diab: "Re: [eclipse-clp-users] Standard compliance"
Previous message: Kish Shen: "Re: [eclipse-clp-users] Dbi prepare query issue."
Next in thread: maxime diab: "Re: [eclipse-clp-users] Standard compliance"
Reply: maxime diab: "Re: [eclipse-clp-users] Standard compliance"
Reply: Joachim Schimpf: "Re: [eclipse-clp-users] Standard compliance"
Reply: Paulo Moura: "Re: [eclipse-clp-users] Standard compliance"

Mail actions: [ respond to this message ] [ mail a new topic ]
Contemporary messages sorted: [ by date ] [ by thread ] [ by subject ] [ by author ] [ by messages with attachments ]

This archive was generated by hypermail 2.3.0 : Wed Sep 25 2024 - 15:13:21 CEST