Evaluable function pi/0 missing

ciao-lang / ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

https://ciao-lang.org

GNU Lesser General Public License v3.0

272 stars 21 forks source link

Evaluable function pi/0 missing #78

Closed Jean-Luc-Picard-2021 closed 1 year ago

Jean-Luc-Picard-2021 commented 2 years ago

Just wanted to play around with a test case, but unexpectedly the pi constant is missing:

$ ciaosh
Ciao 1.22.0 (2022-09-28 21:20:35 +0200) [LINUXx86_64]
?- X is cos(pi/2).
{ERROR: arithmetic:is/2, arg 2 - expected an arithmetically evaluable expression, found pi}

But it seems to be defined here:

9.3.15 pi/0 – pi https://www.complang.tuwien.ac.at/ulrich/iso-prolog/dtc2#pi

jfmc commented 1 year ago

No milestone was assigned for fixing this bug. Please tell us if you need it fixed sooner so that we can give more priority (usually "because I want to play with the system" gets the lowest priority). Despite it looks relatively simple, doing it right and consistently across all the tools requires more changes than expected.

jfmc commented 1 year ago

All right. Let's close the issue then since it is a duplicate of others. Thanks!