@ciao-lang/ts-ciao-interface

Version:

Simple Ciao interface for node.

1 lines • 16.2 kB

HTML

<!DOCTYPE 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>Table of Contents — 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="ciaocopyright.html">←</a><a class="lpdoc-navbutton" href="ciaointro.html">→</a><a class="lpdoc-navbutton" href="ciaosearch.html">🔍</a></span><span><a href="">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>Table of Contents</strong></a></li></ul></div><div class="lpdoc-main"><div id=""><h1>Table of Contents</h1><ul><li><a href="ciaointro.html">Introduction</a></li><li><a href="GettingStarted.html">Getting started</a></li><ul><li><a href="Install.html">Installing Ciao from the source distribution</a></li><li><a href="CommandLineUse.html">Using Ciao from the command line</a></li><li><a href="EmacsUse.html">An introduction to the Ciao emacs environment</a></li><li><a href="Troubleshooting.html">Troubleshooting</a></li></ul><li><a href="DevEnv.html">PART I - The program development environment</a></li><ul><li><a href="toplevel_doc.html">The interactive top-level shell</a></li><li><a href="debugger_doc.html">The interactive debugger</a></li><ul><li><a href="debugger.html">Predicates controlling the interactive debugger</a></li></ul><li><a href="builder_doc.html">Bundle management</a></li><li><a href="ciaoc.html">The standalone command-line compiler</a></li><li><a href="ciao-shell.html">The script interpreter</a></li><li><a href="ciao-utilities.html">Other miscellaneous standalone utilities</a></li><ul><li><a href="ciaodump.html">Display information about Ciao object files</a></li><li><a href="callgraph.html">callgraph (library)</a></li><li><a href="pldiff.html">Finding differences between two Prolog files</a></li></ul><li><a href="CiaoMode.html">Using Ciao inside GNU emacs</a></li><li><a href="AdvCiaoEmacs.html">Advanced Ciao Emacs functionalities</a></li><ul><li><a href="flycheck-ciao.html">Flycheck Ciao: on-the-fly syntax and assertion checking, and testing</a></li><li><a href="company-ciao.html">Company Ciao: advanced autocompletion</a></li></ul></ul><li><a href="BasicLang.html">PART II - The Ciao basic language</a></li><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><a href="AssrtLang.html">PART III - Assertions and auto-documentation</a></li><ul><li><a href="assertions_doc.html">The Ciao assertion language</a></li><ul><li><a href="assertions_props.html">Types and properties related to assertions</a></li></ul><li><a href="regtypes_doc.html">Declaring regular types</a></li><li><a href="basic_props.html">Basic data types and properties</a></li><li><a href="native_props.html">Properties which are native to analyzers</a></li><ul><li><a href="native_props_shfrg_doc.html">Properties related to sharing/aliasing, groundness</a></li><li><a href="native_props_nfdet_doc.html">Properties related to determinacy, failure, choice-points</a></li><li><a href="native_props_cardinality_doc.html">Properties related to cardinality and exact solutions</a></li><li><a href="native_props_exceptions_doc.html">Properties related to exceptions and signals</a></li><li><a href="native_props_sideff_doc.html">Properties related to side effects</a></li><li><a href="native_props_polyhedral_doc.html">Properties related to polyhedral constraints</a></li><li><a href="native_props_cost_doc.html">Properties related to data sizes, cost, termination</a></li></ul><li><a href="modes_doc.html">Classical Prolog modes</a></li><li><a href="isomodes_doc.html">ISO-Prolog modes</a></li><li><a href="basicmodes_doc.html">Some basic Prolog modes</a></li><li><a href="doccomments_doc.html">Documentation comments</a></li></ul><li><a href="ExtendLang.html">PART IV - Language extensions</a></li><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><ul><li><a href="dcg_phrase_doc.html">Phrase support for DCGs</a></li></ul><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><ul><li><a href="det_hook_rt.html">Runtime predicates for call on determinate</a></li></ul><li><a href="lazy_doc.html">Lazy evaluation</a></li><ul><li><a href="lazy_lib.html">Lazy evaluation library</a></li></ul><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><ul><li><a href="datafacts_rt.html">Fast/concurrent update of facts (runtime)</a></li></ul><li><a href="dynamic_doc.html">Dynamic predicates (not source preserving)</a></li><ul><li><a href="dynamic_rt.html">Dynamic predicates (not source preserving) (runtime)</a></li></ul><li><a href="dynamic_clauses_doc.html">Dynamic predicates (source preserving)</a></li><ul><li><a href="dynamic_clauses_rt.html">Dynamic predicates (source preserving) (runtime)</a></li></ul><li><a href="persdb_rt.html">Persistent predicate database</a></li><ul><li><a href="persdb_examples.html">Using the persdb library</a></li><li><a href="datadir.html">Manager for persistent data directories</a></li></ul><li><a href="factsdb_doc.html">Filed predicates</a></li><ul><li><a href="factsdb_rt.html">Filed predicates (runtime)</a></li></ul><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><ul><li><a href="actmod_dist.html">Distribution protocol for active modules</a></li><ul><li><a href="regp_filebased.html">The ``filebased'' registry protocol</a></li><li><a href="regp_platformbased.html">The ``platformbased'' registry protocol</a></li><li><a href="regp_webbased.html">The ``webbased'' registry protocol</a></li></ul><li><a href="actmod_process.html">Active module processes</a></li><li><a href="actmod_rt.html">actmod_rt (library)</a></li></ul><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><ul><li><a href="clpfd_rt.html">Finite domain solver runtime</a></li></ul><li><a href="tabling_doc.html">Tabling execution</a></li><li><a href="attr_doc.html">Attributed variables</a></li><ul><li><a href="attr_rt.html">Attributed variables runtime</a></li><li><a href="attributes.html">Low-level attributed variables</a></li></ul><li><a href="foreign_interface_doc.html">C Foreign Language interface</a></li><ul><li><a href="foreign_interface_properties.html">Foreign Language interface properties</a></li><li><a href="foreign_compilation.html">Utilities for on-demand compilation of foreign files</a></li></ul></ul><li><a href="CompatProlog.html">PART V - Compatibility</a></li><ul><li><a href="classic_doc.html">Classic Prolog</a></li><ul><li><a href="classic_predicates.html">Classic Prolog predicates</a></li></ul><li><a href="iso_strict_doc.html">Stricter ISO-Prolog package</a></li><li><a href="iso_char.html">ISO Chars</a></li><li><a href="iso_misc.html">Miscellaneous ISO Prolog predicates</a></li><li><a href="iso_incomplete.html">ISO Prolog compatibility layer</a></li><li><a href="dec10_io.html">DEC-10 Prolog file IO</a></li><li><a href="old_database.html">Quintus-like internal database</a></li><li><a href="ttyout.html">C-Prolog terminal I/O</a></li><li><a href="runtime_ops_doc.html">Enabling operators at run-time</a></li><li><a href="listing.html">Printing dynamic predicates</a></li></ul><li><a href="DataStructuresAlgs.html">PART VI - Data structures and algorithms</a></li><ul><li><a href="lists.html">List processing</a></li><li><a href="hiordlib.html">Common higher-order predicates</a></li><li><a href="sort.html">Sorting lists</a></li><li><a href="llists.html">Lists of lists</a></li><li><a href="idlists.html">Identity lists</a></li><li><a href="numlists.html">Lists of numbers</a></li><li><a href="strings.html">String processing</a></li><li><a href="fuzzy_search.html">A fuzzy search and word metric library</a></li><li><a href="diff.html">Diff algorithm</a></li><li><a href="dict.html">Dictionaries</a></li><li><a href="vndict.html">Variable name dictionaries</a></li><li><a href="arrays.html">Extendable arrays with logarithmic access time</a></li><li><a href="assoc.html">Association between key and value</a></li><li><a href="keys.html">Key-value lists</a></li><li><a href="graphs.html">Graphs</a></li><li><a href="ugraphs.html">Unweighted graph-processing utilities</a></li><li><a href="lgraphs.html">Labeled graph-processing utilities</a></li><li><a href="queues.html">Queues</a></li><li><a href="sets.html">Set operations</a></li><li><a href="bitcodesets.html">Bit-coded-set operations</a></li><li><a href="lsets.html">Lists of sets</a></li></ul><li><a href="StdLibs.html">PART VII - Standard libraries</a></li><ul><li><a href="streams.html">Stream handling and operations</a></li><ul><li><a href="stream_basic.html">Basic file/stream handling</a></li><li><a href="io_basic.html">Basic input/output stream operations</a></li></ul><li><a href="stream_utils.html">Stream utilities</a></li><li><a href="tokenize.html">Tokenizer</a></li><li><a href="read.html">Term input</a></li><li><a href="read_from_string.html">Term input from strings</a></li><li><a href="write.html">Term output</a></li><li><a href="operators.html">Defining operators</a></li><li><a href="format.html">Formatted output</a></li><li><a href="terms_io.html">Reading/writting list of terms</a></li><li><a href="messages_basic.html">Message printing primitives</a></li><li><a href="runtime_control.html">Runtime system control and flags</a></li><li><a href="system_info.html">Runtime system information</a></li><li><a href="assrt_lib.html">Assertion processing library</a></li><li><a href="compiler.html">Dynamic loading and compilation</a></li><li><a href="libpaths.html">Customizing path aliases</a></li><li><a href="system.html">Operating system utilities</a></li><li><a href="pathnames.html">File path names</a></li><li><a href="process.html">Processes (multitasking)</a></li><ul><li><a href="process_channel.html">Process channels</a></li></ul></ul><li><a href="ExtraLibs.html">PART VIII - Additional libraries</a></li><ul><li><a href="io_alias_redirection.html">Accessing and redirecting the stream aliases</a></li><li><a href="port_reify.html">Call goals with reified (exit) ports.</a></li><li><a href="io_port_reify.html">Call goals with reified IO and (exit) ports</a></li><li><a href="ctrlcclean.html">ctrlcclean (library)</a></li><li><a href="errhandle.html">Default exception handler and pretty printer</a></li><li><a href="terms.html">Term manipulation utilities</a></li><li><a href="terms_check.html">Term checking utilities</a></li><li><a href="terms_vars.html">Sets of variables in terms</a></li><li><a href="cyclic_terms.html">Cyclic terms handling</a></li><li><a href="fastrw.html">Fast reading and writing of terms</a></li><li><a href="modblobs.html">Modules as blobs</a></li><li><a href="formulae.html">Lists and conjunctions and disjunctions</a></li><li><a href="counters.html">counters (library)</a></li><li><a href="between.html">Enumeration of integers inside a range</a></li><li><a href="pretty_print.html">A simple pretty-printer for Ciao programs</a></li><li><a href="assrt_write.html">Pretty-printing assertions</a></li><li><a href="syntax_highlight.html">A syntax highlighter</a></li><li><a href="source_tree.html">Operations on source trees</a></li><li><a href="version_strings.html">Version string parsing and comparison</a></li><li><a href="librowser.html">The Ciao library browser</a></li><li><a href="random.html">Random numbers</a></li><li><a href="random_aggregates.html">Randomized aggregates</a></li><li><a href="sockets.html">The socket interface</a></li><li><a href="sockets_io.html">Sockets I/O</a></li><li><a href="http_doc.html">HTTP client/server libraries</a></li><ul><li><a href="http_client.html">HTTP client</a></li><li><a href="http_server.html">HTTP server</a></li><li><a href="url.html">URL encoding/decoding</a></li><li><a href="http_forms.html">Form Data and Query Strings</a></li><li><a href="cgi.html">CGI programming</a></li><li><a href="http_messages.html">HTTP messages (response and request)</a></li><li><a href="http_date.html">HTTP dates</a></li><li><a href="http_grammar.html">Common grammar definitions for HTTP</a></li></ul><li><a href="pillow_doc.html">Web programming libraries (PiLLoW)</a></li><ul><li><a href="html.html">HTML/XML parser and generator</a></li><li><a href="json.html">JSON encoder and decoder</a></li><li><a href="color_space.html">Color space transformations</a></li></ul><li><a href="glob.html">Shell-style pathname pattern expansion</a></li><li><a href="regexp_doc.html">Pattern (regular expression) matching</a></li><ul><li><a href="regexp_code.html">regexp_code (library)</a></li></ul><li><a href="text_template.html">Text templates</a></li><li><a href="messages.html">Printing status and error messages</a></li><li><a href="menu_doc.html">Interactive menus</a></li><ul><li><a href="menu_generator.html">menu_generator (library)</a></li></ul><li><a href="getopts.html">Parse and return command-line options</a></li><li><a href="system_extra.html">Additional operating system utilities</a></li><li><a href="parse_shell_args.html">Shell-style argument parsing</a></li><li><a href="archive_files.html">File archiver</a></li><li><a href="file_locks.html">File locks</a></li><li><a href="symfnames.html">Symbolic filenames</a></li><li><a href="opendoc.html">Open a document with an external application</a></li><li><a href="emacs.html">Calling emacs from Prolog</a></li></ul></ul></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>