@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
3 lines • 7.79 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 IV - Language extensions — 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="doccomments_doc.html">←</a><a class="lpdoc-navbutton" href="noprelude_doc.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 IV - Language extensions</strong></a> ▾<ul><li><a href="noprelude_doc.html">No-prelude</a></li><li><a href="pure_doc.html">Pure Prolog package</a></li><li><a href="hiord_rt.html">Higher-order support</a></li><li><a href="traits_doc.html">Traits</a></li><li><a href="argnames_doc.html">Terms with named arguments -records/feature terms</a></li><li><a href="fsyntax_doc.html">Functional notation</a></li><li><a href="dcg_doc.html">Definite Clause Grammars</a></li><li><a href="global_vars.html">Backtrackable global variables</a></li><li><a href="mutables.html">Mutable terms</a></li><li><a href="indexer_doc.html">Multiple argument indexing</a></li><li><a href="block_doc.html">Block declarations</a></li><li><a href="freeze.html">Delaying predicates (freeze)</a></li><li><a href="when.html">Delaying predicates (when)</a></li><li><a href="andorra_doc.html">Andorra execution</a></li><li><a href="det_hook_doc.html">Call on determinate</a></li><li><a href="lazy_doc.html">Lazy evaluation</a></li><li><a href="bf_doc.html">Breadth-first execution</a></li><li><a href="id_doc.html">Iterative-deepening execution</a></li><li><a href="odd.html">Miscellaneous predicates</a></li><li><a href="aggregates.html">Aggregates: gathering predicate solutions</a></li><li><a href="datafacts_doc.html">Fast/concurrent update of facts</a></li><li><a href="dynamic_doc.html">Dynamic predicates (not source preserving)</a></li><li><a href="dynamic_clauses_doc.html">Dynamic predicates (source preserving)</a></li><li><a href="persdb_rt.html">Persistent predicate database</a></li><li><a href="factsdb_doc.html">Filed predicates</a></li><li><a href="concurrency.html">Low-level concurrency/multithreading primitives</a></li><li><a href="conc_aggregates.html">Aggregates (concurrency-safe)</a></li><li><a href="actmod_doc.html">Active modules</a></li><li><a href="clpq_doc.html">Constraint programming over rationals</a></li><li><a href="clpr_doc.html">Constraint programming over reals</a></li><li><a href="clpfd_doc.html">Constraint programming over finite domains (new)</a></li><li><a href="tabling_doc.html">Tabling execution</a></li><li><a href="attr_doc.html">Attributed variables</a></li><li><a href="foreign_interface_doc.html">C Foreign Language interface</a></li></ul></li></ul></div><div class="lpdoc-main"><div id=""><h1>PART IV - Language extensions</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>
The libraries documented in this part extend and modify the Ciao language in several different ways. The extensions include: <ul> <li>restricted languages (<a class="lpdoc-idx-anchor" id="0" href="ciaosearch.html#pure Prolog">pure Prolog</a> programming); <li><a class="lpdoc-idx-anchor" id="1" href="ciaosearch.html#constraint logic programming">constraint logic programming</a>; <li>multi-paradigm features (<a class="lpdoc-idx-anchor" id="2" href="ciaosearch.html#higher-order">higher-order</a>, <a class="lpdoc-idx-anchor" id="3" href="ciaosearch.html#functional syntax">functional syntax</a>, <a class="lpdoc-idx-anchor" id="4" href="ciaosearch.html#feature terms">feature terms</a> or <a class="lpdoc-idx-anchor" id="5" href="ciaosearch.html#records"><em>records</em></a>, <a class="lpdoc-idx-anchor" id="6" href="ciaosearch.html#global variables">global variables</a>, <a class="lpdoc-idx-anchor" id="7" href="ciaosearch.html#mutable">mutable</a> terms, etc.); <li>alternative search and evaluation strategies (<a class="lpdoc-idx-anchor" id="8" href="ciaosearch.html#delaying predicate execution">delaying predicate execution</a>, <tt>undo</tt> goals, <a class="lpdoc-idx-anchor" id="9" href="ciaosearch.html#breadth-first execution">breadth-first execution</a>, <a class="lpdoc-idx-anchor" id="10" href="ciaosearch.html#iterative deepening-based execution">iterative deepening-based execution</a>); <li>concurrency and parallel execution (<a class="lpdoc-idx-anchor" id="11" href="ciaosearch.html#active modules">active modules</a>, <a class="lpdoc-idx-anchor" id="12" href="ciaosearch.html#parallel programming">parallel programming</a> (e.g., &-Prolog style)). </ul> <p><br/><h2>Subparts</h2><ul><li><a href="noprelude_doc.html">No-prelude</a></li><li><a href="pure_doc.html">Pure Prolog package</a></li><li><a href="hiord_rt.html">Higher-order support</a></li><li><a href="traits_doc.html">Traits</a></li><li><a href="argnames_doc.html">Terms with named arguments -records/feature terms</a></li><li><a href="fsyntax_doc.html">Functional notation</a></li><li><a href="dcg_doc.html">Definite Clause Grammars</a></li><li><a href="global_vars.html">Backtrackable global variables</a></li><li><a href="mutables.html">Mutable terms</a></li><li><a href="indexer_doc.html">Multiple argument indexing</a></li><li><a href="block_doc.html">Block declarations</a></li><li><a href="freeze.html">Delaying predicates (freeze)</a></li><li><a href="when.html">Delaying predicates (when)</a></li><li><a href="andorra_doc.html">Andorra execution</a></li><li><a href="det_hook_doc.html">Call on determinate</a></li><li><a href="lazy_doc.html">Lazy evaluation</a></li><li><a href="bf_doc.html">Breadth-first execution</a></li><li><a href="id_doc.html">Iterative-deepening execution</a></li><li><a href="odd.html">Miscellaneous predicates</a></li><li><a href="aggregates.html">Aggregates: gathering predicate solutions</a></li><li><a href="datafacts_doc.html">Fast/concurrent update of facts</a></li><li><a href="dynamic_doc.html">Dynamic predicates (not source preserving)</a></li><li><a href="dynamic_clauses_doc.html">Dynamic predicates (source preserving)</a></li><li><a href="persdb_rt.html">Persistent predicate database</a></li><li><a href="factsdb_doc.html">Filed predicates</a></li><li><a href="concurrency.html">Low-level concurrency/multithreading primitives</a></li><li><a href="conc_aggregates.html">Aggregates (concurrency-safe)</a></li><li><a href="actmod_doc.html">Active modules</a></li><li><a href="clpq_doc.html">Constraint programming over rationals</a></li><li><a href="clpr_doc.html">Constraint programming over reals</a></li><li><a href="clpfd_doc.html">Constraint programming over finite domains (new)</a></li><li><a href="tabling_doc.html">Tabling execution</a></li><li><a href="attr_doc.html">Attributed variables</a></li><li><a href="foreign_interface_doc.html">C Foreign Language interface</a></li></ul></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>