The Ciao Prolog Playground

• An easy way to run and share Prolog code, directly from any modern browser.

  The main advantage over other ways of using Ciao is that the playground does not require any installation or interaction with a server since everything runs within the browser.

• An easy way to develop Active Logic Documents: notebooks containing embedded runnable Prolog code examples, that can be edited, queried, etc.

  These are very useful for developing tutorials, exercises, slides, manuals, etc. and in general any kind of document with runnable Prolog examples. The source for these documents is in (LPdoc) markdown and they can be easily shared. The documents and the embedded code run locally on the user's browser, without the need for a server. This provides many advantages such as scalability to any number of users, privacy, efficiency, etc.

  Here is an example of a simple exercise (click on the pencil button on the top right to edit it).

• An easy way to embed links to runnable code examples in tutorials, manuals, slides, exercises, etc., and in general any kind of document developed with other tools, such as Google Docs, Jupyter notebooks, Word, Powerpoint, LaTeX, Pages, Keynote, web site generators, etc., etc.

  The examples are stored in the documents themselves and do not need to be uploaded to (or edited in) any server.

  Here is a simple example in pdf generated with LaTeX.

• An easy way to create interactive verification tutorials for CiaoPP.

• An easy way to create and distribute applications.

  The Playground can be specialized to create standalone web-based applications, with editor and top level, which also do not need installation, running fully within the user's browser. An example is the s(CASP) playground.

The Ciao Playground is based on a web-based editor component and the wasm build grade of Ciao (using WebAssembly and compiled with Emscripten).