Jean-Luc-Picard-2021

(playground) read/1 gives end_of_file

3

I just tried read/1, it gives immediately end_of_file: 

(playground) Aborts cause state loss.

6

Hi, Not sure whether this ticket is redundant to "(ciaowasm) make '$yield'/0 interact with JS async" what is seen in the commits? There is some state loss in manual abort:...

Some top-level goodies maybe?

4

In another ticket it was stated: > Note that atoms are still not quoted properly in the output. We'll fix that soon too. > https://github.com/ciao-lang/ciao/issues/53 I got more ideas, like...

uncaught memory overflow in ciaowasm (was Cannot distinguish error from failure")

2

There is a strange behaviour on my machine with the new Ciao WASM Playground: ``` ?- time2(fac(s(s(s(s(s(s(s(s(s(s(n)))))))))), _)). % walltime 520.0 ms yes ?- time2(fac(s(s(s(s(s(s(s(s(s(s(s(n))))))))))), _)). no ?- fail. no...

With great interest I was reading, and got a kind of christmas feeling: > Scryer Prolog sets a new standard for efficient encoding of lists of > characters, which we...

Feature request subtract/3 and friends

3

Was this ever considerd to include in Scryer Prolog? > **subtract(+Set, +Delete, -Result)** Delete all elements in Delete from Set. Deletion is based on unification using memberchk/2. https://www.swi-prolog.org/pldoc/doc_for?object=subtract/3 Somehow Scryer...

Feature request upcase_atom/2 and friends

6

Was this ever considerd to include in Scryer Prolog? > **upcase_atom(+AnyCase, -UpperCase)** Converts, similar to downcase_atom/2, an atom to uppercase. https://www.swi-prolog.org/pldoc/man?predicate=upcase_atom/2 Strangely its used here in xpath, how do you...

I get: ``` /* Scryer Prolog */ ?- time((between(1,10000,_), random_expr(0,_,L,[]), fail; true)). % CPU time: 1.800s true. ``` But then: ``` /* SWI-Prolog */ ?- time((between(1,10000,_), random_expr(0,_,L,[]), fail; true)). %...

Feature request predicate divmod/4

3

Its quite customary that Prolog systems nowadays have divmod/4, because many bigint algorithms can produce both div and mod at the same time. Trying to port a SWI-Porlog program I...

Now I get: ``` ?- X is 33^10. {ERROR: No handle found for thrown exception error(type_error(evaluable,33^10),'arithmetic:is'/2-2)} ``` But this function is listed here: > **DRAFT TECHNICAL CORRIGENDUM 2** > https://www.complang.tuwien.ac.at/ulrich/iso-prolog/dtc2#pow