CiaoPP Web interfaceThis bundle implements a Web interface for CiaoPP (based on Ciao wui framework).
Build (output will be generated under CIAOROOT/build/site directory):
ciao custom_run . fetch_externals ciao build ciao custom_run . distTo run the interface use the ciao-serve command (serves files from build/site) and open: http://localhost:8000/ciao/bndls/ciaopp_online/html/ciaopp_online.html
The active modules are started automatically as needed. You can stop them (e.g., for rebuilding the code) using the command:
ciao-serve stopSee DEPLOY.md for deployment instructions.
- This is work in progress. See wui TODO notes.
- Make the online demo state-less (requests from different users should not affect each other's state).
- Move ping_demo.pl, lpdoc_online.pl, etc. to other bundles.