Ciao prolog integration

[toblotron]

How could an integration with ciao prolog work? There are versions of Ciao Prolog that run as WASM modules, which should be able to work as execution environment for the prolog code generated by the Praxis IDE.

Make a simple example web page where

• Prolog code can be executed, and answers returned from Ciao Prolog.
• Dependencies can be handled, in some way: other libraries that are needed by the entered code can be supplied to the ciao prolog execution environment.

Bonus: Other interesting thing to explore could be whether it's possible to break execution and pause it, notifying the overlying JavaScript environment (for example in order to perform live debugging) and then resume execution at will.