@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
3 lines • 4.54 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 II - The Ciao basic language — The Ciao System v1.22</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="ciao.html">↑</a><a class="lpdoc-navbutton" href="company-ciao.html">←</a><a class="lpdoc-navbutton" href="Conventions.html">→</a><a class="lpdoc-navbutton" href="ciaosearch.html">🔍</a></span><span><a href="ciaofulltoc.html">TOC</a></span></div><hr></hr><ul class="lpdoc-itemize-sectpath"><li><a href="ciao.html">The Ciao System</a> »<br/> </li><li><a href=""><strong>PART II - The Ciao basic language</strong></a> ▾<ul><li><a href="Conventions.html">Basic concepts and conventions</a></li><li><a href="modules.html">The module system</a></li><li><a href="bundles_doc.html">Bundles and workspaces</a></li><li><a href="packages.html">Packages and language extension</a></li><li><a href="condcomp_doc.html">Conditional compilation</a></li><li><a href="basiccontrol.html">Control constructs/predicates</a></li><li><a href="exceptions.html">Exception and signal handling</a></li><li><a href="term_typing.html">Extra-logical properties for typing</a></li><li><a href="term_basic.html">Basic term manipulation</a></li><li><a href="term_compare.html">Comparing terms</a></li><li><a href="atomic_basic.html">Conversion between constants and strings</a></li><li><a href="arithmetic.html">Arithmetic</a></li></ul></li></ul></div><div class="lpdoc-main"><div id=""><h1>PART II - The Ciao basic language</h1>
<strong>Author(s):</strong> <a class="lpdoc-idx-anchor" id="The Ciao Development Team" href="ciaosearch.html#The Ciao Development Team">The Ciao Development Team</a>.<p>
This part documents the <a class="lpdoc-idx-anchor" id="0" href="ciaosearch.html#Ciao basic language"><em>Ciao basic language</em></a>. It covers the basic language concepts, constructs, and some predefined predicates and declarations that, unless stated otherwise, are available by default every Ciao program as defined in the <a class="lpdoc-idx-anchor" id="1" href="ciaosearch.html#prelude"><tt>prelude</tt></a> package. However, it is also possible to avoid loading this <a class="lpdoc-idx-anchor" id="2" href="ciaosearch.html#prelude"><tt>prelude</tt></a> package, on a per module basis, by using some special packages (see <a class="lpdoc-idx-anchor" id="3" href="noprelude_doc.html"><tt>noprelude</tt></a>, <a class="lpdoc-idx-anchor" id="4" href="pure_doc.html"><tt>pure</tt></a>).<p>Most of these basic predicates are contained in the <tt>engine</tt> library modules.<p>The rest of the standard library predicates, including both the packages that provide the <a class="lpdoc-idx-anchor" id="5" href="ciaosearch.html#ISO-Prolog builtins">ISO-Prolog builtins</a>, the other traditional Prolog builtins, and the many <a class="lpdoc-idx-anchor" id="6" href="ciaosearch.html#language extensions">language extensions</a> of Ciao beyond Prolog are documented in subsequent parts.<p> <br/><h2>Subparts</h2><ul><li><a href="Conventions.html">Basic concepts and conventions</a></li><li><a href="modules.html">The module system</a></li><li><a href="bundles_doc.html">Bundles and workspaces</a></li><li><a href="packages.html">Packages and language extension</a></li><li><a href="condcomp_doc.html">Conditional compilation</a></li><li><a href="basiccontrol.html">Control constructs/predicates</a></li><li><a href="exceptions.html">Exception and signal handling</a></li><li><a href="term_typing.html">Extra-logical properties for typing</a></li><li><a href="term_basic.html">Basic term manipulation</a></li><li><a href="term_compare.html">Comparing terms</a></li><li><a href="atomic_basic.html">Conversion between constants and strings</a></li><li><a href="arithmetic.html">Arithmetic</a></li></ul></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>