(playground) pause/1 doesn't give browser time to do something

ciao-lang / ciao

Ciao is a modern Prolog implementation that builds up from a logic-based simple kernel designed to be portable, extensible, and modular.

https://ciao-lang.org

GNU Lesser General Public License v3.0

272 stars 21 forks source link

Open Jean-Luc-Picard-2021 opened 2 years ago

Jean-Luc-Picard-2021 commented 2 years ago

Maybe this is an issue of flush_output/1. But I don't get this example working:

test :- write('Hello '), flush_output,
   pause(1),
   write('World!'), nl.

It waits but Hello is not seen partially:

jfmc commented 6 months ago