@ciao-lang/ts-ciao-interface
Version:
Simple Ciao interface for node.
14 lines (13 loc) • 24.3 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>Introduction — 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="ciaofulltoc.html">←</a><a class="lpdoc-navbutton" href="ciaochanges.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>Introduction</strong></a></li></ul><hr></hr><em>ON THIS PAGE</em><ul><li><a href="#About this manual">About this manual</a></li><li><a href="#About the Ciao development system">About the Ciao development system</a></li><li><a href="#ISO-Prolog compliance and extensibility">ISO-Prolog compliance and extensibility</a></li><li><a href="#About the name of the System">About the name of the System</a></li><li><a href="#Referring to Ciao">Referring to Ciao</a></li><li><a href="#Acknowledgments">Acknowledgments</a></li></ul></div><div class="lpdoc-main"><div id=""><h1>Introduction</h1>
<p><div id="About this manual"><h2>About this manual</h2> <a class="lpdoc-idx-anchor" id="0" href="ciaosearch.html#status, this manual"></a> <p>This is the <em>Reference Manual</em> for the Ciao development system. It contains basic information on how to install Ciao and how to write, debug, and run Ciao programs from the command line, from inside GNU <a class="lpdoc-idx-anchor" id="1" href="emacs.html"><tt>emacs</tt></a>, or from a windowing desktop. It also documents all the libraries available in the standard distribution.<p> This manual has been generated using the <a class="lpdoc-idx-anchor" id="2" href="ciaosearch.html#LPdoc"><em>LPdoc</em></a> semi-automatic documentation generator for LP/CLP programs [<a class="lpdoc-idx-anchor" id="3" href="ciaorefs.html#lpdoc-reference">HC97</a>,<a class="lpdoc-idx-anchor" id="4" href="ciaorefs.html#lpdoc-cl2000">Her00</a>]. <a class="lpdoc-idx-anchor" id="5" href="ciaosearch.html#lpdoc"><tt>lpdoc</tt></a> processes Ciao files (and files in Prolog and other CLP languages) adorned with assertions and machine-readable comments, which should be written in the Ciao <a class="lpdoc-idx-anchor" id="6" href="ciaosearch.html#assertion language">assertion language</a> [<a class="lpdoc-idx-anchor" id="7" href="ciaorefs.html#assert-lang-ws">PBH97</a>,<a class="lpdoc-idx-anchor" id="8" href="ciaorefs.html#assert-lang-disciplbook">PBH00</a>]. From these, it generates manuals in many formats including <tt>postscript</tt>, <tt>pdf</tt>, <tt>texinfo</tt>, <tt>info</tt>, <tt>HTML</tt>, <tt>man</tt>, etc., as well as on-line help, ascii <tt>README</tt> files, entries for indices of manuals (<tt>info</tt>, WWW, ...), and maintains WWW distribution sites.<p>The big advantage of this approach is that it is easier to keep the on-line and printed documentation in sync with the source code [<a class="lpdoc-idx-anchor" id="9" href="ciaorefs.html#knuth-lit">Knu84</a>]. As a result, <em>this manual changes continually as the source code is modified</em>. Because of this, the manual has a version number. You should make sure the manual you are reading, whether it be printed or on-line, coincides with the version of the software that you are using.<p>The approach also implies that there is often a variability in the degree to which different libraries or system components are documented. Many libraries offer abundant documentation, but a few will offer little. The latter is due to the fact that we tend to include libraries in the manual if the code is found to be useful, even if they may still contain sparse documentation. This is because including a library in the manual will at the bare minimum provide formal information (such as the names of exported predicates and their arity, which other modules it loads, etc.), create index entries, pointers for on-line help in the electronic versions of the manuals, and command-line completion capabilities inside <a class="lpdoc-idx-anchor" id="10" href="emacs.html"><tt>emacs</tt></a>. Again, the manual is being updated continuously as the different libraries (and machine-readable documentation in them) are improved. <p></div><div id="About the Ciao development system"><h2>About the Ciao development system</h2> <a class="lpdoc-idx-anchor" id="11" href="ciaosearch.html#ciao, global description"></a> <p> The Ciao system is a full programming environment for developing programs in the Prolog language and in several other languages which are extensions and modifications of Prolog and (Constraint) Logic Programming in several interesting and useful directions. The programming environment offers a number of tools such as the Ciao standalone compiler (<tt>ciaoc</tt>), a traditional-style top-level interactive shell (<tt>ciaosh</tt> or <tt>ciao</tt>), an interpreter of scripts written in Ciao (<tt>ciao-shell</tt>), a Ciao (and Prolog) <tt>emacs</tt> mode (which greatly helps the task of developing programs with support for editing, debugging, version/change tracking, etc.), numerous libraries, a powerful program preprocessor (<tt>ciaopp</tt> [<a class="lpdoc-idx-anchor" id="12" href="ciaorefs.html#effofai-toplas">BGH99</a>,<a class="lpdoc-idx-anchor" id="13" href="ciaorefs.html#prog-glob-an">HPB99</a>,<a class="lpdoc-idx-anchor" id="14" href="ciaorefs.html#ciaopp-iclp99-tut">HBPLG99</a>,<a class="lpdoc-idx-anchor" id="15" href="ciaorefs.html#ciaopp-manual">BLGPH04</a>,<a class="lpdoc-idx-anchor" id="16" href="ciaorefs.html#ciaopp-sas03-journal-scp">HPBLG05</a>], which supports static debugging and optimization from program analysis via source to source program transformation), and an automatic documentation generator (<tt>lpdoc</tt>) [<a class="lpdoc-idx-anchor" id="17" href="ciaorefs.html#lpdoc-reference">HC97</a>,<a class="lpdoc-idx-anchor" id="18" href="ciaorefs.html#lpdoc-cl2000">Her00</a>]. A number of execution visualization tools [<a class="lpdoc-idx-anchor" id="19" href="ciaorefs.html#visandor-iclp93">CGH93</a>,<a class="lpdoc-idx-anchor" id="20" href="ciaorefs.html#apt-disciplbook">CH00d</a>,<a class="lpdoc-idx-anchor" id="21" href="ciaorefs.html#vifid-trifid-disciplbook">CH00c</a>] are also available.<p>This manual documents the first four of the tools mentioned above [see <a href="DevEnv.html">PART I - The program development environment</a>], and the Ciao language and libraries. The <tt>ciaopp</tt> and <tt>lpdoc</tt> tools are documented in separate manuals.<p>The Ciao language [see <a href="BasicLang.html">PART II - The Ciao basic language</a>] has been designed from the ground up to be small, but to also allow extensions and restrictions in a modular way. This allows modular program development with clear program semantics, as well as automatic program manipulation and optimization. Ciao includes a robust module system [<a class="lpdoc-idx-anchor" id="22" href="ciaorefs.html#ciao-modules-cl2000">CH00a</a>], module-based automatic incremental compilation [<a class="lpdoc-idx-anchor" id="23" href="ciaorefs.html#ciaoc-ws">CH99b</a>], and modular global program analysis, debugging and optimization [<a class="lpdoc-idx-anchor" id="24" href="ciaorefs.html#ciao-modules-analspec-ws">PH99</a>], based on a rich assertion language [see <a href="AssrtLang.html">PART III - Assertions and auto-documentation</a>] for declaring (optional) program properties (including types, modes, determinacy, etc.), which can be checked either statically or dynamically. The program analysis, static debugging and optimization tasks related to these assertions are performed by the <a class="lpdoc-idx-anchor" id="25" href="ciaosearch.html#ciaopp"><tt>ciaopp</tt></a> preprocessor, as mentioned above. These assertions (together with special comment-style declarations) are also the ones used by the <a class="lpdoc-idx-anchor" id="26" href="ciaosearch.html#lpdoc"><tt>lpdoc</tt></a> autodocumenter to generate documentation for programs (the comment-style declarations are documented in the <tt>lpdoc</tt> manual).<p>Moreover, the modular design allows powerful extensions such as constraint logic programming, multi-paradigm features (higher-order, functional notation, etc.), alternative search and evaluation strategies, concurrency (threads), distributed and parallel execution, foreign language interfaces, restrictions such as working with pure horn clauses [see <a href="ExtendLang.html">PART IV - Language extensions</a>], as well as supporting standard ISO-Prolog [see <a href="CompatProlog.html">PART V - Compatibility</a>].<p>Ciao includes a collection of standard and additional libraries and utilities see [see <a href="DataStructuresAlgs.html">PART VI - Data structures and algorithms</a>, <a href="StdLibs.html">PART VII - Standard libraries</a>, and <a href="ExtraLibs.html">PART VIII - Additional libraries</a>]. Apart from these, many other tools and libraries, such as <a class="lpdoc-idx-anchor" id="27" href="ciaosearch.html#language bindings">language bindings</a>) to several languages and systems are distributed as separate <a class="lpdoc-idx-anchor" id="28" href="ciaosearch.html#bundle">bundle</a>s.<p><p> <p></div><div id="ISO-Prolog compliance and extensibility"><h2>ISO-Prolog compliance and extensibility</h2> <a class="lpdoc-idx-anchor" id="29" href="ciaosearch.html#iso-prolog, compliance"></a> <a class="lpdoc-idx-anchor" id="30" href="ciaosearch.html#extensibility"></a> <p> One of the innovative features of Ciao is that it has been designed to subsume transparently <a class="lpdoc-idx-anchor" id="31" href="ciaosearch.html#ISO-Prolog"><em>ISO-Prolog</em></a> (International Standard ISO/IEC 13211-1, PROLOG: Part 1--General Core [<a class="lpdoc-idx-anchor" id="32" href="ciaorefs.html#iso-prolog">DEDC96</a>]), while at the same time extending it in many important ways. The intention is to ensure that all ISO-compliant Prolog programs run correctly under Ciao. At the same time, the Ciao module system (see <a href="BasicLang.html">PART II - The Ciao basic language</a> and [<a class="lpdoc-idx-anchor" id="33" href="ciaorefs.html#ciao-modules-cl2000">CH00a</a>] for a discussion of the motivations behind the design) allows selectively avoiding the loading of most ISO-builtins (and changing some other ISO characteristics) when not needed, so that it is possible to work with purer subsets of Prolog and also to build small executables. Also, this module system makes it possible to develop extensions using these purer subsets (or even the full ISO-standard) as a starting point. Using these features, the Ciao distribution includes libraries which significantly extend the language both syntactically and semantically.<p>In order to aid programmers who wish to write standard-compliant programs, library predicates that correspond to those in the ISO-Prolog standard are marked specially in the manuals, and differences between the Ciao and the prescribed ISO-Prolog behaviours, if any, are commented appropriately. There is also functionality (see <span class="lpdoc-missing">ISO-Prolog package</span>) which makes the standard ISO-Prolog predicates available by default in the modules that use traditional module declarations or that load this package explicitly. Thus, ISO-compliance is active transparently for ported programs.<p>The intention of the Ciao developers is to maintain and continuously improve the compliance of Ciao with the published parts of the ISO standard, with other reasonable extensions of the standard that may be published in the future, and with those features that the Prolog developer community agrees widely on. At the same time, since one of the design objectives of Ciao is to address some shortcomings of previous implementations of Prolog and logic programming in general, we also encourage and work towards making some of the better ideas present in the system reach the standards and also be adopted by other systems.<p> <p></div><div id="About the name of the System"><h2>About the name of the System</h2> <a class="lpdoc-idx-anchor" id="34" href="ciaosearch.html#why the name Ciao"></a> <a class="lpdoc-idx-anchor" id="35" href="ciaosearch.html#Ciao, why this name"></a> <p> Ciao is short for ``Ciao Prolog,'' a name which has an interesting (and not unintended) interpretation. Ciao is an interesting word which means both <em>hello</em> and <em>goodbye</em>. 'Ciao Prolog' intends to be a really good, all-round, freely available ISO-Prolog system which can be used as a classical Prolog, in both academic and industrial environments (and, in particular, to introduce users to Prolog and to constraint and logic programming --the <em>hello</em> part). An indeed many programmers use it just that way. But Ciao is also a new-generation, multiparadigm programming language and program development system which goes well beyond Prolog and other classical logic programming languages. And it has the advantage (when compared to other new-generation LP systems) that it does so while keeping full Prolog compatibility when needed.<p> <p></div><div id="Referring to Ciao"><h2>Referring to Ciao</h2> <a class="lpdoc-idx-anchor" id="36" href="ciaosearch.html#referring to Ciao"></a> <a class="lpdoc-idx-anchor" id="37" href="ciaosearch.html#references, to Ciao"></a> <p>If you find Ciao or any of its components useful, we would appreciate very much if you added a reference to this manual in your work. The following is an appropriate BiBTeX entry with the relevant data:<p><pre class="lpdoc-codeblock">@techreport{ciao-reference-manual-1.16-short,
author = {F.~Bueno and M.~Carro and M.~V.~Hermenegildo
and P.~L\'{o}pez-Garc\'{\i}a and
and J.F.~Morales (Eds.)},
title = {{T}he {C}iao {S}ystem. {R}ef. {M}anual (V1.16)},
month = {July},
year = 2017,
url = {http://ciao-lang.org},
butype = {techreport},
note = {Available at \texttt{http://ciao-lang.org}}
}
</pre> <p></div><div id="Acknowledgments"><h2>Acknowledgments</h2> <a class="lpdoc-idx-anchor" id="38" href="ciaosearch.html#acknowledgments"></a> <p> The Ciao system is a joint effort on one hand of some present (<a class="lpdoc-idx-anchor" id="39" href="pldiff.html#Francisco Bueno">Francisco Bueno</a>, <a class="lpdoc-idx-anchor" id="40" href="Install.html#Manuel Carro">Manuel Carro</a>, <a class="lpdoc-idx-anchor" id="41" href="Install.html#Manuel Hermenegildo">Manuel Hermenegildo</a>, <a class="lpdoc-idx-anchor" id="42" href="ciaosearch.html#Pedro López">Pedro López</a>, and <a class="lpdoc-idx-anchor" id="43" href="Install.html#Jose F. Morales">Jose F. Morales</a>) and past (<a class="lpdoc-idx-anchor" id="44" href="Install.html#Daniel Cabeza">Daniel Cabeza</a>, <a class="lpdoc-idx-anchor" id="45" href="ciaosearch.html#María José García de la Banda">María José García de la Banda</a>, <a class="lpdoc-idx-anchor" id="46" href="ciaosearch.html#Germán Puebla">Germán Puebla</a>) main members of the <a class="lpdoc-idx-anchor" id="47" href="ciaosearch.html#CLIP group"><em>CLIP group</em></a> at the School of Computer Science, <a class="lpdoc-idx-anchor" id="48" href="ciaosearch.html#Technical University of Madrid"><em>Technical University of Madrid</em></a> and at the <a class="lpdoc-idx-anchor" id="49" href="ciaosearch.html#IMDEA Software Institute"><em>IMDEA Software Institute</em></a>, and on the other hand of many colleagues and students that have collaborated with us over the years. These names are listed generally in the documentation of each library or part of the system and appear in the <em>Author index</em> chapters of the different manuals, as well as the references. In addition, the following is an (inevitably incomplete) list of other colleagues and sources that have contributed to the development of Ciao:<p> <ul> <p><li>The <a class="lpdoc-idx-anchor" id="50" href="ciaosearch.html#Ciao engine"><em>Ciao engine</em></a>, compiler, preprocessor, libraries, and documentation, although completely rewritten at this point by the authors above, have their origins in the <a class="lpdoc-idx-anchor" id="51" href="ciaosearch.html#&-Prolog"><em>&-Prolog</em></a> <a class="lpdoc-idx-anchor" id="52" href="ciaosearch.html#parallel Prolog"><em>parallel Prolog</em></a> engine and <a class="lpdoc-idx-anchor" id="53" href="ciaosearch.html#parallelizing compiler"><em>parallelizing compiler</em></a>, developed by <a class="lpdoc-idx-anchor" id="54" href="Install.html#Manuel Hermenegildo">Manuel Hermenegildo</a>, <a class="lpdoc-idx-anchor" id="55" href="ciaosearch.html#Kevin Greene">Kevin Greene</a>, <a class="lpdoc-idx-anchor" id="56" href="ciaosearch.html#Kalyan Muthukumar">Kalyan Muthukumar</a>, and <a class="lpdoc-idx-anchor" id="57" href="ciaosearch.html#Roger Nasr">Roger Nasr</a> at <a class="lpdoc-idx-anchor" id="58" href="ciaosearch.html#MCC"><em>MCC</em></a> and later at <a class="lpdoc-idx-anchor" id="59" href="ciaosearch.html#UPM"><em>UPM</em></a>. The &-Prolog engine and low-level (<a class="lpdoc-idx-anchor" id="60" href="ciaosearch.html#WAM"><em>WAM</em></a>) compilers in turn were derived from early versions (0.5 to 0.7) of <a class="lpdoc-idx-anchor" id="61" href="ciaosearch.html#SICStus Prolog"><em>SICStus Prolog</em></a> [<a class="lpdoc-idx-anchor" id="62" href="ciaorefs.html#Sicstus">Car88</a>]. SICStus is an excellent, high performance Prolog system, developed by <a class="lpdoc-idx-anchor" id="63" href="debugger_doc.html#Mats Carlsson">Mats Carlsson</a> and colleagues at the <a class="lpdoc-idx-anchor" id="64" href="ciaosearch.html#Swedish Institute of Computer Science"><em>Swedish Institute of Computer Science</em></a> (<a class="lpdoc-idx-anchor" id="65" href="ciaosearch.html#SICS"><em>SICS</em></a>), that every user of Prolog should check out [<a class="lpdoc-idx-anchor" id="66" href="ciaorefs.html#Sicstus3">Swe95</a>,<a class="lpdoc-idx-anchor" id="67" href="ciaorefs.html#Sicstus-library">AAF91</a>]. Very special thanks are due to <a class="lpdoc-idx-anchor" id="68" href="ciaosearch.html#Seif Haridi">Seif Haridi</a>, <a class="lpdoc-idx-anchor" id="69" href="debugger_doc.html#Mats Carlsson">Mats Carlsson</a>, and colleagues at SICS for allowing the SICStus 0.5-0.7 components in <a class="lpdoc-idx-anchor" id="70" href="ciaosearch.html#&-Prolog"><em>&-Prolog</em></a> and its successor, Ciao, to be distributed freely. Parts of the parallel abstract machine have been developed in collaboration with <a class="lpdoc-idx-anchor" id="71" href="ciaosearch.html#Gopal Gupta">Gopal Gupta</a> and <a class="lpdoc-idx-anchor" id="72" href="ciaosearch.html#Enrico Pontelli">Enrico Pontelli</a> (<a class="lpdoc-idx-anchor" id="73" href="ciaosearch.html#New Mexico State University"><em>New Mexico State University</em></a>).<p><li>Several aspects of the analyzers in the <a class="lpdoc-idx-anchor" id="74" href="ciaosearch.html#Ciao preprocessor"><em>Ciao preprocessor</em></a> (<a class="lpdoc-idx-anchor" id="75" href="ciaosearch.html#ciaopp"><tt>ciaopp</tt></a>) have been developed in collaboration with <a class="lpdoc-idx-anchor" id="76" href="ciaosearch.html#Peter Stuckey">Peter Stuckey</a> (<a class="lpdoc-idx-anchor" id="77" href="ciaosearch.html#Melbourne U."><em>Melbourne U.</em></a>), <a class="lpdoc-idx-anchor" id="78" href="ciaosearch.html#Kim Marriott">Kim Marriott</a> (<a class="lpdoc-idx-anchor" id="79" href="ciaosearch.html#Monash U."><em>Monash U.</em></a>), <a class="lpdoc-idx-anchor" id="80" href="ciaosearch.html#Maurice Bruynooghe">Maurice Bruynooghe</a>, <a class="lpdoc-idx-anchor" id="81" href="ciaosearch.html#Gerda Janssens">Gerda Janssens</a>, <a class="lpdoc-idx-anchor" id="82" href="ciaosearch.html#Anne Mulkers">Anne Mulkers</a>, and <a class="lpdoc-idx-anchor" id="83" href="ciaosearch.html#Veroniek Dumortier">Veroniek Dumortier</a> (<a class="lpdoc-idx-anchor" id="84" href="ciaosearch.html#K.U. Leuven"><em>K.U. Leuven</em></a>), and <a class="lpdoc-idx-anchor" id="85" href="ciaosearch.html#Saumya Debray">Saumya Debray</a> (<a class="lpdoc-idx-anchor" id="86" href="ciaosearch.html#U. of Arizona"><em>U. of Arizona</em></a>). The assertion system has been developed in collaboration with <a class="lpdoc-idx-anchor" id="87" href="ciaosearch.html#Jan Maluzynski">Jan Maluzynski</a> and <a class="lpdoc-idx-anchor" id="88" href="ciaosearch.html#Wlodek Drabent">Wlodek Drabent</a> (<a class="lpdoc-idx-anchor" id="89" href="ciaosearch.html#Linkoping U."><em>Linkoping U.</em></a>) and <a class="lpdoc-idx-anchor" id="90" href="ciaosearch.html#Pierre Deransart">Pierre Deransart</a> (<a class="lpdoc-idx-anchor" id="91" href="ciaosearch.html#INRIA"><em>INRIA</em></a>). Some parts of the type inference system derive from systems developed by <a class="lpdoc-idx-anchor" id="92" href="ciaosearch.html#John Gallagher">John Gallagher</a> [<a class="lpdoc-idx-anchor" id="93" href="ciaorefs.html#gallagher-types-iclp94">GdW94</a>] (<a class="lpdoc-idx-anchor" id="94" href="ciaosearch.html#Bristol University"><em>Bristol University</em></a>) and later adapted to CLP(FD) by <a class="lpdoc-idx-anchor" id="95" href="ciaosearch.html#Pawel Pietrzak">Pawel Pietrzak</a> (<a class="lpdoc-idx-anchor" id="96" href="ciaosearch.html#Linkoping U."><em>Linkoping U.</em></a>).<p><li>The constraint solvers for <em>R</em> and <em>Q</em> are derived from the code developed by <a class="lpdoc-idx-anchor" id="97" href="ciaosearch.html#Christian Holzbauer">Christian Holzbauer</a> (<a class="lpdoc-idx-anchor" id="98" href="ciaosearch.html#Austrian Research Institute for AI"><em>Austrian Research Institute for AI</em></a> in Vienna) [<a class="lpdoc-idx-anchor" id="99" href="ciaorefs.html#holzbaur-clone">Hol94</a>,<a class="lpdoc-idx-anchor" id="100" href="ciaorefs.html#holzbaur-phd">Hol90</a>,<a class="lpdoc-idx-anchor" id="101" href="ciaorefs.html#holzbaur-plilp92">Hol92</a>].<p><li>The Ciao manuals include material from the <a class="lpdoc-idx-anchor" id="102" href="ciaosearch.html#DECsystem-10 Prolog User's Manual"><em>DECsystem-10 Prolog User's Manual</em></a> by <a class="lpdoc-idx-anchor" id="103" href="ciaosearch.html#D.L. Bowen">D.L. Bowen</a> (editor), <a class="lpdoc-idx-anchor" id="104" href="ciaosearch.html#L. Byrd">L. Byrd</a>, <a class="lpdoc-idx-anchor" id="105" href="ciaosearch.html#F.C.N. Pereira">F.C.N. Pereira</a>, <a class="lpdoc-idx-anchor" id="106" href="ciaosearch.html#L.M. Pereira">L.M. Pereira</a>, and <a class="lpdoc-idx-anchor" id="107" href="ciaosearch.html#D.H.D. Warren">D.H.D. Warren</a> [<a class="lpdoc-idx-anchor" id="108" href="ciaorefs.html#BoByPeWa81">BBP81</a>]. They also contain material from the SICStus Prolog user manuals for SICStus versions 0.5-0.7 by <a class="lpdoc-idx-anchor" id="109" href="debugger_doc.html#Mats Carlsson">Mats Carlsson</a> and <a class="lpdoc-idx-anchor" id="110" href="ciaosearch.html#Johan Widen">Johan Widen</a> [<a class="lpdoc-idx-anchor" id="111" href="ciaorefs.html#Sicstus">Car88</a>], as well as from the Prolog ISO standard documentation [<a class="lpdoc-idx-anchor" id="112" href="ciaorefs.html#iso-prolog">DEDC96</a>].<p><p></ul> <p>If you feel you have contributed to the development of Ciao and we have forgotten to add your name to this list or to the acknowledgements given in the different chapters and indices, please let us know and we will be glad to give proper credits.<p> <p></div><br/></div><div class="lpdoc-footer">Generated with LPdoc using Ciao</div></div><div class="lpdoc-clearer"></div></div></body></html>