@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
3 lines • 3.78 kB
HTML
<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"/><meta name="viewport" content="width=device-width, initial-scale=1"/><meta name="theme-color" content="#273f79"/><link rel="stylesheet" href="lpdoc.css" type="text/css"/><script type="text/javascript">var lpdocPG='runnable';</script><script type="text/javascript" src="lpdoc.js"></script><title>The Ciao Prolog Playground</title></head><body><div class="lpdoc-page fixleftbar"><a href="#" id="sidebar-toggle-button" class="lpdoc-navbutton"><span id="sidebar-button-arrow">☰</span></a><div id="sidebar" class="lpdoc-sidebar"><div class="lpdoc-nav"><span class="lpdoc-on-right"><a class="lpdoc-navbutton" href="/">⌂</a><span class="lpdoc-navbutton-disabled">←</span><a class="lpdoc-navbutton" href="ciao_playground_manualfulltoc.html">→</a><a class="lpdoc-navbutton" href="ciao_playground_manualsearch.html">🔍</a></span><span><a href="ciao_playground_manualfulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href=""><strong>The Ciao Prolog Playground</strong></a> ▾<ul><li><a href="ciao_playground_using.html">Using the Ciao Prolog Playground</a></li><li><a href="ciao_playground_embedding.html">Creating Documents with Editable and Runnable Examples</a></li><li><a href="exfilter_documents.html">Creating Interactive Verification Tutorials</a></li></ul></li></ul><hr></hr><ul><li><a href="ciao_playground_manualrefs.html">References</a></li></ul></div><div class="lpdoc-main"><div><br/><div class="lpdoc-cover-title"><h1 class="lpdoc-cover-h1">The Ciao Prolog Playground</h1></div><div class="lpdoc-cover-authors">Jose F. Morales<br/>Guillermo García Pradales (playground interface)<br/>Manuel Hermenegildo<br/>The Ciao Development Team<br/></div><div class="lpdoc-cover-subtitle-extra"></div><div class="lpdoc-clearer"></div></div>
<br/><br/>
The <a href="/playground">Ciao Prolog Playground</a> offers several main functionalities:<p><ul> <p><li>A <a href="/ciao/build/doc/ciao_playground.html/ciao_playground_using.html">very easy way to run and share Prolog code</a>, directly from any modern browser.<p>The main advantage over other ways of using Ciao is that the playground does not require any installation or interaction with a server since <em>everything runs within the browser</em>.<p><li>An <a href="/ciao/build/doc/ciao_playground.html/ciao_playground_embedding.html">easy way to embed runnable code examples</a> in tutorials, manuals, slides, exercises, etc., and in general any kind of document.<p>These documents can be developed with many tools, such as Google Docs, Jupyter notebooks, Word, Powerpoint, LaTeX, Pages, Keynote, web site generators, etc., etc.<p>The examples are stored in the documents themselves and do not need to be uploaded to (or edited in) any server.<p>Here is an <a href="/ciao/build/doc/ciao_playground.html/factorial_peano_iso.html">example of an exercise generated with the LPdoc tool</a>.<p><li>An <a href="/ciao/build/doc/ciao_playground.html/exfilter_documents.html">easy way to create interactive verification tutorials</a> for CiaoPP.<p><li>An easy way to create and distribute applications.<p>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 <a href="/playground/scasp.html">s(CASP) playground</a>.<p></ul> <p><p>The Ciao Playground is based on a web-based editor component and the <tt>wasm</tt> build grade of Ciao (using WebAssembly and compiled with Emscripten).<p><br/><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>