Simple example of how to use clingo into browsers, client-side. The main principle is to compile clingo to WebAssembly, then wrap it into client-side js modules.
Try Clingo in your browser at https://aluriak.github.io/webclingo-example.
This method is working, but probably not the best way to embed clingo in websites.
The compile_web.sh script will:
- download emscripten and source its env
- download the clingo repository
- compile lua (from https://github.com/kripken/emscripten/tree/incoming/tests/lua)
- compile clingo to wasm
- properly place the output files into
docs/
You should probably not use this script as-is, but instead take inspiration from it.
This is a simple website copied and pruned from potassco.org/clingo/run,
which should be fully functional after the incorporation of clingo.js and clingo.wasm files
(made by compile_web.sh script)
To open the website,
cd docspython3 serve.py- Then open http://0.0.0.0:8000/
This site is static.
clingo.wasm: compiled Webassembly from clingo sources. To be placed next to the index.js/clingo.js: compiled from clingo sources. To be placed in js directory.js/clingo-module.js: wrapper around the clingo module, defining clingo call options based on user input and extracting the clingo output.js/mode-gringo.js: wrapper around the ASP language (in order to manage lua extensions ?).js/ace.js: code editor allowing to edit and highlight ASP source code.css/: potassco.org stylesheets.