Jose F. Morales
Jose F. Morales
The command `ciao` without arguments starts `ciaosh` under `rlwrap` (if available). Would it be enough? We'd like to know if there is some missing feature in the `rlwrap` solution.
Thanks! That is a good motivation. I had a look and plugging it into the Ciao toplevel is not straightforward (e.g., proper interaction between readline input and the term parser...
Adding those predicates would still be an enhancement for Ciao. I reopen it.
Thanks! I tried playing around with this idea and #245 and the package described in that issue. I found that `doom-modeline-mode` does not work nicely with propertized text including display...
Same problem in Mac 10.11.6 & texlive 2018.
Thanks for the suggestion! You may try this: ``` divmod(Dividend, Divisor, Quot, Rem) :- Rem is Dividend mod Divisor, Quot is (Dividend - Rem) // Divisor. ``` which actually gives...
No, Ciao uses its own implementation of bignums. Of course we could add it, but is there any example where performance of this operation is critical?
More information here: https://www.complang.tuwien.ac.at/ulrich/iso-prolog/call_nth
Regarding `.`, yes, we can define as an infix operator. We needed it for some language extensions (I'm aware that some of them were introduced first in Ciao and then...
I've edited the name of this issue since this is not related to the playground.