@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
3 lines • 3.47 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 III - Assertions and auto-documentation — 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="arithmetic.html">←</a><a class="lpdoc-navbutton" href="assertions_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 III - Assertions and auto-documentation</strong></a> ▾<ul><li><a href="assertions_doc.html">The Ciao assertion language</a></li><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><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></ul></div><div class="lpdoc-main"><div id=""><h1>PART III - Assertions and auto-documentation</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>
Ciao allows <em>annotating</em> the program code with <em>assertions</em>. Such assertions include <a class="lpdoc-idx-anchor" id="0" href="ciaosearch.html#type">type</a> and <a class="lpdoc-idx-anchor" id="1" href="ciaosearch.html#instantiation mode">instantiation mode</a> declarations, but also more general properties as well as comments for <em>autodocumentation</em> in the <em>literate programming</em> style. These assertions document predicates (and modules and whole applications) and can be used by the Ciao tools while debugging, testing, and optimizing the program or library, and by the Ciao documenter to build program or library reference manuals. <br/><h2>Subparts</h2><ul><li><a href="assertions_doc.html">The Ciao assertion language</a></li><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><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></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>