@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
3 lines • 3.91 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" src="lpdoc.js"></script><title>PART I - Using CiaoPP — The CiaoPP Program Processor v1.5</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 style="height: 40px; margin-left: auto; margin-right: auto"><img src="ciao-logo_autofig.png" width=auto height=100%></div><div class="lpdoc-nav"><span class="lpdoc-on-right"><a class="lpdoc-navbutton" href="ciaopp_ref_man.html">↑</a><a class="lpdoc-navbutton" href="ciaopp_ref_manchanges.html">←</a><a class="lpdoc-navbutton" href="auto_interface.html">→</a><a class="lpdoc-navbutton" href="ciaopp_ref_mansearch.html">🔍</a></span><span><a href="ciaopp_ref_manfulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciaopp_ref_man.html">The CiaoPP Program Processor</a> »<br/> </li><li><a href=""><strong>PART I - Using CiaoPP</strong></a> ▾<ul><li><a href="auto_interface.html">The CiaoPP high-level interface</a></li><li><a href="ciaopp.html">The CiaoPP low-level interface</a></li><li><a href="ciaoppcl.html">The CiaoPP command-line interface</a></li><li><a href="part_domains.html">Available abstract domains</a></li><li><a href="part_transformations.html">Available program transformations</a></li><li><a href="part_fixpoint.html">Available fixpoints</a></li><li><a href="part_other_commands.html">Other commands</a></li></ul></li></ul></div><div class="lpdoc-main"><div id=""><h1>PART I - Using CiaoPP</h1>
<strong>Author(s):</strong> <a class="lpdoc-idx-anchor" id="The Ciao Development Team" href="ciaopp_ref_mansearch.html#The Ciao Development Team">The Ciao Development Team</a>.<p>
This part documents several levels of interaction with CiaoPP. As quick introduction we recommend going through the <span class="lpdoc-missing">CiaoPP Quick Tutorial</span> and <span class="lpdoc-missing">Advanced Tutorial on Program Development and Optimization using the CiaoPP Program Processor</span> sections.<p>CiaoPP can be used from an intuitive graphical menu interface, based on the <a class="lpdoc-idx-anchor" id="0" href="ciaopp_ref_mansearch.html#emacs"><tt>emacs</tt></a> editor, which allows the interactive selection of configuration options. An equivalent command-line interface, described in <a href="ciaoppcl.html">The CiaoPP command-line interface</a>, is provided for non-interactive use.<p>For more advanced uses, CiaoPP can be used directly as a library from a toplevel interface. We provide both a mostly automatic high-level interface, described in <a href="auto_interface.html">The CiaoPP high-level interface</a>, and a low-level interface intended for advanced users, detailed in <a href="ciaopp.html">The CiaoPP low-level interface</a>. Both the graphical and the command-line interfaces are based on the functionality provided by the high and low-level interfaces. <br/><h2>Subparts</h2><ul><li><a href="auto_interface.html">The CiaoPP high-level interface</a></li><li><a href="ciaopp.html">The CiaoPP low-level interface</a></li><li><a href="ciaoppcl.html">The CiaoPP command-line interface</a></li><li><a href="part_domains.html">Available abstract domains</a></li><li><a href="part_transformations.html">Available program transformations</a></li><li><a href="part_fixpoint.html">Available fixpoints</a></li><li><a href="part_other_commands.html">Other commands</a></li></ul></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>