Jose F. Morales
Jose F. Morales
Any update on this?
I agree with XVilka. I do not understand why PR are not accepted. In the current state, the resources in this list only represent 0.1% of all the work done...
It seems that there are at least two bugs: `acos` is not supported and the type error format is wrong. I've checked the 1995 standard document and `acos` is not...
We've just updated the playground with the changes mentioned by Manuel. The toplevel reuses more code from the standard toplevel and most of the features are magically in: - [X]...
Some details of what is happening (in Ciao's module system): - despite `current_module/1` succeeds for loaded modules, but not necessarily the visible ones ... - `predicate_property/3` is restricted to the...
Dear Captain, Thank you for your kind words regarding the playground :) The predicate [`time/1`](https://ciao-lang.org/ciao/build/doc/ciao.html/system.html#time/1) is already defined in Ciao with a different meaning (mapped to POSIX time() to get...
Thanks. Ciao has a very good engine (&-Prolog derivate) that implements some state-of-the-art techniques for sequential Prolog execution. Except if your program depends on some specific builtin or feature (e.g.,...
Update: time/1 will be supported in the next push to github (the branch is still in a private clone)
Thank you. This is a known limitation similar to blocking IO. Timeouts are hard without asyncify or shared array buffers because there is no way for the executing thread to...