Jean-Luc-Picard-2021

Yes, could be the issue, I am only using go1.10.

A further goody that is missing, determinism detection in the top-level. I think Tau Prolog can already do it. Currently the Ciao WASM Playground shows me: ``` ?- X=1;X=2. X=1...

> Thanks! Regarding the comments on the top level I am afraid, I don't see your internal todo lists, or understand what you are writing. So I am using GitHub...

The bug is here: ``` var unilen = stringLength(atom1.id); for( var i = unilen-1; i >= 0; i-- ) { list1 = new Term( ".", [new Num( codePointAt(atom1.id,i), false ),...

Prolog systems that have meanwhile time/1 are not only SWI-Prolog, but also Scryer, Trealla, Jekejeke, Dogelog and maybe some more. The challenge is to make it show some time measurement...

In another small test Ciao WASM is refreshingly fast: ``` /* Ciao WASM */ ?- time2(fib(31,X)). % walltime 895.0 ms X=1346269 ? /* Dogelog JavaScript */ ?- time(fib(31,X)). % Wall...

I am not yet through with testing. Although I share your excitement, already from what I have seen. Here is a little puzzle, intended to test some backtracking. How does...

Ok, its also quite good in this example, I get: ``` /* Ciao WASM */ ?- puzzle(8, G-1000), !. G=8+(8+8)*(8*8-(8+8)//8) ? ?- time2((puzzle(8, G-1000), fail; true)). % walltime 1481.0 ms...

Works in Jan W prototype, but his prototype is still a little slow. https://dev.swi-prolog.org/wasm/shell ``` ?- assertz(foo). true. ?- foo. true. ?- repeat, fail. ERROR: Execution Aborted ?- foo. true....

You also see here that it doesn’t have any Workers, there is no Threads tab in the debugger. But interesting find, SWIPL itself got promisified, and the very first next()...