(playground) read/1 gives end_of_file

[Jean-Luc-Picard-2021]

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

[jfmc]

Thanks. A known issue and documented in limitations. Stdin and signals (including C-c, timeouts) are not working yet. As you know abort is implemented as a hard reset. We have all the pieces to make it work but we are making sure that we touch the right places and do not break anything.

[Jean-Luc-Picard-2021]

What do you mean by "documented", do you have a link?

Edit 09.08.2022:
Ok, I got it, if I scroll down here:

Reading input from standard input (read/1) is currently not
directly supported, due to WebAssembly limitations.
We plan also to fix this soon

https://ciao-lang.org/ciao/build/doc/ciao_playground.html/ciao_playground_using.html

[jfmc]

Reopening since this is still not fixed.

[jfmc]

Reopening, still not fixed. The proposal https://v8.dev/blog/jspi-ot may help here but we'd need to wait until it is commonly available in browsers. Another alternative is to yield from Prolog whenever we are reading/writing from the console (but this is hard from C).