How could an integration with SWI-prolog work? There are versions of SWIProlog 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 SWI-Prolog.
Dependencies can be handled, in some way: other libraries that are needed by the entered code can be supplied to the SWI-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.
How could an integration with SWI-prolog work? There are versions of SWIProlog 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
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.