Sophie: ciao-1.10p8-3mdv2010.0 i586

ciao-1.10p8-3mdv2010.0.i586.rpm

<HTML>
<HEAD>
<!-- Created by texi2html 1.56k + clip patches and <A href="http://www.clip.dia.fi.upm.es/Software">lpdoc</A> from ciao.texi on 28 January 2007 -->

<LINK rel="stylesheet" href="ciao.css" type="text/css">
<TITLE>The Ciao Prolog System               - Table of Contents</TITLE>
</HEAD>
<BODY> 
<div class="title">
<h1 class="title">The Ciao Prolog System                 </h1>
<ADDRESS><B><EM>A Next Generation Multi-Paradigm Programming Environment</EM></B></ADDRESS>
<ADDRESS><B>REFERENCE MANUAL</B></ADDRESS>
<ADDRESS><B><STRONG>The Ciao System Documentation Series</STRONG></B></ADDRESS>
<ADDRESS><B><A HREF="http://www.ciaohome.org/">http://www.ciaohome.org/</A></B></ADDRESS>
<ADDRESS><B><EM>Generated/Printed on:</EM> 28 January 2007 </B></ADDRESS>
<ADDRESS><B>Technical Report CLIP 3/97-<EM>&#60;version below&#62;</EM></B></ADDRESS>
<ADDRESS><B>Version 1.10#8 (2007/1/28, 17:30:3 CEST)</B></ADDRESS>
<P><ADDRESS><EM>Edited by:</EM></ADDRESS>
<ADDRESS>F. Bueno</ADDRESS>
<ADDRESS>D. Cabeza</ADDRESS>
<ADDRESS>M. Carro</ADDRESS>
<ADDRESS>M. Hermenegildo</ADDRESS>
<ADDRESS>P. L&oacute;pez</ADDRESS>
<ADDRESS>G. Puebla</ADDRESS>
<ADDRESS></ADDRESS>
<ADDRESS>The Computational logic, Languages, </ADDRESS>
<ADDRESS>Implementation, and Parallelism (CLIP) Group</ADDRESS>
<ADDRESS><A HREF="mailto:webmaster@clip.dia.fi.upm.es">webmaster@clip.dia.fi.upm.es</A></ADDRESS>
<ADDRESS><A HREF="http://www.cliplab.org/">http://www.cliplab.org/</A></ADDRESS>
<ADDRESS>School of CS, Technical University of Madrid</ADDRESS>
<ADDRESS>CS and ECE Departments, University of New Mexico</ADDRESS>
</div>
<P>
<P><HR><P>
<UL>
<LI><A NAME="TOC1" HREF="ciao_1.html#SEC1">Summary</A>
<LI><A NAME="TOC2" HREF="ciao_2.html#SEC2">Introduction</A>
<UL>
<LI><A NAME="TOC3" HREF="ciao_2.html#SEC3">About this manual</A>
<LI><A NAME="TOC4" HREF="ciao_2.html#SEC4">About the Ciao Prolog development system</A>
<LI><A NAME="TOC5" HREF="ciao_2.html#SEC5">ISO-Prolog compliance versus extensibility</A>
<LI><A NAME="TOC6" HREF="ciao_2.html#SEC6">About the name of the System</A>
<LI><A NAME="TOC7" HREF="ciao_2.html#SEC7">Referring to Ciao</A>
<LI><A NAME="TOC8" HREF="ciao_2.html#SEC8">Syntax terminology and notational conventions</A>
<UL>
<LI><A NAME="TOC9" HREF="ciao_2.html#SEC9">Predicates and their components</A>
<LI><A NAME="TOC10" HREF="ciao_2.html#SEC10">Characters and character strings</A>
<LI><A NAME="TOC11" HREF="ciao_2.html#SEC11">Predicate specs</A>
<LI><A NAME="TOC12" HREF="ciao_2.html#SEC12">Modes</A>
<LI><A NAME="TOC13" HREF="ciao_2.html#SEC13">Properties and types</A>
<LI><A NAME="TOC14" HREF="ciao_2.html#SEC14">Declarations</A>
<LI><A NAME="TOC15" HREF="ciao_2.html#SEC15">Operators</A>
</UL>
<LI><A NAME="TOC16" HREF="ciao_2.html#SEC16">A tour of the manual</A>
<UL>
<LI><A NAME="TOC17" HREF="ciao_2.html#SEC17">PART I - The program development environment</A>
<LI><A NAME="TOC18" HREF="ciao_2.html#SEC18">PART II - The Ciao basic language (engine)</A>
<LI><A NAME="TOC19" HREF="ciao_2.html#SEC19">PART III - ISO-Prolog library (iso)</A>
<LI><A NAME="TOC20" HREF="ciao_2.html#SEC20">PART IV - Classic Prolog library (classic)</A>
<LI><A NAME="TOC21" HREF="ciao_2.html#SEC21">PART V - Annotated Prolog library (assertions)</A>
<LI><A NAME="TOC22" HREF="ciao_2.html#SEC22">PART VI - Ciao Prolog library miscellanea</A>
<LI><A NAME="TOC23" HREF="ciao_2.html#SEC23">PART VII - Ciao Prolog extensions</A>
<LI><A NAME="TOC24" HREF="ciao_2.html#SEC24">PART VIII - Interfaces to other languages and systems</A>
<LI><A NAME="TOC25" HREF="ciao_2.html#SEC25">PART IX - Abstract data types</A>
<LI><A NAME="TOC26" HREF="ciao_2.html#SEC26">PART X - Miscellaneous standalone utilities</A>
<LI><A NAME="TOC27" HREF="ciao_2.html#SEC27">PART XI - Contributed libraries</A>
<LI><A NAME="TOC28" HREF="ciao_2.html#SEC28">PART XII - Appendices</A>
</UL>
<LI><A NAME="TOC29" HREF="ciao_2.html#SEC29">Acknowledgments</A>
<LI><A NAME="TOC30" HREF="ciao_2.html#SEC30">Version/Change Log (<CODE>ciao</CODE>)</A>
</UL>
<LI><A NAME="TOC31" HREF="ciao_3.html#SEC31">Getting started on Un*x-like machines</A>
<UL>
<LI><A NAME="TOC32" HREF="ciao_3.html#SEC32">Testing your Ciao Un*x installation</A>
<LI><A NAME="TOC33" HREF="ciao_3.html#SEC33">Un*x user setup</A>
<LI><A NAME="TOC34" HREF="ciao_3.html#SEC34">Using Ciao from a Un*x command shell</A>
<UL>
<LI><A NAME="TOC35" HREF="ciao_3.html#SEC35">Starting/exiting the top-level shell (Un*x)</A>
<LI><A NAME="TOC36" HREF="ciao_3.html#SEC36">Getting help (Un*x)</A>
<LI><A NAME="TOC37" HREF="ciao_3.html#SEC37">Compiling and running programs (Un*x)</A>
<LI><A NAME="TOC38" HREF="ciao_3.html#SEC38">Generating executables (Un*x)</A>
<LI><A NAME="TOC39" HREF="ciao_3.html#SEC39">Running Ciao scripts (Un*x)</A>
<LI><A NAME="TOC40" HREF="ciao_3.html#SEC40">The Ciao initialization file (Un*x)</A>
<LI><A NAME="TOC41" HREF="ciao_3.html#SEC41">Printing manuals (Un*x)</A>
</UL>
<LI><A NAME="TOC42" HREF="ciao_3.html#SEC42">An introduction to the Ciao emacs environment (Un*x)</A>
<LI><A NAME="TOC43" HREF="ciao_3.html#SEC43">Keeping up to date (Un*x)</A>
</UL>
<LI><A NAME="TOC44" HREF="ciao_4.html#SEC44">Getting started on Windows machines</A>
<UL>
<LI><A NAME="TOC45" HREF="ciao_4.html#SEC45">Testing your Ciao Win32 installation</A>
<LI><A NAME="TOC46" HREF="ciao_4.html#SEC46">Using Ciao from the Windows explorer and command shell</A>
<UL>
<LI><A NAME="TOC47" HREF="ciao_4.html#SEC47">Starting/exiting the top-level shell (Win32)</A>
<LI><A NAME="TOC48" HREF="ciao_4.html#SEC48">Getting help (Win32)</A>
<LI><A NAME="TOC49" HREF="ciao_4.html#SEC49">Compiling and running programs (Win32)</A>
<LI><A NAME="TOC50" HREF="ciao_4.html#SEC50">Generating executables (Win32)</A>
<LI><A NAME="TOC51" HREF="ciao_4.html#SEC51">Running Ciao scripts (Win32)</A>
<LI><A NAME="TOC52" HREF="ciao_4.html#SEC52">The Ciao initialization file (Win32)</A>
<LI><A NAME="TOC53" HREF="ciao_4.html#SEC53">Printing manuals (Win32)</A>
</UL>
<LI><A NAME="TOC54" HREF="ciao_4.html#SEC54">An introduction to the Ciao emacs environment (Win32)</A>
<LI><A NAME="TOC55" HREF="ciao_4.html#SEC55">Keeping up to date (Win32)</A>
</UL>
<LI><A NAME="TOC56" HREF="ciao_5.html#SEC56">PART I - The program development environment</A>
<LI><A NAME="TOC57" HREF="ciao_6.html#SEC57">The stand-alone command-line compiler</A>
<UL>
<LI><A NAME="TOC58" HREF="ciao_6.html#SEC58">Introduction to building executables</A>
<LI><A NAME="TOC59" HREF="ciao_6.html#SEC59">Paths used by the compiler during compilation</A>
<LI><A NAME="TOC60" HREF="ciao_6.html#SEC60">Running executables from the command line</A>
<LI><A NAME="TOC61" HREF="ciao_6.html#SEC61">Types of executables generated</A>
<LI><A NAME="TOC62" HREF="ciao_6.html#SEC62">Environment variables used by Ciao executables</A>
<LI><A NAME="TOC63" HREF="ciao_6.html#SEC63">Intermediate files in the compilation process</A>
<LI><A NAME="TOC64" HREF="ciao_6.html#SEC64">Usage (ciaoc)</A>
</UL>
<LI><A NAME="TOC65" HREF="ciao_7.html#SEC65">The interactive top-level shell</A>
<UL>
<LI><A NAME="TOC66" HREF="ciao_7.html#SEC66">Shell invocation and startup</A>
<LI><A NAME="TOC67" HREF="ciao_7.html#SEC67">Shell interaction</A>
<LI><A NAME="TOC68" HREF="ciao_7.html#SEC68">Entering recursive (conjunctive) shell levels</A>
<LI><A NAME="TOC69" HREF="ciao_7.html#SEC69">Usage and interface (<CODE>ciaosh</CODE>)</A>
<LI><A NAME="TOC70" HREF="ciao_7.html#SEC70">Documentation on exports (<CODE>ciaosh</CODE>)</A>
<LI><A NAME="TOC71" HREF="ciao_7.html#SEC71">Documentation on internals (<CODE>ciaosh</CODE>)</A>
</UL>
<LI><A NAME="TOC72" HREF="ciao_8.html#SEC72">The interactive debugger</A>
<UL>
<LI><A NAME="TOC73" HREF="ciao_8.html#SEC73">Marking modules and files for debugging in the top-level debugger</A>
<LI><A NAME="TOC74" HREF="ciao_8.html#SEC74">The debugging process</A>
<LI><A NAME="TOC75" HREF="ciao_8.html#SEC75">Marking modules and files for debugging with the embedded debugger</A>
<LI><A NAME="TOC76" HREF="ciao_8.html#SEC76">The procedure box control flow model</A>
<LI><A NAME="TOC77" HREF="ciao_8.html#SEC77">Format of debugging messages</A>
<LI><A NAME="TOC78" HREF="ciao_8.html#SEC78">Options available during debugging</A>
<LI><A NAME="TOC79" HREF="ciao_8.html#SEC79">Calling predicates that are not exported by a module</A>
<LI><A NAME="TOC80" HREF="ciao_8.html#SEC80">Acknowledgements</A>
</UL>
<LI><A NAME="TOC81" HREF="ciao_9.html#SEC81">Predicates controlling the interactive debugger</A>
<UL>
<LI><A NAME="TOC82" HREF="ciao_9.html#SEC82">Usage and interface (<CODE>debugger</CODE>)</A>
<LI><A NAME="TOC83" HREF="ciao_9.html#SEC83">Documentation on exports (<CODE>debugger</CODE>)</A>
<LI><A NAME="TOC84" HREF="ciao_9.html#SEC84">Documentation on internals (<CODE>debugger</CODE>)</A>
<LI><A NAME="TOC85" HREF="ciao_9.html#SEC85">Known bugs and planned improvements (<CODE>debugger</CODE>)</A>
</UL>
<LI><A NAME="TOC86" HREF="ciao_10.html#SEC86">The script interpreter</A>
<UL>
<LI><A NAME="TOC87" HREF="ciao_10.html#SEC87">How it works</A>
<LI><A NAME="TOC88" HREF="ciao_10.html#SEC88">Command line arguments in scripts</A>
</UL>
<LI><A NAME="TOC89" HREF="ciao_11.html#SEC89">Customizing library paths and path aliases</A>
<UL>
<LI><A NAME="TOC90" HREF="ciao_11.html#SEC90">Usage and interface (<CODE>libpaths</CODE>)</A>
<LI><A NAME="TOC91" HREF="ciao_11.html#SEC91">Documentation on exports (<CODE>libpaths</CODE>)</A>
<LI><A NAME="TOC92" HREF="ciao_11.html#SEC92">Documentation on multifiles (<CODE>libpaths</CODE>)</A>
</UL>
<LI><A NAME="TOC93" HREF="ciao_12.html#SEC93">Using Ciao inside GNU emacs</A>
<UL>
<LI><A NAME="TOC94" HREF="ciao_12.html#SEC94">Conventions for writing Ciao programs under Emacs</A>
<LI><A NAME="TOC95" HREF="ciao_12.html#SEC95">Checking the installation</A>
<LI><A NAME="TOC96" HREF="ciao_12.html#SEC96">Functionality and associated key sequences (bindings)</A>
<LI><A NAME="TOC97" HREF="ciao_12.html#SEC97">Syntax coloring and syntax-based editing</A>
<LI><A NAME="TOC98" HREF="ciao_12.html#SEC98">Getting on-line help</A>
<LI><A NAME="TOC99" HREF="ciao_12.html#SEC99">Loading and compiling programs</A>
<LI><A NAME="TOC100" HREF="ciao_12.html#SEC100">Commands available in toplevel and preprocessor buffers</A>
<LI><A NAME="TOC101" HREF="ciao_12.html#SEC101">Locating errors and checking the syntax of assertions</A>
<LI><A NAME="TOC102" HREF="ciao_12.html#SEC102">Commands which help typing in programs</A>
<LI><A NAME="TOC103" HREF="ciao_12.html#SEC103">Debugging programs</A>
<LI><A NAME="TOC104" HREF="ciao_12.html#SEC104">Preprocessing programs</A>
<LI><A NAME="TOC105" HREF="ciao_12.html#SEC105">Version control</A>
<LI><A NAME="TOC106" HREF="ciao_12.html#SEC106">Generating program documentation</A>
<LI><A NAME="TOC107" HREF="ciao_12.html#SEC107">Setting top level preprocessor and documenter executables</A>
<LI><A NAME="TOC108" HREF="ciao_12.html#SEC108">Other commands</A>
<LI><A NAME="TOC109" HREF="ciao_12.html#SEC109">Traditional Prolog Mode Commands</A>
<LI><A NAME="TOC110" HREF="ciao_12.html#SEC110">Coexistence with other Prolog interfaces</A>
<LI><A NAME="TOC111" HREF="ciao_12.html#SEC111">Getting the Ciao/Prolog mode version</A>
<LI><A NAME="TOC112" HREF="ciao_12.html#SEC112">Using Ciao/Prolog mode capabilities in standard shells</A>
<LI><A NAME="TOC113" HREF="ciao_12.html#SEC113">Customization</A>
<UL>
<LI><A NAME="TOC114" HREF="ciao_12.html#SEC114">Ciao general variables</A>
<LI><A NAME="TOC115" HREF="ciao_12.html#SEC115">CiaoPP variables</A>
<LI><A NAME="TOC116" HREF="ciao_12.html#SEC116">LPdoc variables</A>
<LI><A NAME="TOC117" HREF="ciao_12.html#SEC117">Faces used in syntax-based highlighting (coloring)</A>
</UL>
<LI><A NAME="TOC118" HREF="ciao_12.html#SEC118">Installation of the Ciao/Prolog emacs interface</A>
<LI><A NAME="TOC119" HREF="ciao_12.html#SEC119">Emacs version compatibility</A>
<LI><A NAME="TOC120" HREF="ciao_12.html#SEC120">Acknowledgments (ciao.el)</A>
</UL>
<LI><A NAME="TOC121" HREF="ciao_13.html#SEC121">PART II - The Ciao basic language (engine)</A>
<LI><A NAME="TOC122" HREF="ciao_14.html#SEC122">The module system</A>
<UL>
<LI><A NAME="TOC123" HREF="ciao_14.html#SEC123">Usage and interface (<CODE>modules</CODE>)</A>
<LI><A NAME="TOC124" HREF="ciao_14.html#SEC124">Documentation on internals (<CODE>modules</CODE>)</A>
</UL>
<LI><A NAME="TOC125" HREF="ciao_15.html#SEC125">Directives for using code in other files</A>
<UL>
<LI><A NAME="TOC126" HREF="ciao_15.html#SEC126">Usage and interface (<CODE>loading_code</CODE>)</A>
<LI><A NAME="TOC127" HREF="ciao_15.html#SEC127">Documentation on internals (<CODE>loading_code</CODE>)</A>
</UL>
<LI><A NAME="TOC128" HREF="ciao_16.html#SEC128">Control constructs/predicates</A>
<UL>
<LI><A NAME="TOC129" HREF="ciao_16.html#SEC129">Usage and interface (<CODE>basiccontrol</CODE>)</A>
<LI><A NAME="TOC130" HREF="ciao_16.html#SEC130">Documentation on exports (<CODE>basiccontrol</CODE>)</A>
<LI><A NAME="TOC131" HREF="ciao_16.html#SEC131">Documentation on internals (<CODE>basiccontrol</CODE>)</A>
</UL>
<LI><A NAME="TOC132" HREF="ciao_17.html#SEC132">Basic builtin directives</A>
<UL>
<LI><A NAME="TOC133" HREF="ciao_17.html#SEC133">Usage and interface (<CODE>builtin_directives</CODE>)</A>
<LI><A NAME="TOC134" HREF="ciao_17.html#SEC134">Documentation on internals (<CODE>builtin_directives</CODE>)</A>
</UL>
<LI><A NAME="TOC135" HREF="ciao_18.html#SEC135">Basic data types and properties</A>
<UL>
<LI><A NAME="TOC136" HREF="ciao_18.html#SEC136">Usage and interface (<CODE>basic_props</CODE>)</A>
<LI><A NAME="TOC137" HREF="ciao_18.html#SEC137">Documentation on exports (<CODE>basic_props</CODE>)</A>
</UL>
<LI><A NAME="TOC138" HREF="ciao_19.html#SEC138">Extra-logical properties for typing</A>
<UL>
<LI><A NAME="TOC139" HREF="ciao_19.html#SEC139">Usage and interface (<CODE>term_typing</CODE>)</A>
<LI><A NAME="TOC140" HREF="ciao_19.html#SEC140">Documentation on exports (<CODE>term_typing</CODE>)</A>
</UL>
<LI><A NAME="TOC141" HREF="ciao_20.html#SEC141">Basic term manipulation</A>
<UL>
<LI><A NAME="TOC142" HREF="ciao_20.html#SEC142">Usage and interface (<CODE>term_basic</CODE>)</A>
<LI><A NAME="TOC143" HREF="ciao_20.html#SEC143">Documentation on exports (<CODE>term_basic</CODE>)</A>
</UL>
<LI><A NAME="TOC144" HREF="ciao_21.html#SEC144">Comparing terms</A>
<UL>
<LI><A NAME="TOC145" HREF="ciao_21.html#SEC145">Usage and interface (<CODE>term_compare</CODE>)</A>
<LI><A NAME="TOC146" HREF="ciao_21.html#SEC146">Documentation on exports (<CODE>term_compare</CODE>)</A>
</UL>
<LI><A NAME="TOC147" HREF="ciao_22.html#SEC147">Basic predicates handling names of constants</A>
<UL>
<LI><A NAME="TOC148" HREF="ciao_22.html#SEC148">Usage and interface (<CODE>atomic_basic</CODE>)</A>
<LI><A NAME="TOC149" HREF="ciao_22.html#SEC149">Documentation on exports (<CODE>atomic_basic</CODE>)</A>
</UL>
<LI><A NAME="TOC150" HREF="ciao_23.html#SEC150">Arithmetic</A>
<UL>
<LI><A NAME="TOC151" HREF="ciao_23.html#SEC151">Usage and interface (<CODE>arithmetic</CODE>)</A>
<LI><A NAME="TOC152" HREF="ciao_23.html#SEC152">Documentation on exports (<CODE>arithmetic</CODE>)</A>
</UL>
<LI><A NAME="TOC153" HREF="ciao_24.html#SEC153">Basic file/stream handling</A>
<UL>
<LI><A NAME="TOC154" HREF="ciao_24.html#SEC154">Usage and interface (<CODE>streams_basic</CODE>)</A>
<LI><A NAME="TOC155" HREF="ciao_24.html#SEC155">Documentation on exports (<CODE>streams_basic</CODE>)</A>
<LI><A NAME="TOC156" HREF="ciao_24.html#SEC156">Documentation on multifiles (<CODE>streams_basic</CODE>)</A>
</UL>
<LI><A NAME="TOC157" HREF="ciao_25.html#SEC157">Basic input/output</A>
<UL>
<LI><A NAME="TOC158" HREF="ciao_25.html#SEC158">Usage and interface (<CODE>io_basic</CODE>)</A>
<LI><A NAME="TOC159" HREF="ciao_25.html#SEC159">Documentation on exports (<CODE>io_basic</CODE>)</A>
</UL>
<LI><A NAME="TOC160" HREF="ciao_26.html#SEC160">Exception handling</A>
<UL>
<LI><A NAME="TOC161" HREF="ciao_26.html#SEC161">Usage and interface (<CODE>exceptions</CODE>)</A>
<LI><A NAME="TOC162" HREF="ciao_26.html#SEC162">Documentation on exports (<CODE>exceptions</CODE>)</A>
</UL>
<LI><A NAME="TOC163" HREF="ciao_27.html#SEC163">Changing system behaviour and various flags</A>
<UL>
<LI><A NAME="TOC164" HREF="ciao_27.html#SEC164">Usage and interface (<CODE>prolog_flags</CODE>)</A>
<LI><A NAME="TOC165" HREF="ciao_27.html#SEC165">Documentation on exports (<CODE>prolog_flags</CODE>)</A>
<LI><A NAME="TOC166" HREF="ciao_27.html#SEC166">Documentation on multifiles (<CODE>prolog_flags</CODE>)</A>
</UL>
<LI><A NAME="TOC167" HREF="ciao_28.html#SEC167">Fast/concurrent update of facts</A>
<UL>
<LI><A NAME="TOC168" HREF="ciao_28.html#SEC168">Usage and interface (<CODE>data_facts</CODE>)</A>
<LI><A NAME="TOC169" HREF="ciao_28.html#SEC169">Documentation on exports (<CODE>data_facts</CODE>)</A>
<LI><A NAME="TOC170" HREF="ciao_28.html#SEC170">Documentation on internals (<CODE>data_facts</CODE>)</A>
</UL>
<LI><A NAME="TOC171" HREF="ciao_29.html#SEC171">Extending the syntax</A>
<UL>
<LI><A NAME="TOC172" HREF="ciao_29.html#SEC172">Usage and interface (<CODE>syntax_extensions</CODE>)</A>
<LI><A NAME="TOC173" HREF="ciao_29.html#SEC173">Documentation on internals (<CODE>syntax_extensions</CODE>)</A>
</UL>
<LI><A NAME="TOC174" HREF="ciao_30.html#SEC174">Message printing primitives</A>
<UL>
<LI><A NAME="TOC175" HREF="ciao_30.html#SEC175">Usage and interface (<CODE>io_aux</CODE>)</A>
<LI><A NAME="TOC176" HREF="ciao_30.html#SEC176">Documentation on exports (<CODE>io_aux</CODE>)</A>
<LI><A NAME="TOC177" HREF="ciao_30.html#SEC177">Known bugs and planned improvements (<CODE>io_aux</CODE>)</A>
</UL>
<LI><A NAME="TOC178" HREF="ciao_31.html#SEC178">Attributed variables</A>
<UL>
<LI><A NAME="TOC179" HREF="ciao_31.html#SEC179">Usage and interface (<CODE>attributes</CODE>)</A>
<LI><A NAME="TOC180" HREF="ciao_31.html#SEC180">Documentation on exports (<CODE>attributes</CODE>)</A>
<LI><A NAME="TOC181" HREF="ciao_31.html#SEC181">Documentation on multifiles (<CODE>attributes</CODE>)</A>
<LI><A NAME="TOC182" HREF="ciao_31.html#SEC182">Other information (<CODE>attributes</CODE>)</A>
</UL>
<LI><A NAME="TOC183" HREF="ciao_32.html#SEC183">Gathering some basic internal info</A>
<UL>
<LI><A NAME="TOC184" HREF="ciao_32.html#SEC184">Usage and interface (<CODE>system_info</CODE>)</A>
<LI><A NAME="TOC185" HREF="ciao_32.html#SEC185">Documentation on exports (<CODE>system_info</CODE>)</A>
<LI><A NAME="TOC186" HREF="ciao_32.html#SEC186">Documentation on internals (<CODE>system_info</CODE>)</A>
</UL>
<LI><A NAME="TOC187" HREF="ciao_33.html#SEC187">Other predicates and features defined by default</A>
<UL>
<LI><A NAME="TOC188" HREF="ciao_33.html#SEC188">Usage and interface (<CODE>default_predicates</CODE>)</A>
<LI><A NAME="TOC189" HREF="ciao_33.html#SEC189">Documentation on exports (<CODE>default_predicates</CODE>)</A>
</UL>
<LI><A NAME="TOC190" HREF="ciao_34.html#SEC190">PART III - ISO-Prolog library (iso)</A>
<LI><A NAME="TOC191" HREF="ciao_35.html#SEC191">ISO-Prolog package</A>
<UL>
<LI><A NAME="TOC192" HREF="ciao_35.html#SEC192">Usage and interface (<CODE>iso</CODE>)</A>
</UL>
<LI><A NAME="TOC193" HREF="ciao_36.html#SEC193">All solutions predicates</A>
<UL>
<LI><A NAME="TOC194" HREF="ciao_36.html#SEC194">Usage and interface (<CODE>aggregates</CODE>)</A>
<LI><A NAME="TOC195" HREF="ciao_36.html#SEC195">Documentation on exports (<CODE>aggregates</CODE>)</A>
</UL>
<LI><A NAME="TOC196" HREF="ciao_37.html#SEC196">Dynamic predicates</A>
<UL>
<LI><A NAME="TOC197" HREF="ciao_37.html#SEC197">Usage and interface (<CODE>dynamic</CODE>)</A>
<LI><A NAME="TOC198" HREF="ciao_37.html#SEC198">Documentation on exports (<CODE>dynamic</CODE>)</A>
<LI><A NAME="TOC199" HREF="ciao_37.html#SEC199">Documentation on multifiles (<CODE>dynamic</CODE>)</A>
</UL>
<LI><A NAME="TOC200" HREF="ciao_38.html#SEC200">Term input</A>
<UL>
<LI><A NAME="TOC201" HREF="ciao_38.html#SEC201">Usage and interface (<CODE>read</CODE>)</A>
<LI><A NAME="TOC202" HREF="ciao_38.html#SEC202">Documentation on exports (<CODE>read</CODE>)</A>
<LI><A NAME="TOC203" HREF="ciao_38.html#SEC203">Documentation on multifiles (<CODE>read</CODE>)</A>
<LI><A NAME="TOC204" HREF="ciao_38.html#SEC204">Documentation on internals (<CODE>read</CODE>)</A>
<LI><A NAME="TOC205" HREF="ciao_38.html#SEC205">Known bugs and planned improvements (<CODE>read</CODE>)</A>
</UL>
<LI><A NAME="TOC206" HREF="ciao_39.html#SEC206">Term output</A>
<UL>
<LI><A NAME="TOC207" HREF="ciao_39.html#SEC207">Usage and interface (<CODE>write</CODE>)</A>
<LI><A NAME="TOC208" HREF="ciao_39.html#SEC208">Documentation on exports (<CODE>write</CODE>)</A>
<LI><A NAME="TOC209" HREF="ciao_39.html#SEC209">Documentation on multifiles (<CODE>write</CODE>)</A>
</UL>
<LI><A NAME="TOC210" HREF="ciao_40.html#SEC210">Defining operators</A>
<UL>
<LI><A NAME="TOC211" HREF="ciao_40.html#SEC211">Usage and interface (<CODE>operators</CODE>)</A>
<LI><A NAME="TOC212" HREF="ciao_40.html#SEC212">Documentation on exports (<CODE>operators</CODE>)</A>
</UL>
<LI><A NAME="TOC213" HREF="ciao_41.html#SEC213">The Iso Byte Char module</A>
<UL>
<LI><A NAME="TOC214" HREF="ciao_41.html#SEC214">Usage and interface (<CODE>iso_byte_char</CODE>)</A>
<LI><A NAME="TOC215" HREF="ciao_41.html#SEC215">Documentation on exports (<CODE>iso_byte_char</CODE>)</A>
</UL>
<LI><A NAME="TOC216" HREF="ciao_42.html#SEC216">Miscellaneous ISO Prolog predicates</A>
<UL>
<LI><A NAME="TOC217" HREF="ciao_42.html#SEC217">Usage and interface (<CODE>iso_misc</CODE>)</A>
<LI><A NAME="TOC218" HREF="ciao_42.html#SEC218">Documentation on exports (<CODE>iso_misc</CODE>)</A>
</UL>
<LI><A NAME="TOC219" HREF="ciao_43.html#SEC219">Incomplete ISO Prolog predicates</A>
<UL>
<LI><A NAME="TOC220" HREF="ciao_43.html#SEC220">Usage and interface (<CODE>iso_incomplete</CODE>)</A>
<LI><A NAME="TOC221" HREF="ciao_43.html#SEC221">Documentation on exports (<CODE>iso_incomplete</CODE>)</A>
</UL>
<LI><A NAME="TOC222" HREF="ciao_44.html#SEC222">PART IV - Classic Prolog library (classic)</A>
<LI><A NAME="TOC223" HREF="ciao_45.html#SEC223">Definite clause grammars</A>
<UL>
<LI><A NAME="TOC224" HREF="ciao_45.html#SEC224">Usage and interface (<CODE>dcg</CODE>)</A>
</UL>
<LI><A NAME="TOC225" HREF="ciao_46.html#SEC225">Definite clause grammars (expansion)</A>
<UL>
<LI><A NAME="TOC226" HREF="ciao_46.html#SEC226">Usage and interface (<CODE>dcg_expansion</CODE>)</A>
<LI><A NAME="TOC227" HREF="ciao_46.html#SEC227">Documentation on exports (<CODE>dcg_expansion</CODE>)</A>
</UL>
<LI><A NAME="TOC228" HREF="ciao_47.html#SEC228">Formatted output</A>
<UL>
<LI><A NAME="TOC229" HREF="ciao_47.html#SEC229">Usage and interface (<CODE>format</CODE>)</A>
<LI><A NAME="TOC230" HREF="ciao_47.html#SEC230">Documentation on exports (<CODE>format</CODE>)</A>
</UL>
<LI><A NAME="TOC231" HREF="ciao_48.html#SEC231">List processing</A>
<UL>
<LI><A NAME="TOC232" HREF="ciao_48.html#SEC232">Usage and interface (<CODE>lists</CODE>)</A>
<LI><A NAME="TOC233" HREF="ciao_48.html#SEC233">Documentation on exports (<CODE>lists</CODE>)</A>
</UL>
<LI><A NAME="TOC234" HREF="ciao_49.html#SEC234">Sorting lists</A>
<UL>
<LI><A NAME="TOC235" HREF="ciao_49.html#SEC235">Usage and interface (<CODE>sort</CODE>)</A>
<LI><A NAME="TOC236" HREF="ciao_49.html#SEC236">Documentation on exports (<CODE>sort</CODE>)</A>
<LI><A NAME="TOC237" HREF="ciao_49.html#SEC237">Documentation on internals (<CODE>sort</CODE>)</A>
</UL>
<LI><A NAME="TOC238" HREF="ciao_50.html#SEC238">compiler (library)</A>
<UL>
<LI><A NAME="TOC239" HREF="ciao_50.html#SEC239">Usage and interface (<CODE>compiler</CODE>)</A>
<LI><A NAME="TOC240" HREF="ciao_50.html#SEC240">Documentation on exports (<CODE>compiler</CODE>)</A>
</UL>
<LI><A NAME="TOC241" HREF="ciao_51.html#SEC241">Enumeration of integers inside a range</A>
<UL>
<LI><A NAME="TOC242" HREF="ciao_51.html#SEC242">Usage and interface (<CODE>between</CODE>)</A>
<LI><A NAME="TOC243" HREF="ciao_51.html#SEC243">Documentation on exports (<CODE>between</CODE>)</A>
</UL>
<LI><A NAME="TOC244" HREF="ciao_52.html#SEC244">Operating system utilities</A>
<UL>
<LI><A NAME="TOC245" HREF="ciao_52.html#SEC245">Usage and interface (<CODE>system</CODE>)</A>
<LI><A NAME="TOC246" HREF="ciao_52.html#SEC246">Documentation on exports (<CODE>system</CODE>)</A>
<LI><A NAME="TOC247" HREF="ciao_52.html#SEC247">Documentation on multifiles (<CODE>system</CODE>)</A>
<LI><A NAME="TOC248" HREF="ciao_52.html#SEC248">Known bugs and planned improvements (<CODE>system</CODE>)</A>
</UL>
<LI><A NAME="TOC249" HREF="ciao_53.html#SEC249">Prolog system internal predicates</A>
<UL>
<LI><A NAME="TOC250" HREF="ciao_53.html#SEC250">Usage and interface (<CODE>prolog_sys</CODE>)</A>
<LI><A NAME="TOC251" HREF="ciao_53.html#SEC251">Documentation on exports (<CODE>prolog_sys</CODE>)</A>
<LI><A NAME="TOC252" HREF="ciao_53.html#SEC252">Documentation on internals (<CODE>prolog_sys</CODE>)</A>
<LI><A NAME="TOC253" HREF="ciao_53.html#SEC253">Known bugs and planned improvements (<CODE>prolog_sys</CODE>)</A>
</UL>
<LI><A NAME="TOC254" HREF="ciao_54.html#SEC254">DEC-10 Prolog file IO</A>
<UL>
<LI><A NAME="TOC255" HREF="ciao_54.html#SEC255">Usage and interface (<CODE>dec10_io</CODE>)</A>
<LI><A NAME="TOC256" HREF="ciao_54.html#SEC256">Documentation on exports (<CODE>dec10_io</CODE>)</A>
</UL>
<LI><A NAME="TOC257" HREF="ciao_55.html#SEC257">Quintus-like internal database</A>
<UL>
<LI><A NAME="TOC258" HREF="ciao_55.html#SEC258">Usage and interface (<CODE>old_database</CODE>)</A>
<LI><A NAME="TOC259" HREF="ciao_55.html#SEC259">Documentation on exports (<CODE>old_database</CODE>)</A>
</UL>
<LI><A NAME="TOC260" HREF="ciao_56.html#SEC260">ttyout (library)</A>
<UL>
<LI><A NAME="TOC261" HREF="ciao_56.html#SEC261">Usage and interface (<CODE>ttyout</CODE>)</A>
<LI><A NAME="TOC262" HREF="ciao_56.html#SEC262">Documentation on exports (<CODE>ttyout</CODE>)</A>
</UL>
<LI><A NAME="TOC263" HREF="ciao_57.html#SEC263">Enabling operators at run-time</A>
<UL>
<LI><A NAME="TOC264" HREF="ciao_57.html#SEC264">Usage and interface (<CODE>runtime_ops</CODE>)</A>
</UL>
<LI><A NAME="TOC265" HREF="ciao_58.html#SEC265">PART V - Annotated Prolog library (assertions)</A>
<LI><A NAME="TOC266" HREF="ciao_59.html#SEC266">The Ciao assertion package</A>
<UL>
<LI><A NAME="TOC267" HREF="ciao_59.html#SEC267">More info</A>
<LI><A NAME="TOC268" HREF="ciao_59.html#SEC268">Some attention points</A>
<LI><A NAME="TOC269" HREF="ciao_59.html#SEC269">Usage and interface (<CODE>assertions</CODE>)</A>
<LI><A NAME="TOC270" HREF="ciao_59.html#SEC270">Documentation on new declarations (<CODE>assertions</CODE>)</A>
<LI><A NAME="TOC271" HREF="ciao_59.html#SEC271">Documentation on exports (<CODE>assertions</CODE>)</A>
</UL>
<LI><A NAME="TOC272" HREF="ciao_60.html#SEC272">Types and properties related to assertions</A>
<UL>
<LI><A NAME="TOC273" HREF="ciao_60.html#SEC273">Usage and interface (<CODE>assertions_props</CODE>)</A>
<LI><A NAME="TOC274" HREF="ciao_60.html#SEC274">Documentation on exports (<CODE>assertions_props</CODE>)</A>
</UL>
<LI><A NAME="TOC275" HREF="ciao_61.html#SEC275">Declaring regular types</A>
<UL>
<LI><A NAME="TOC276" HREF="ciao_61.html#SEC276">Defining properties</A>
<LI><A NAME="TOC277" HREF="ciao_61.html#SEC277">Usage and interface (<CODE>regtypes</CODE>)</A>
<LI><A NAME="TOC278" HREF="ciao_61.html#SEC278">Documentation on new declarations (<CODE>regtypes</CODE>)</A>
</UL>
<LI><A NAME="TOC279" HREF="ciao_62.html#SEC279">Properties which are native to analyzers</A>
<UL>
<LI><A NAME="TOC280" HREF="ciao_62.html#SEC280">Usage and interface (<CODE>native_props</CODE>)</A>
<LI><A NAME="TOC281" HREF="ciao_62.html#SEC281">Documentation on exports (<CODE>native_props</CODE>)</A>
</UL>
<LI><A NAME="TOC282" HREF="ciao_63.html#SEC282">ISO-Prolog modes</A>
<UL>
<LI><A NAME="TOC283" HREF="ciao_63.html#SEC283">Usage and interface (<CODE>isomodes</CODE>)</A>
<LI><A NAME="TOC284" HREF="ciao_63.html#SEC284">Documentation on new modes (<CODE>isomodes</CODE>)</A>
</UL>
<LI><A NAME="TOC285" HREF="ciao_64.html#SEC285">Classical Prolog modes</A>
<UL>
<LI><A NAME="TOC286" HREF="ciao_64.html#SEC286">Usage and interface (<CODE>basicmodes</CODE>)</A>
<LI><A NAME="TOC287" HREF="ciao_64.html#SEC287">Documentation on new modes (<CODE>basicmodes</CODE>)</A>
</UL>
<LI><A NAME="TOC288" HREF="ciao_65.html#SEC288">Run-time checking of assertions</A>
<UL>
<LI><A NAME="TOC289" HREF="ciao_65.html#SEC289">Usage and interface (<CODE>rtchecks</CODE>)</A>
<LI><A NAME="TOC290" HREF="ciao_65.html#SEC290">Documentation on exports (<CODE>rtchecks</CODE>)</A>
<LI><A NAME="TOC291" HREF="ciao_65.html#SEC291">Documentation on internals (<CODE>rtchecks</CODE>)</A>
<LI><A NAME="TOC292" HREF="ciao_65.html#SEC292">Known bugs and planned improvements (<CODE>rtchecks</CODE>)</A>
</UL>
<LI><A NAME="TOC293" HREF="ciao_66.html#SEC293">PART VI - Ciao Prolog library miscellanea</A>
<LI><A NAME="TOC294" HREF="ciao_67.html#SEC294">Structured stream handling</A>
<UL>
<LI><A NAME="TOC295" HREF="ciao_67.html#SEC295">Usage and interface (<CODE>streams</CODE>)</A>
<LI><A NAME="TOC296" HREF="ciao_67.html#SEC296">Documentation on exports (<CODE>streams</CODE>)</A>
</UL>
<LI><A NAME="TOC297" HREF="ciao_68.html#SEC297">Dictionaries</A>
<UL>
<LI><A NAME="TOC298" HREF="ciao_68.html#SEC298">Usage and interface (<CODE>dict</CODE>)</A>
<LI><A NAME="TOC299" HREF="ciao_68.html#SEC299">Documentation on exports (<CODE>dict</CODE>)</A>
</UL>
<LI><A NAME="TOC300" HREF="ciao_69.html#SEC300">String processing</A>
<UL>
<LI><A NAME="TOC301" HREF="ciao_69.html#SEC301">Usage and interface (<CODE>strings</CODE>)</A>
<LI><A NAME="TOC302" HREF="ciao_69.html#SEC302">Documentation on exports (<CODE>strings</CODE>)</A>
<LI><A NAME="TOC303" HREF="ciao_69.html#SEC303">Documentation on internals (<CODE>strings</CODE>)</A>
</UL>
<LI><A NAME="TOC304" HREF="ciao_70.html#SEC304">Printing status and error messages</A>
<UL>
<LI><A NAME="TOC305" HREF="ciao_70.html#SEC305">Usage and interface (<CODE>messages</CODE>)</A>
<LI><A NAME="TOC306" HREF="ciao_70.html#SEC306">Documentation on exports (<CODE>messages</CODE>)</A>
<LI><A NAME="TOC307" HREF="ciao_70.html#SEC307">Documentation on multifiles (<CODE>messages</CODE>)</A>
<LI><A NAME="TOC308" HREF="ciao_70.html#SEC308">Documentation on internals (<CODE>messages</CODE>)</A>
<LI><A NAME="TOC309" HREF="ciao_70.html#SEC309">Known bugs and planned improvements (<CODE>messages</CODE>)</A>
</UL>
<LI><A NAME="TOC310" HREF="ciao_71.html#SEC310">Accessing and redirecting the stream aliases</A>
<UL>
<LI><A NAME="TOC311" HREF="ciao_71.html#SEC311">Usage and interface (<CODE>io_alias_redirection</CODE>)</A>
<LI><A NAME="TOC312" HREF="ciao_71.html#SEC312">Documentation on exports (<CODE>io_alias_redirection</CODE>)</A>
</UL>
<LI><A NAME="TOC313" HREF="ciao_72.html#SEC313">Atom to term conversion</A>
<UL>
<LI><A NAME="TOC314" HREF="ciao_72.html#SEC314">Usage and interface (<CODE>atom2term</CODE>)</A>
<LI><A NAME="TOC315" HREF="ciao_72.html#SEC315">Documentation on exports (<CODE>atom2term</CODE>)</A>
<LI><A NAME="TOC316" HREF="ciao_72.html#SEC316">Known bugs and planned improvements (<CODE>atom2term</CODE>)</A>
</UL>
<LI><A NAME="TOC317" HREF="ciao_73.html#SEC317">ctrlcclean (library)</A>
<UL>
<LI><A NAME="TOC318" HREF="ciao_73.html#SEC318">Usage and interface (<CODE>ctrlcclean</CODE>)</A>
<LI><A NAME="TOC319" HREF="ciao_73.html#SEC319">Documentation on exports (<CODE>ctrlcclean</CODE>)</A>
</UL>
<LI><A NAME="TOC320" HREF="ciao_74.html#SEC320">errhandle (library)</A>
<UL>
<LI><A NAME="TOC321" HREF="ciao_74.html#SEC321">Usage and interface (<CODE>errhandle</CODE>)</A>
<LI><A NAME="TOC322" HREF="ciao_74.html#SEC322">Documentation on exports (<CODE>errhandle</CODE>)</A>
</UL>
<LI><A NAME="TOC323" HREF="ciao_75.html#SEC323">Fast reading and writing of terms</A>
<UL>
<LI><A NAME="TOC324" HREF="ciao_75.html#SEC324">Usage and interface (<CODE>fastrw</CODE>)</A>
<LI><A NAME="TOC325" HREF="ciao_75.html#SEC325">Documentation on exports (<CODE>fastrw</CODE>)</A>
<LI><A NAME="TOC326" HREF="ciao_75.html#SEC326">Known bugs and planned improvements (<CODE>fastrw</CODE>)</A>
</UL>
<LI><A NAME="TOC327" HREF="ciao_76.html#SEC327">File name manipulation</A>
<UL>
<LI><A NAME="TOC328" HREF="ciao_76.html#SEC328">Usage and interface (<CODE>filenames</CODE>)</A>
<LI><A NAME="TOC329" HREF="ciao_76.html#SEC329">Documentation on exports (<CODE>filenames</CODE>)</A>
</UL>
<LI><A NAME="TOC330" HREF="ciao_77.html#SEC330">Symbolic filenames</A>
<UL>
<LI><A NAME="TOC331" HREF="ciao_77.html#SEC331">Usage and interface (<CODE>symfnames</CODE>)</A>
<LI><A NAME="TOC332" HREF="ciao_77.html#SEC332">Documentation on exports (<CODE>symfnames</CODE>)</A>
<LI><A NAME="TOC333" HREF="ciao_77.html#SEC333">Documentation on multifiles (<CODE>symfnames</CODE>)</A>
<LI><A NAME="TOC334" HREF="ciao_77.html#SEC334">Other information (<CODE>symfnames</CODE>)</A>
</UL>
<LI><A NAME="TOC335" HREF="ciao_78.html#SEC335">File I/O utilities</A>
<UL>
<LI><A NAME="TOC336" HREF="ciao_78.html#SEC336">Usage and interface (<CODE>file_utils</CODE>)</A>
<LI><A NAME="TOC337" HREF="ciao_78.html#SEC337">Documentation on exports (<CODE>file_utils</CODE>)</A>
</UL>
<LI><A NAME="TOC338" HREF="ciao_79.html#SEC338">File locks</A>
<UL>
<LI><A NAME="TOC339" HREF="ciao_79.html#SEC339">Usage and interface (<CODE>file_locks</CODE>)</A>
<LI><A NAME="TOC340" HREF="ciao_79.html#SEC340">Documentation on exports (<CODE>file_locks</CODE>)</A>
<LI><A NAME="TOC341" HREF="ciao_79.html#SEC341">Known bugs and planned improvements (<CODE>file_locks</CODE>)</A>
</UL>
<LI><A NAME="TOC342" HREF="ciao_80.html#SEC342">Term manipulation utilities</A>
<UL>
<LI><A NAME="TOC343" HREF="ciao_80.html#SEC343">Usage and interface (<CODE>terms</CODE>)</A>
<LI><A NAME="TOC344" HREF="ciao_80.html#SEC344">Documentation on exports (<CODE>terms</CODE>)</A>
</UL>
<LI><A NAME="TOC345" HREF="ciao_81.html#SEC345">Term checking utilities</A>
<UL>
<LI><A NAME="TOC346" HREF="ciao_81.html#SEC346">Usage and interface (<CODE>terms_check</CODE>)</A>
<LI><A NAME="TOC347" HREF="ciao_81.html#SEC347">Documentation on exports (<CODE>terms_check</CODE>)</A>
<LI><A NAME="TOC348" HREF="ciao_81.html#SEC348">Other information (<CODE>terms_check</CODE>)</A>
</UL>
<LI><A NAME="TOC349" HREF="ciao_82.html#SEC349">Sets of variables in terms</A>
<UL>
<LI><A NAME="TOC350" HREF="ciao_82.html#SEC350">Usage and interface (<CODE>terms_vars</CODE>)</A>
<LI><A NAME="TOC351" HREF="ciao_82.html#SEC351">Documentation on exports (<CODE>terms_vars</CODE>)</A>
</UL>
<LI><A NAME="TOC352" HREF="ciao_83.html#SEC352">A simple pretty-printer for Ciao programs</A>
<UL>
<LI><A NAME="TOC353" HREF="ciao_83.html#SEC353">Usage and interface (<CODE>pretty_print</CODE>)</A>
<LI><A NAME="TOC354" HREF="ciao_83.html#SEC354">Documentation on exports (<CODE>pretty_print</CODE>)</A>
<LI><A NAME="TOC355" HREF="ciao_83.html#SEC355">Documentation on internals (<CODE>pretty_print</CODE>)</A>
</UL>
<LI><A NAME="TOC356" HREF="ciao_84.html#SEC356">Pretty-printing assertions</A>
<UL>
<LI><A NAME="TOC357" HREF="ciao_84.html#SEC357">Usage and interface (<CODE>assrt_write</CODE>)</A>
<LI><A NAME="TOC358" HREF="ciao_84.html#SEC358">Documentation on exports (<CODE>assrt_write</CODE>)</A>
</UL>
<LI><A NAME="TOC359" HREF="ciao_85.html#SEC359">The Ciao library browser</A>
<UL>
<LI><A NAME="TOC360" HREF="ciao_85.html#SEC360">Usage and interface (<CODE>librowser</CODE>)</A>
<LI><A NAME="TOC361" HREF="ciao_85.html#SEC361">Documentation on exports (<CODE>librowser</CODE>)</A>
<LI><A NAME="TOC362" HREF="ciao_85.html#SEC362">Documentation on internals (<CODE>librowser</CODE>)</A>
</UL>
<LI><A NAME="TOC363" HREF="ciao_86.html#SEC363">Code translation utilities</A>
<UL>
<LI><A NAME="TOC364" HREF="ciao_86.html#SEC364">Usage and interface (<CODE>expansion_tools</CODE>)</A>
<LI><A NAME="TOC365" HREF="ciao_86.html#SEC365">Documentation on exports (<CODE>expansion_tools</CODE>)</A>
<LI><A NAME="TOC366" HREF="ciao_86.html#SEC366">Documentation on internals (<CODE>expansion_tools</CODE>)</A>
<LI><A NAME="TOC367" HREF="ciao_86.html#SEC367">Known bugs and planned improvements (<CODE>expansion_tools</CODE>)</A>
</UL>
<LI><A NAME="TOC368" HREF="ciao_87.html#SEC368">Low-level concurrency/multithreading primitives</A>
<UL>
<LI><A NAME="TOC369" HREF="ciao_87.html#SEC369">Usage and interface (<CODE>concurrency</CODE>)</A>
<LI><A NAME="TOC370" HREF="ciao_87.html#SEC370">Documentation on exports (<CODE>concurrency</CODE>)</A>
<LI><A NAME="TOC371" HREF="ciao_87.html#SEC371">Known bugs and planned improvements (<CODE>concurrency</CODE>)</A>
</UL>
<LI><A NAME="TOC372" HREF="ciao_88.html#SEC372">All solutions concurrent predicates</A>
<UL>
<LI><A NAME="TOC373" HREF="ciao_88.html#SEC373">Usage and interface (<CODE>conc_aggregates</CODE>)</A>
<LI><A NAME="TOC374" HREF="ciao_88.html#SEC374">Documentation on exports (<CODE>conc_aggregates</CODE>)</A>
<LI><A NAME="TOC375" HREF="ciao_88.html#SEC375">Known bugs and planned improvements (<CODE>conc_aggregates</CODE>)</A>
</UL>
<LI><A NAME="TOC376" HREF="ciao_89.html#SEC376">The socket interface</A>
<UL>
<LI><A NAME="TOC377" HREF="ciao_89.html#SEC377">Usage and interface (<CODE>sockets</CODE>)</A>
<LI><A NAME="TOC378" HREF="ciao_89.html#SEC378">Documentation on exports (<CODE>sockets</CODE>)</A>
</UL>
<LI><A NAME="TOC379" HREF="ciao_90.html#SEC379">Sockets I/O</A>
<UL>
<LI><A NAME="TOC380" HREF="ciao_90.html#SEC380">Usage and interface (<CODE>sockets_io</CODE>)</A>
<LI><A NAME="TOC381" HREF="ciao_90.html#SEC381">Documentation on exports (<CODE>sockets_io</CODE>)</A>
</UL>
<LI><A NAME="TOC382" HREF="ciao_91.html#SEC382">The Ciao Make Package</A>
<UL>
<LI><A NAME="TOC383" HREF="ciao_91.html#SEC383">Usage and interface (<CODE>make</CODE>)</A>
<LI><A NAME="TOC384" HREF="ciao_91.html#SEC384">Other information (<CODE>make</CODE>)</A>
<UL>
<LI><A NAME="TOC385" HREF="ciao_91.html#SEC385">The Dependency Rules</A>
<LI><A NAME="TOC386" HREF="ciao_91.html#SEC386">Specifying Paths</A>
<LI><A NAME="TOC387" HREF="ciao_91.html#SEC387">Documenting Rules</A>
<LI><A NAME="TOC388" HREF="ciao_91.html#SEC388">An Example of a Makefile</A>
</UL>
</UL>
<LI><A NAME="TOC389" HREF="ciao_92.html#SEC389">Predicates Available When Using The Make Package</A>
<UL>
<LI><A NAME="TOC390" HREF="ciao_92.html#SEC390">Usage and interface (<CODE>make_rt</CODE>)</A>
<LI><A NAME="TOC391" HREF="ciao_92.html#SEC391">Documentation on exports (<CODE>make_rt</CODE>)</A>
</UL>
<LI><A NAME="TOC392" HREF="ciao_93.html#SEC392">system_extra (library)</A>
<UL>
<LI><A NAME="TOC393" HREF="ciao_93.html#SEC393">Usage and interface (<CODE>system_extra</CODE>)</A>
<LI><A NAME="TOC394" HREF="ciao_93.html#SEC394">Documentation on exports (<CODE>system_extra</CODE>)</A>
</UL>
<LI><A NAME="TOC395" HREF="ciao_94.html#SEC395">PART VII - Ciao Prolog extensions</A>
<LI><A NAME="TOC396" HREF="ciao_95.html#SEC396">Pure Prolog package</A>
<UL>
<LI><A NAME="TOC397" HREF="ciao_95.html#SEC397">Usage and interface (<CODE>pure</CODE>)</A>
<LI><A NAME="TOC398" HREF="ciao_95.html#SEC398">Known bugs and planned improvements (<CODE>pure</CODE>)</A>
</UL>
<LI><A NAME="TOC399" HREF="ciao_96.html#SEC399">Multiple Argument Indexing</A>
<UL>
<LI><A NAME="TOC400" HREF="ciao_96.html#SEC400">Usage and interface (<CODE>indexer</CODE>)</A>
<LI><A NAME="TOC401" HREF="ciao_96.html#SEC401">Documentation on internals (<CODE>indexer</CODE>)</A>
</UL>
<LI><A NAME="TOC402" HREF="ciao_97.html#SEC402">Higher-order</A>
<UL>
<LI><A NAME="TOC403" HREF="ciao_97.html#SEC403">Usage and interface (<CODE>hiord_rt</CODE>)</A>
<LI><A NAME="TOC404" HREF="ciao_97.html#SEC404">Documentation on exports (<CODE>hiord_rt</CODE>)</A>
</UL>
<LI><A NAME="TOC405" HREF="ciao_98.html#SEC405">Higher-order predicates</A>
<UL>
<LI><A NAME="TOC406" HREF="ciao_98.html#SEC406">Usage and interface (<CODE>hiordlib</CODE>)</A>
<LI><A NAME="TOC407" HREF="ciao_98.html#SEC407">Documentation on exports (<CODE>hiordlib</CODE>)</A>
</UL>
<LI><A NAME="TOC408" HREF="ciao_99.html#SEC408">Terms with named arguments -records/feature terms</A>
<UL>
<LI><A NAME="TOC409" HREF="ciao_99.html#SEC409">Usage and interface (<CODE>argnames</CODE>)</A>
<LI><A NAME="TOC410" HREF="ciao_99.html#SEC410">Documentation on new declarations (<CODE>argnames</CODE>)</A>
<LI><A NAME="TOC411" HREF="ciao_99.html#SEC411">Other information (<CODE>argnames</CODE>)</A>
<UL>
<LI><A NAME="TOC412" HREF="ciao_99.html#SEC412">Using argument names in a toy database</A>
<LI><A NAME="TOC413" HREF="ciao_99.html#SEC413">Complete code for the zebra example</A>
</UL>
<LI><A NAME="TOC414" HREF="ciao_99.html#SEC414">Known bugs and planned improvements (<CODE>argnames</CODE>)</A>
</UL>
<LI><A NAME="TOC415" HREF="ciao_100.html#SEC415">Functional notation</A>
<UL>
<LI><A NAME="TOC416" HREF="ciao_100.html#SEC416">Usage and interface (<CODE>functions</CODE>)</A>
<LI><A NAME="TOC417" HREF="ciao_100.html#SEC417">Known bugs and planned improvements (<CODE>functions</CODE>)</A>
</UL>
<LI><A NAME="TOC418" HREF="ciao_101.html#SEC418">global (library)</A>
<UL>
<LI><A NAME="TOC419" HREF="ciao_101.html#SEC419">Usage and interface (<CODE>global</CODE>)</A>
<LI><A NAME="TOC420" HREF="ciao_101.html#SEC420">Documentation on exports (<CODE>global</CODE>)</A>
</UL>
<LI><A NAME="TOC421" HREF="ciao_102.html#SEC421">Independent and-parallel execution</A>
<UL>
<LI><A NAME="TOC422" HREF="ciao_102.html#SEC422">Usage and interface (<CODE>andprolog</CODE>)</A>
<LI><A NAME="TOC423" HREF="ciao_102.html#SEC423">Documentation on internals (<CODE>andprolog</CODE>)</A>
<LI><A NAME="TOC424" HREF="ciao_102.html#SEC424">Known bugs and planned improvements (<CODE>andprolog</CODE>)</A>
</UL>
<LI><A NAME="TOC425" HREF="ciao_103.html#SEC425">Andorra execution</A>
<UL>
<LI><A NAME="TOC426" HREF="ciao_103.html#SEC426">Usage and interface (<CODE>andorra</CODE>)</A>
<LI><A NAME="TOC427" HREF="ciao_103.html#SEC427">Documentation on new declarations (<CODE>andorra</CODE>)</A>
<LI><A NAME="TOC428" HREF="ciao_103.html#SEC428">Documentation on exports (<CODE>andorra</CODE>)</A>
<LI><A NAME="TOC429" HREF="ciao_103.html#SEC429">Other information (<CODE>andorra</CODE>)</A>
</UL>
<LI><A NAME="TOC430" HREF="ciao_104.html#SEC430">Call on determinate</A>
<UL>
<LI><A NAME="TOC431" HREF="ciao_104.html#SEC431">Usage and interface (<CODE>det_hook_rt</CODE>)</A>
<LI><A NAME="TOC432" HREF="ciao_104.html#SEC432">Documentation on exports (<CODE>det_hook_rt</CODE>)</A>
<LI><A NAME="TOC433" HREF="ciao_104.html#SEC433">Documentation on internals (<CODE>det_hook_rt</CODE>)</A>
<LI><A NAME="TOC434" HREF="ciao_104.html#SEC434">Other information (<CODE>det_hook_rt</CODE>)</A>
<LI><A NAME="TOC435" HREF="ciao_104.html#SEC435">Known bugs and planned improvements (<CODE>det_hook_rt</CODE>)</A>
</UL>
<LI><A NAME="TOC436" HREF="ciao_105.html#SEC436">Miscellaneous predicates</A>
<UL>
<LI><A NAME="TOC437" HREF="ciao_105.html#SEC437">Usage and interface (<CODE>odd</CODE>)</A>
<LI><A NAME="TOC438" HREF="ciao_105.html#SEC438">Documentation on exports (<CODE>odd</CODE>)</A>
</UL>
<LI><A NAME="TOC439" HREF="ciao_106.html#SEC439">Delaying predicates (freeze)</A>
<UL>
<LI><A NAME="TOC440" HREF="ciao_106.html#SEC440">Usage and interface (<CODE>freeze</CODE>)</A>
<LI><A NAME="TOC441" HREF="ciao_106.html#SEC441">Documentation on exports (<CODE>freeze</CODE>)</A>
</UL>
<LI><A NAME="TOC442" HREF="ciao_107.html#SEC442">Delaying predicates (when)</A>
<UL>
<LI><A NAME="TOC443" HREF="ciao_107.html#SEC443">Usage and interface (<CODE>when</CODE>)</A>
<LI><A NAME="TOC444" HREF="ciao_107.html#SEC444">Documentation on exports (<CODE>when</CODE>)</A>
<LI><A NAME="TOC445" HREF="ciao_107.html#SEC445">Known bugs and planned improvements (<CODE>when</CODE>)</A>
</UL>
<LI><A NAME="TOC446" HREF="ciao_108.html#SEC446">Active modules (high-level distributed execution)</A>
<UL>
<UL>
<LI><A NAME="TOC447" HREF="ciao_108.html#SEC447">Active module name servers</A>
<LI><A NAME="TOC448" HREF="ciao_108.html#SEC448">Active modules as agents</A>
</UL>
<LI><A NAME="TOC449" HREF="ciao_108.html#SEC449">Usage and interface (<CODE>actmods</CODE>)</A>
<LI><A NAME="TOC450" HREF="ciao_108.html#SEC450">Documentation on new declarations (<CODE>actmods</CODE>)</A>
<LI><A NAME="TOC451" HREF="ciao_108.html#SEC451">Known bugs and planned improvements (<CODE>actmods</CODE>)</A>
</UL>
<LI><A NAME="TOC452" HREF="ciao_109.html#SEC452">Breadth-first execution</A>
<UL>
<LI><A NAME="TOC453" HREF="ciao_109.html#SEC453">Usage and interface (<CODE>bf</CODE>)</A>
<LI><A NAME="TOC454" HREF="ciao_109.html#SEC454">Known bugs and planned improvements (<CODE>bf</CODE>)</A>
</UL>
<LI><A NAME="TOC455" HREF="ciao_110.html#SEC455">Iterative-deepening execution</A>
<UL>
<LI><A NAME="TOC456" HREF="ciao_110.html#SEC456">Usage and interface (<CODE>id</CODE>)</A>
</UL>
<LI><A NAME="TOC457" HREF="ciao_111.html#SEC457">Constraint programming over rationals</A>
<UL>
<LI><A NAME="TOC458" HREF="ciao_111.html#SEC458">Usage and interface (<CODE>clpq</CODE>)</A>
<LI><A NAME="TOC459" HREF="ciao_111.html#SEC459">Other information (<CODE>clpq</CODE>)</A>
<UL>
<LI><A NAME="TOC460" HREF="ciao_111.html#SEC460">Some CLP(Q) examples</A>
</UL>
<LI><A NAME="TOC461" HREF="ciao_111.html#SEC461">Known bugs and planned improvements (<CODE>clpq</CODE>)</A>
</UL>
<LI><A NAME="TOC462" HREF="ciao_112.html#SEC462">Constraint programming over reals</A>
<UL>
<LI><A NAME="TOC463" HREF="ciao_112.html#SEC463">Usage and interface (<CODE>clpr</CODE>)</A>
<LI><A NAME="TOC464" HREF="ciao_112.html#SEC464">Other information (<CODE>clpr</CODE>)</A>
<UL>
<LI><A NAME="TOC465" HREF="ciao_112.html#SEC465">Some CLP(R) examples</A>
</UL>
<LI><A NAME="TOC466" HREF="ciao_112.html#SEC466">Known bugs and planned improvements (<CODE>clpr</CODE>)</A>
</UL>
<LI><A NAME="TOC467" HREF="ciao_113.html#SEC467">Fuzzy Prolog</A>
<UL>
<LI><A NAME="TOC468" HREF="ciao_113.html#SEC468">Usage and interface (<CODE>fuzzy</CODE>)</A>
<LI><A NAME="TOC469" HREF="ciao_113.html#SEC469">Documentation on new declarations (<CODE>fuzzy</CODE>)</A>
<LI><A NAME="TOC470" HREF="ciao_113.html#SEC470">Documentation on exports (<CODE>fuzzy</CODE>)</A>
<LI><A NAME="TOC471" HREF="ciao_113.html#SEC471">Other information (<CODE>fuzzy</CODE>)</A>
<LI><A NAME="TOC472" HREF="ciao_113.html#SEC472">Known bugs and planned improvements (<CODE>fuzzy</CODE>)</A>
</UL>
<LI><A NAME="TOC473" HREF="ciao_114.html#SEC473">Object oriented programming</A>
<UL>
<LI><A NAME="TOC474" HREF="ciao_114.html#SEC474">Early examples</A>
<LI><A NAME="TOC475" HREF="ciao_114.html#SEC475">Recommendations on when to use objects</A>
<LI><A NAME="TOC476" HREF="ciao_114.html#SEC476">Limitations on object usage</A>
</UL>
<LI><A NAME="TOC477" HREF="ciao_115.html#SEC477">Declaring classes and interfaces</A>
<UL>
<LI><A NAME="TOC478" HREF="ciao_115.html#SEC478">Usage and interface (<CODE>class</CODE>)</A>
<LI><A NAME="TOC479" HREF="ciao_115.html#SEC479">Documentation on new declarations (<CODE>class</CODE>)</A>
<LI><A NAME="TOC480" HREF="ciao_115.html#SEC480">Documentation on exports (<CODE>class</CODE>)</A>
<LI><A NAME="TOC481" HREF="ciao_115.html#SEC481">Other information (<CODE>class</CODE>)</A>
<UL>
<LI><A NAME="TOC482" HREF="ciao_115.html#SEC482">Class and Interface error reporting at compile time</A>
<LI><A NAME="TOC483" HREF="ciao_115.html#SEC483">Class and Interface error reporting at run time</A>
<LI><A NAME="TOC484" HREF="ciao_115.html#SEC484">Normal Prolog module system interaction</A>
</UL>
<LI><A NAME="TOC485" HREF="ciao_115.html#SEC485">Known bugs and planned improvements (<CODE>class</CODE>)</A>
</UL>
<LI><A NAME="TOC486" HREF="ciao_116.html#SEC486">Compile-time usage of objects</A>
<UL>
<LI><A NAME="TOC487" HREF="ciao_116.html#SEC487">Usage and interface (<CODE>objects</CODE>)</A>
<LI><A NAME="TOC488" HREF="ciao_116.html#SEC488">Documentation on new declarations (<CODE>objects</CODE>)</A>
<LI><A NAME="TOC489" HREF="ciao_116.html#SEC489">Other information (<CODE>objects</CODE>)</A>
<UL>
<LI><A NAME="TOC490" HREF="ciao_116.html#SEC490">Error reporting at compile time (objects)</A>
<LI><A NAME="TOC491" HREF="ciao_116.html#SEC491">Error reporting at run time (objects)</A>
</UL>
</UL>
<LI><A NAME="TOC492" HREF="ciao_117.html#SEC492">Run time usage of objects</A>
<UL>
<LI><A NAME="TOC493" HREF="ciao_117.html#SEC493">Usage and interface (<CODE>objects_rt</CODE>)</A>
<LI><A NAME="TOC494" HREF="ciao_117.html#SEC494">Documentation on exports (<CODE>objects_rt</CODE>)</A>
<LI><A NAME="TOC495" HREF="ciao_117.html#SEC495">Known bugs and planned improvements (<CODE>objects_rt</CODE>)</A>
</UL>
<LI><A NAME="TOC496" HREF="ciao_118.html#SEC496">The Ciao Remote Services Package</A>
<UL>
<LI><A NAME="TOC497" HREF="ciao_118.html#SEC497">Usage and interface (<CODE>remote</CODE>)</A>
<LI><A NAME="TOC498" HREF="ciao_118.html#SEC498">Documentation on exports (<CODE>remote</CODE>)</A>
<LI><A NAME="TOC499" HREF="ciao_118.html#SEC499">Known bugs and planned improvements (<CODE>remote</CODE>)</A>
</UL>
<LI><A NAME="TOC500" HREF="ciao_119.html#SEC500">PART VIII - Interfaces to other languages and systems</A>
<LI><A NAME="TOC501" HREF="ciao_120.html#SEC501">Foreign Language Interface</A>
<UL>
<LI><A NAME="TOC502" HREF="ciao_120.html#SEC502">Declaration of Types</A>
<LI><A NAME="TOC503" HREF="ciao_120.html#SEC503">Equivalence between Ciao Prolog and C types</A>
<LI><A NAME="TOC504" HREF="ciao_120.html#SEC504">Equivalence between Ciao Prolog and C modes</A>
<LI><A NAME="TOC505" HREF="ciao_120.html#SEC505">Custom access to Prolog from C</A>
<UL>
<LI><A NAME="TOC506" HREF="ciao_120.html#SEC506">Term construction</A>
<LI><A NAME="TOC507" HREF="ciao_120.html#SEC507">Testing the Type of a Term</A>
<LI><A NAME="TOC508" HREF="ciao_120.html#SEC508">Term navigation</A>
<LI><A NAME="TOC509" HREF="ciao_120.html#SEC509">Testing for Equality and Performing Unification</A>
<LI><A NAME="TOC510" HREF="ciao_120.html#SEC510">Raising Exceptions</A>
<LI><A NAME="TOC511" HREF="ciao_120.html#SEC511">Creating and disposing of memory chunks</A>
<LI><A NAME="TOC512" HREF="ciao_120.html#SEC512">Calling Prolog from C</A>
</UL>
<LI><A NAME="TOC513" HREF="ciao_120.html#SEC513">Examples</A>
<UL>
<LI><A NAME="TOC514" HREF="ciao_120.html#SEC514">Mathematical functions</A>
<LI><A NAME="TOC515" HREF="ciao_120.html#SEC515">Addresses and C pointers</A>
<LI><A NAME="TOC516" HREF="ciao_120.html#SEC516">Lists of bytes and buffers</A>
<LI><A NAME="TOC517" HREF="ciao_120.html#SEC517">Lists of integers</A>
<LI><A NAME="TOC518" HREF="ciao_120.html#SEC518">Strings and atoms</A>
<LI><A NAME="TOC519" HREF="ciao_120.html#SEC519">Arbitrary Terms</A>
<LI><A NAME="TOC520" HREF="ciao_120.html#SEC520">Exceptions</A>
<LI><A NAME="TOC521" HREF="ciao_120.html#SEC521">Testing number types and using unbound length integers</A>
</UL>
<LI><A NAME="TOC522" HREF="ciao_120.html#SEC522">Usage and interface (<CODE>foreign_interface</CODE>)</A>
</UL>
<LI><A NAME="TOC523" HREF="ciao_121.html#SEC523">Foreign Language Interface Properties</A>
<UL>
<LI><A NAME="TOC524" HREF="ciao_121.html#SEC524">Usage and interface (<CODE>foreign_interface_properties</CODE>)</A>
<LI><A NAME="TOC525" HREF="ciao_121.html#SEC525">Documentation on exports (<CODE>foreign_interface_properties</CODE>)</A>
<LI><A NAME="TOC526" HREF="ciao_121.html#SEC526">Documentation on internals (<CODE>foreign_interface_properties</CODE>)</A>
<LI><A NAME="TOC527" HREF="ciao_121.html#SEC527">Known bugs and planned improvements (<CODE>foreign_interface_properties</CODE>)</A>
</UL>
<LI><A NAME="TOC528" HREF="ciao_122.html#SEC528">Utilities for on-demand compilation of foreign files</A>
<UL>
<LI><A NAME="TOC529" HREF="ciao_122.html#SEC529">Usage and interface (<CODE>foreign_compilation</CODE>)</A>
<LI><A NAME="TOC530" HREF="ciao_122.html#SEC530">Documentation on exports (<CODE>foreign_compilation</CODE>)</A>
</UL>
<LI><A NAME="TOC531" HREF="ciao_123.html#SEC531">Foreign Language Interface Builder</A>
<UL>
<LI><A NAME="TOC532" HREF="ciao_123.html#SEC532">Usage and interface (<CODE>build_foreign_interface</CODE>)</A>
<LI><A NAME="TOC533" HREF="ciao_123.html#SEC533">Documentation on exports (<CODE>build_foreign_interface</CODE>)</A>
</UL>
<LI><A NAME="TOC534" HREF="ciao_124.html#SEC534">Interface to daVinci</A>
<UL>
<LI><A NAME="TOC535" HREF="ciao_124.html#SEC535">Usage and interface (<CODE>davinci</CODE>)</A>
<LI><A NAME="TOC536" HREF="ciao_124.html#SEC536">Documentation on exports (<CODE>davinci</CODE>)</A>
<LI><A NAME="TOC537" HREF="ciao_124.html#SEC537">Documentation on internals (<CODE>davinci</CODE>)</A>
</UL>
<LI><A NAME="TOC538" HREF="ciao_125.html#SEC538">The Tcl/Tk interface</A>
<UL>
<LI><A NAME="TOC539" HREF="ciao_125.html#SEC539">Usage and interface (<CODE>tcltk</CODE>)</A>
<LI><A NAME="TOC540" HREF="ciao_125.html#SEC540">Documentation on exports (<CODE>tcltk</CODE>)</A>
</UL>
<LI><A NAME="TOC541" HREF="ciao_126.html#SEC541">Low level interface library to Tcl/Tk</A>
<UL>
<LI><A NAME="TOC542" HREF="ciao_126.html#SEC542">Usage and interface (<CODE>tcltk_low_level</CODE>)</A>
<LI><A NAME="TOC543" HREF="ciao_126.html#SEC543">Documentation on exports (<CODE>tcltk_low_level</CODE>)</A>
<LI><A NAME="TOC544" HREF="ciao_126.html#SEC544">Documentation on internals (<CODE>tcltk_low_level</CODE>)</A>
</UL>
<LI><A NAME="TOC545" HREF="ciao_127.html#SEC545">The Tcl/Tk Class Interface</A>
<UL>
<LI><A NAME="TOC546" HREF="ciao_127.html#SEC546">Usage and interface (<CODE>window_class</CODE>)</A>
<LI><A NAME="TOC547" HREF="ciao_127.html#SEC547">Documentation on exports (<CODE>window_class</CODE>)</A>
</UL>
<LI><A NAME="TOC548" HREF="ciao_128.html#SEC548">widget_class (library)</A>
<UL>
<LI><A NAME="TOC549" HREF="ciao_128.html#SEC549">Usage and interface (<CODE>widget_class</CODE>)</A>
<LI><A NAME="TOC550" HREF="ciao_128.html#SEC550">Documentation on exports (<CODE>widget_class</CODE>)</A>
</UL>
<LI><A NAME="TOC551" HREF="ciao_129.html#SEC551">menu_class (library)</A>
<UL>
<LI><A NAME="TOC552" HREF="ciao_129.html#SEC552">Usage and interface (<CODE>menu_class</CODE>)</A>
<LI><A NAME="TOC553" HREF="ciao_129.html#SEC553">Documentation on exports (<CODE>menu_class</CODE>)</A>
</UL>
<LI><A NAME="TOC554" HREF="ciao_130.html#SEC554">canvas_class (library)</A>
<UL>
<LI><A NAME="TOC555" HREF="ciao_130.html#SEC555">Usage and interface (<CODE>canvas_class</CODE>)</A>
<LI><A NAME="TOC556" HREF="ciao_130.html#SEC556">Documentation on multifiles (<CODE>canvas_class</CODE>)</A>
</UL>
<LI><A NAME="TOC557" HREF="ciao_131.html#SEC557">button_class (library)</A>
<UL>
<LI><A NAME="TOC558" HREF="ciao_131.html#SEC558">Usage and interface (<CODE>button_class</CODE>)</A>
<LI><A NAME="TOC559" HREF="ciao_131.html#SEC559">Documentation on exports (<CODE>button_class</CODE>)</A>
</UL>
<LI><A NAME="TOC560" HREF="ciao_132.html#SEC560">checkbutton_class (library)</A>
<UL>
<LI><A NAME="TOC561" HREF="ciao_132.html#SEC561">Usage and interface (<CODE>checkbutton_class</CODE>)</A>
<LI><A NAME="TOC562" HREF="ciao_132.html#SEC562">Documentation on exports (<CODE>checkbutton_class</CODE>)</A>
</UL>
<LI><A NAME="TOC563" HREF="ciao_133.html#SEC563">radiobutton_class (library)</A>
<UL>
<LI><A NAME="TOC564" HREF="ciao_133.html#SEC564">Usage and interface (<CODE>radiobutton_class</CODE>)</A>
<LI><A NAME="TOC565" HREF="ciao_133.html#SEC565">Documentation on exports (<CODE>radiobutton_class</CODE>)</A>
</UL>
<LI><A NAME="TOC566" HREF="ciao_134.html#SEC566">entry_class (library)</A>
<UL>
<LI><A NAME="TOC567" HREF="ciao_134.html#SEC567">Usage and interface (<CODE>entry_class</CODE>)</A>
<LI><A NAME="TOC568" HREF="ciao_134.html#SEC568">Documentation on exports (<CODE>entry_class</CODE>)</A>
</UL>
<LI><A NAME="TOC569" HREF="ciao_135.html#SEC569">label_class (library)</A>
<UL>
<LI><A NAME="TOC570" HREF="ciao_135.html#SEC570">Usage and interface (<CODE>label_class</CODE>)</A>
<LI><A NAME="TOC571" HREF="ciao_135.html#SEC571">Documentation on exports (<CODE>label_class</CODE>)</A>
</UL>
<LI><A NAME="TOC572" HREF="ciao_136.html#SEC572">menubutton_class (library)</A>
<UL>
<LI><A NAME="TOC573" HREF="ciao_136.html#SEC573">Usage and interface (<CODE>menubutton_class</CODE>)</A>
<LI><A NAME="TOC574" HREF="ciao_136.html#SEC574">Documentation on exports (<CODE>menubutton_class</CODE>)</A>
</UL>
<LI><A NAME="TOC575" HREF="ciao_137.html#SEC575">menu_entry_class (library)</A>
<UL>
<LI><A NAME="TOC576" HREF="ciao_137.html#SEC576">Usage and interface (<CODE>menu_entry_class</CODE>)</A>
<LI><A NAME="TOC577" HREF="ciao_137.html#SEC577">Documentation on exports (<CODE>menu_entry_class</CODE>)</A>
</UL>
<LI><A NAME="TOC578" HREF="ciao_138.html#SEC578">shape_class (library)</A>
<UL>
<LI><A NAME="TOC579" HREF="ciao_138.html#SEC579">Usage and interface (<CODE>shape_class</CODE>)</A>
<LI><A NAME="TOC580" HREF="ciao_138.html#SEC580">Documentation on exports (<CODE>shape_class</CODE>)</A>
</UL>
<LI><A NAME="TOC581" HREF="ciao_139.html#SEC581">arc_class (library)</A>
<UL>
<LI><A NAME="TOC582" HREF="ciao_139.html#SEC582">Usage and interface (<CODE>arc_class</CODE>)</A>
<LI><A NAME="TOC583" HREF="ciao_139.html#SEC583">Documentation on exports (<CODE>arc_class</CODE>)</A>
</UL>
<LI><A NAME="TOC584" HREF="ciao_140.html#SEC584">oval_class (library)</A>
<UL>
<LI><A NAME="TOC585" HREF="ciao_140.html#SEC585">Usage and interface (<CODE>oval_class</CODE>)</A>
<LI><A NAME="TOC586" HREF="ciao_140.html#SEC586">Documentation on exports (<CODE>oval_class</CODE>)</A>
</UL>
<LI><A NAME="TOC587" HREF="ciao_141.html#SEC587">poly_class (library)</A>
<UL>
<LI><A NAME="TOC588" HREF="ciao_141.html#SEC588">Usage and interface (<CODE>poly_class</CODE>)</A>
<LI><A NAME="TOC589" HREF="ciao_141.html#SEC589">Documentation on exports (<CODE>poly_class</CODE>)</A>
</UL>
<LI><A NAME="TOC590" HREF="ciao_142.html#SEC590">line_class (library)</A>
<UL>
<LI><A NAME="TOC591" HREF="ciao_142.html#SEC591">Usage and interface (<CODE>line_class</CODE>)</A>
<LI><A NAME="TOC592" HREF="ciao_142.html#SEC592">Documentation on exports (<CODE>line_class</CODE>)</A>
</UL>
<LI><A NAME="TOC593" HREF="ciao_143.html#SEC593">text_class (library)</A>
<UL>
<LI><A NAME="TOC594" HREF="ciao_143.html#SEC594">Usage and interface (<CODE>text_class</CODE>)</A>
<LI><A NAME="TOC595" HREF="ciao_143.html#SEC595">Documentation on exports (<CODE>text_class</CODE>)</A>
</UL>
<LI><A NAME="TOC596" HREF="ciao_144.html#SEC596">The PiLLoW Web programming library</A>
<UL>
<LI><A NAME="TOC597" HREF="ciao_144.html#SEC597">Installing PiLLoW</A>
<LI><A NAME="TOC598" HREF="ciao_144.html#SEC598">Usage and interface (<CODE>pillow</CODE>)</A>
</UL>
<LI><A NAME="TOC599" HREF="ciao_145.html#SEC599">HTML/XML/CGI programming</A>
<UL>
<LI><A NAME="TOC600" HREF="ciao_145.html#SEC600">Usage and interface (<CODE>html</CODE>)</A>
<LI><A NAME="TOC601" HREF="ciao_145.html#SEC601">Documentation on exports (<CODE>html</CODE>)</A>
<LI><A NAME="TOC602" HREF="ciao_145.html#SEC602">Documentation on multifiles (<CODE>html</CODE>)</A>
<LI><A NAME="TOC603" HREF="ciao_145.html#SEC603">Other information (<CODE>html</CODE>)</A>
</UL>
<LI><A NAME="TOC604" HREF="ciao_146.html#SEC604">HTTP conectivity</A>
<UL>
<LI><A NAME="TOC605" HREF="ciao_146.html#SEC605">Usage and interface (<CODE>http</CODE>)</A>
<LI><A NAME="TOC606" HREF="ciao_146.html#SEC606">Documentation on exports (<CODE>http</CODE>)</A>
</UL>
<LI><A NAME="TOC607" HREF="ciao_147.html#SEC607">PiLLoW types</A>
<UL>
<LI><A NAME="TOC608" HREF="ciao_147.html#SEC608">Usage and interface (<CODE>pillow_types</CODE>)</A>
<LI><A NAME="TOC609" HREF="ciao_147.html#SEC609">Documentation on exports (<CODE>pillow_types</CODE>)</A>
</UL>
<LI><A NAME="TOC610" HREF="ciao_148.html#SEC610">Persistent predicate database</A>
<UL>
<LI><A NAME="TOC611" HREF="ciao_148.html#SEC611">Introduction to persistent predicates</A>
<LI><A NAME="TOC612" HREF="ciao_148.html#SEC612">Persistent predicates, files, and relational databases</A>
<LI><A NAME="TOC613" HREF="ciao_148.html#SEC613">Using file-based persistent predicates</A>
<LI><A NAME="TOC614" HREF="ciao_148.html#SEC614">Implementation Issues</A>
<LI><A NAME="TOC615" HREF="ciao_148.html#SEC615">Defining an initial database</A>
<LI><A NAME="TOC616" HREF="ciao_148.html#SEC616">Using persistent predicates from the top level</A>
<LI><A NAME="TOC617" HREF="ciao_148.html#SEC617">Usage and interface (<CODE>persdbrt</CODE>)</A>
<LI><A NAME="TOC618" HREF="ciao_148.html#SEC618">Documentation on exports (<CODE>persdbrt</CODE>)</A>
<LI><A NAME="TOC619" HREF="ciao_148.html#SEC619">Documentation on multifiles (<CODE>persdbrt</CODE>)</A>
<LI><A NAME="TOC620" HREF="ciao_148.html#SEC620">Documentation on internals (<CODE>persdbrt</CODE>)</A>
<LI><A NAME="TOC621" HREF="ciao_148.html#SEC621">Known bugs and planned improvements (<CODE>persdbrt</CODE>)</A>
</UL>
<LI><A NAME="TOC622" HREF="ciao_149.html#SEC622">Using the persdb library</A>
<UL>
<LI><A NAME="TOC623" HREF="ciao_149.html#SEC623">An example of persistent predicates (static version)</A>
<LI><A NAME="TOC624" HREF="ciao_149.html#SEC624">An example of persistent predicates (dynamic version)</A>
<LI><A NAME="TOC625" HREF="ciao_149.html#SEC625">A simple application / a persistent queue</A>
</UL>
<LI><A NAME="TOC626" HREF="ciao_150.html#SEC626">Filed predicates</A>
<UL>
<LI><A NAME="TOC627" HREF="ciao_150.html#SEC627">Usage and interface (<CODE>factsdb_rt</CODE>)</A>
<LI><A NAME="TOC628" HREF="ciao_150.html#SEC628">Documentation on exports (<CODE>factsdb_rt</CODE>)</A>
<LI><A NAME="TOC629" HREF="ciao_150.html#SEC629">Documentation on multifiles (<CODE>factsdb_rt</CODE>)</A>
<LI><A NAME="TOC630" HREF="ciao_150.html#SEC630">Documentation on internals (<CODE>factsdb_rt</CODE>)</A>
<LI><A NAME="TOC631" HREF="ciao_150.html#SEC631">Known bugs and planned improvements (<CODE>factsdb_rt</CODE>)</A>
</UL>
<LI><A NAME="TOC632" HREF="ciao_151.html#SEC632">SQL persistent database interface</A>
<UL>
<LI><A NAME="TOC633" HREF="ciao_151.html#SEC633">Implementation of the Database Interface</A>
<LI><A NAME="TOC634" HREF="ciao_151.html#SEC634">Example(s)</A>
<LI><A NAME="TOC635" HREF="ciao_151.html#SEC635">Usage and interface (<CODE>persdbrt_mysql</CODE>)</A>
<LI><A NAME="TOC636" HREF="ciao_151.html#SEC636">Documentation on exports (<CODE>persdbrt_mysql</CODE>)</A>
<LI><A NAME="TOC637" HREF="ciao_151.html#SEC637">Documentation on multifiles (<CODE>persdbrt_mysql</CODE>)</A>
<LI><A NAME="TOC638" HREF="ciao_151.html#SEC638">Documentation on internals (<CODE>persdbrt_mysql</CODE>)</A>
<LI><A NAME="TOC639" HREF="ciao_151.html#SEC639">Known bugs and planned improvements (<CODE>persdbrt_mysql</CODE>)</A>
</UL>
<LI><A NAME="TOC640" HREF="ciao_152.html#SEC640">Prolog to SQL translator</A>
<UL>
<LI><A NAME="TOC641" HREF="ciao_152.html#SEC641">Usage and interface (<CODE>pl2sql</CODE>)</A>
<LI><A NAME="TOC642" HREF="ciao_152.html#SEC642">Documentation on exports (<CODE>pl2sql</CODE>)</A>
<LI><A NAME="TOC643" HREF="ciao_152.html#SEC643">Documentation on multifiles (<CODE>pl2sql</CODE>)</A>
<LI><A NAME="TOC644" HREF="ciao_152.html#SEC644">Documentation on internals (<CODE>pl2sql</CODE>)</A>
<LI><A NAME="TOC645" HREF="ciao_152.html#SEC645">Known bugs and planned improvements (<CODE>pl2sql</CODE>)</A>
</UL>
<LI><A NAME="TOC646" HREF="ciao_153.html#SEC646">Low-level socket interface to SQL/ODBC databases</A>
<UL>
<LI><A NAME="TOC647" HREF="ciao_153.html#SEC647">Usage and interface (<CODE>mysql_client</CODE>)</A>
<LI><A NAME="TOC648" HREF="ciao_153.html#SEC648">Documentation on exports (<CODE>mysql_client</CODE>)</A>
</UL>
<LI><A NAME="TOC649" HREF="ciao_154.html#SEC649">Types for the Low-level interface to SQL databases</A>
<UL>
<LI><A NAME="TOC650" HREF="ciao_154.html#SEC650">Usage and interface (<CODE>db_client_types</CODE>)</A>
<LI><A NAME="TOC651" HREF="ciao_154.html#SEC651">Documentation on exports (<CODE>db_client_types</CODE>)</A>
</UL>
<LI><A NAME="TOC652" HREF="ciao_155.html#SEC652">sqltypes (library)</A>
<UL>
<LI><A NAME="TOC653" HREF="ciao_155.html#SEC653">Usage and interface (<CODE>sqltypes</CODE>)</A>
<LI><A NAME="TOC654" HREF="ciao_155.html#SEC654">Documentation on exports (<CODE>sqltypes</CODE>)</A>
</UL>
<LI><A NAME="TOC655" HREF="ciao_156.html#SEC655">persdbtr_sql (library)</A>
<UL>
<LI><A NAME="TOC656" HREF="ciao_156.html#SEC656">Usage and interface (<CODE>persdbtr_sql</CODE>)</A>
<LI><A NAME="TOC657" HREF="ciao_156.html#SEC657">Documentation on exports (<CODE>persdbtr_sql</CODE>)</A>
</UL>
<LI><A NAME="TOC658" HREF="ciao_157.html#SEC658">pl2sqlinsert (library)</A>
<UL>
<LI><A NAME="TOC659" HREF="ciao_157.html#SEC659">Usage and interface (<CODE>pl2sqlinsert</CODE>)</A>
<LI><A NAME="TOC660" HREF="ciao_157.html#SEC660">Documentation on exports (<CODE>pl2sqlinsert</CODE>)</A>
<LI><A NAME="TOC661" HREF="ciao_157.html#SEC661">Documentation on multifiles (<CODE>pl2sqlinsert</CODE>)</A>
</UL>
<LI><A NAME="TOC662" HREF="ciao_158.html#SEC662">Prolog to Java interface</A>
<UL>
<LI><A NAME="TOC663" HREF="ciao_158.html#SEC663">Prolog to Java Interface Structure</A>
<UL>
<LI><A NAME="TOC664" HREF="ciao_158.html#SEC664">Prolog side of the Java interface</A>
<LI><A NAME="TOC665" HREF="ciao_158.html#SEC665">Java side</A>
</UL>
<LI><A NAME="TOC666" HREF="ciao_158.html#SEC666">Java event handling from Prolog</A>
<LI><A NAME="TOC667" HREF="ciao_158.html#SEC667">Java exception handling from Prolog</A>
<LI><A NAME="TOC668" HREF="ciao_158.html#SEC668">Usage and interface (<CODE>javart</CODE>)</A>
<LI><A NAME="TOC669" HREF="ciao_158.html#SEC669">Documentation on exports (<CODE>javart</CODE>)</A>
</UL>
<LI><A NAME="TOC670" HREF="ciao_159.html#SEC670">Java to Prolog interface</A>
<UL>
<LI><A NAME="TOC671" HREF="ciao_159.html#SEC671">Usage and interface (<CODE>jtopl</CODE>)</A>
<LI><A NAME="TOC672" HREF="ciao_159.html#SEC672">Documentation on exports (<CODE>jtopl</CODE>)</A>
</UL>
<LI><A NAME="TOC673" HREF="ciao_160.html#SEC673">Low-level Prolog to Java socket connection</A>
<UL>
<LI><A NAME="TOC674" HREF="ciao_160.html#SEC674">Usage and interface (<CODE>javasock</CODE>)</A>
<LI><A NAME="TOC675" HREF="ciao_160.html#SEC675">Documentation on exports (<CODE>javasock</CODE>)</A>
</UL>
<LI><A NAME="TOC676" HREF="ciao_161.html#SEC676">Calling emacs from Prolog</A>
<UL>
<LI><A NAME="TOC677" HREF="ciao_161.html#SEC677">Usage and interface (<CODE>emacs</CODE>)</A>
<LI><A NAME="TOC678" HREF="ciao_161.html#SEC678">Documentation on exports (<CODE>emacs</CODE>)</A>
</UL>
<LI><A NAME="TOC679" HREF="ciao_162.html#SEC679">linda (library)</A>
<UL>
<LI><A NAME="TOC680" HREF="ciao_162.html#SEC680">Usage and interface (<CODE>linda</CODE>)</A>
<LI><A NAME="TOC681" HREF="ciao_162.html#SEC681">Documentation on exports (<CODE>linda</CODE>)</A>
</UL>
<LI><A NAME="TOC682" HREF="ciao_163.html#SEC682">PART IX - Abstract data types</A>
<LI><A NAME="TOC683" HREF="ciao_164.html#SEC683">Extendable arrays with logarithmic access time</A>
<UL>
<LI><A NAME="TOC684" HREF="ciao_164.html#SEC684">Usage and interface (<CODE>arrays</CODE>)</A>
<LI><A NAME="TOC685" HREF="ciao_164.html#SEC685">Documentation on exports (<CODE>arrays</CODE>)</A>
</UL>
<LI><A NAME="TOC686" HREF="ciao_165.html#SEC686">counters (library)</A>
<UL>
<LI><A NAME="TOC687" HREF="ciao_165.html#SEC687">Usage and interface (<CODE>counters</CODE>)</A>
<LI><A NAME="TOC688" HREF="ciao_165.html#SEC688">Documentation on exports (<CODE>counters</CODE>)</A>
</UL>
<LI><A NAME="TOC689" HREF="ciao_166.html#SEC689">Identity lists</A>
<UL>
<LI><A NAME="TOC690" HREF="ciao_166.html#SEC690">Usage and interface (<CODE>idlists</CODE>)</A>
<LI><A NAME="TOC691" HREF="ciao_166.html#SEC691">Documentation on exports (<CODE>idlists</CODE>)</A>
</UL>
<LI><A NAME="TOC692" HREF="ciao_167.html#SEC692">Lists of numbers</A>
<UL>
<LI><A NAME="TOC693" HREF="ciao_167.html#SEC693">Usage and interface (<CODE>numlists</CODE>)</A>
<LI><A NAME="TOC694" HREF="ciao_167.html#SEC694">Documentation on exports (<CODE>numlists</CODE>)</A>
</UL>
<LI><A NAME="TOC695" HREF="ciao_168.html#SEC695">Pattern (regular expression) matching</A>
<UL>
<LI><A NAME="TOC696" HREF="ciao_168.html#SEC696">Usage and interface (<CODE>patterns</CODE>)</A>
<LI><A NAME="TOC697" HREF="ciao_168.html#SEC697">Documentation on exports (<CODE>patterns</CODE>)</A>
</UL>
<LI><A NAME="TOC698" HREF="ciao_169.html#SEC698">Graphs</A>
<UL>
<LI><A NAME="TOC699" HREF="ciao_169.html#SEC699">Usage and interface (<CODE>graphs</CODE>)</A>
<LI><A NAME="TOC700" HREF="ciao_169.html#SEC700">Documentation on exports (<CODE>graphs</CODE>)</A>
<LI><A NAME="TOC701" HREF="ciao_169.html#SEC701">Documentation on internals (<CODE>graphs</CODE>)</A>
</UL>
<LI><A NAME="TOC702" HREF="ciao_170.html#SEC702">Unweighted graph-processing utilities</A>
<UL>
<LI><A NAME="TOC703" HREF="ciao_170.html#SEC703">Usage and interface (<CODE>ugraphs</CODE>)</A>
<LI><A NAME="TOC704" HREF="ciao_170.html#SEC704">Documentation on exports (<CODE>ugraphs</CODE>)</A>
</UL>
<LI><A NAME="TOC705" HREF="ciao_171.html#SEC705">wgraphs (library)</A>
<UL>
<LI><A NAME="TOC706" HREF="ciao_171.html#SEC706">Usage and interface (<CODE>wgraphs</CODE>)</A>
<LI><A NAME="TOC707" HREF="ciao_171.html#SEC707">Documentation on exports (<CODE>wgraphs</CODE>)</A>
</UL>
<LI><A NAME="TOC708" HREF="ciao_172.html#SEC708">Labeled graph-processing utilities</A>
<UL>
<LI><A NAME="TOC709" HREF="ciao_172.html#SEC709">Usage and interface (<CODE>lgraphs</CODE>)</A>
<LI><A NAME="TOC710" HREF="ciao_172.html#SEC710">Documentation on exports (<CODE>lgraphs</CODE>)</A>
</UL>
<LI><A NAME="TOC711" HREF="ciao_173.html#SEC711">queues (library)</A>
<UL>
<LI><A NAME="TOC712" HREF="ciao_173.html#SEC712">Usage and interface (<CODE>queues</CODE>)</A>
<LI><A NAME="TOC713" HREF="ciao_173.html#SEC713">Documentation on exports (<CODE>queues</CODE>)</A>
</UL>
<LI><A NAME="TOC714" HREF="ciao_174.html#SEC714">Random numbers</A>
<UL>
<LI><A NAME="TOC715" HREF="ciao_174.html#SEC715">Usage and interface (<CODE>random</CODE>)</A>
<LI><A NAME="TOC716" HREF="ciao_174.html#SEC716">Documentation on exports (<CODE>random</CODE>)</A>
</UL>
<LI><A NAME="TOC717" HREF="ciao_175.html#SEC717">Set Operations</A>
<UL>
<LI><A NAME="TOC718" HREF="ciao_175.html#SEC718">Usage and interface (<CODE>sets</CODE>)</A>
<LI><A NAME="TOC719" HREF="ciao_175.html#SEC719">Documentation on exports (<CODE>sets</CODE>)</A>
</UL>
<LI><A NAME="TOC720" HREF="ciao_176.html#SEC720">Variable name dictionaries</A>
<UL>
<LI><A NAME="TOC721" HREF="ciao_176.html#SEC721">Usage and interface (<CODE>vndict</CODE>)</A>
<LI><A NAME="TOC722" HREF="ciao_176.html#SEC722">Documentation on exports (<CODE>vndict</CODE>)</A>
</UL>
<LI><A NAME="TOC723" HREF="ciao_177.html#SEC723">PART X - Miscellaneous standalone utilities</A>
<LI><A NAME="TOC724" HREF="ciao_178.html#SEC724">A Program to Help Cleaning your Directories</A>
<UL>
<LI><A NAME="TOC725" HREF="ciao_178.html#SEC725">Usage (cleandirs)</A>
<LI><A NAME="TOC726" HREF="ciao_178.html#SEC726">Known bugs and planned improvements (<CODE>cleandirs</CODE>)</A>
</UL>
<LI><A NAME="TOC727" HREF="ciao_179.html#SEC727">Printing the declarations and code in a file</A>
<UL>
<LI><A NAME="TOC728" HREF="ciao_179.html#SEC728">Usage (fileinfo)</A>
<LI><A NAME="TOC729" HREF="ciao_179.html#SEC729">More detailed explanation of options (fileinfo)</A>
</UL>
<LI><A NAME="TOC730" HREF="ciao_180.html#SEC730">Printing the contents of a bytecode file</A>
<UL>
<LI><A NAME="TOC731" HREF="ciao_180.html#SEC731">Usage (viewpo)</A>
</UL>
<LI><A NAME="TOC732" HREF="ciao_181.html#SEC732">Crossed-references of a program</A>
<LI><A NAME="TOC733" HREF="ciao_182.html#SEC733">Gathering the dependent files for a file</A>
<UL>
<LI><A NAME="TOC734" HREF="ciao_182.html#SEC734">Usage (get_deps)</A>
</UL>
<LI><A NAME="TOC735" HREF="ciao_183.html#SEC735">Finding differences between two Prolog files</A>
<UL>
<LI><A NAME="TOC736" HREF="ciao_183.html#SEC736">Usage (pldiff)</A>
<LI><A NAME="TOC737" HREF="ciao_183.html#SEC737">Known bugs and planned improvements (<CODE>pldiff</CODE>)</A>
</UL>
<LI><A NAME="TOC738" HREF="ciao_184.html#SEC738">The Ciao lpmake scripting facility</A>
<UL>
<LI><A NAME="TOC739" HREF="ciao_184.html#SEC739">General operation</A>
<LI><A NAME="TOC740" HREF="ciao_184.html#SEC740">Format of the Configuration File</A>
<LI><A NAME="TOC741" HREF="ciao_184.html#SEC741">lpmake usage</A>
<LI><A NAME="TOC742" HREF="ciao_184.html#SEC742">Acknowledgments (<CODE>lpmake</CODE>)</A>
</UL>
<LI><A NAME="TOC743" HREF="ciao_185.html#SEC743">Find out which architecture we are running on</A>
<UL>
<LI><A NAME="TOC744" HREF="ciao_185.html#SEC744">Usage (ciao_get_arch)</A>
<LI><A NAME="TOC745" HREF="ciao_185.html#SEC745">More details</A>
</UL>
<LI><A NAME="TOC746" HREF="ciao_186.html#SEC746">Print out WAM code</A>
<UL>
<LI><A NAME="TOC747" HREF="ciao_186.html#SEC747">Usage (compiler_output)</A>
</UL>
<LI><A NAME="TOC748" HREF="ciao_187.html#SEC748">PART XI - Contributed libraries</A>
<LI><A NAME="TOC749" HREF="ciao_188.html#SEC749">Programming MYCIN rules</A>
<UL>
<LI><A NAME="TOC750" HREF="ciao_188.html#SEC750">Usage and interface (<CODE>mycin</CODE>)</A>
<LI><A NAME="TOC751" HREF="ciao_188.html#SEC751">Documentation on new declarations (<CODE>mycin</CODE>)</A>
<LI><A NAME="TOC752" HREF="ciao_188.html#SEC752">Known bugs and planned improvements (<CODE>mycin</CODE>)</A>
</UL>
<LI><A NAME="TOC753" HREF="ciao_189.html#SEC753">Constraint programming over finite domains</A>
<UL>
<LI><A NAME="TOC754" HREF="ciao_189.html#SEC754">Usage and interface (<CODE>fd</CODE>)</A>
<LI><A NAME="TOC755" HREF="ciao_189.html#SEC755">Documentation on exports (<CODE>fd</CODE>)</A>
</UL>
<LI><A NAME="TOC756" HREF="ciao_190.html#SEC756">XDR handle library</A>
<UL>
<LI><A NAME="TOC757" HREF="ciao_190.html#SEC757">Usage and interface (<CODE>xdr_handle</CODE>)</A>
<LI><A NAME="TOC758" HREF="ciao_190.html#SEC758">Documentation on exports (<CODE>xdr_handle</CODE>)</A>
</UL>
<LI><A NAME="TOC759" HREF="ciao_191.html#SEC759">XML query library</A>
<UL>
<LI><A NAME="TOC760" HREF="ciao_191.html#SEC760">Usage and interface (<CODE>xml_path</CODE>)</A>
<LI><A NAME="TOC761" HREF="ciao_191.html#SEC761">Documentation on exports (<CODE>xml_path</CODE>)</A>
<LI><A NAME="TOC762" HREF="ciao_191.html#SEC762">Documentation on internals (<CODE>xml_path</CODE>)</A>
</UL>
<LI><A NAME="TOC763" HREF="ciao_192.html#SEC763">A Chart Library</A>
<UL>
<LI><A NAME="TOC764" HREF="ciao_192.html#SEC764">Bar charts</A>
<LI><A NAME="TOC765" HREF="ciao_192.html#SEC765">Line graphs</A>
<LI><A NAME="TOC766" HREF="ciao_192.html#SEC766">Scatter graphs</A>
<LI><A NAME="TOC767" HREF="ciao_192.html#SEC767">Tables</A>
<LI><A NAME="TOC768" HREF="ciao_192.html#SEC768">Overview of widgets</A>
<LI><A NAME="TOC769" HREF="ciao_192.html#SEC769">Usage and interface (<CODE>chartlib</CODE>)</A>
<LI><A NAME="TOC770" HREF="ciao_192.html#SEC770">Documentation on exports (<CODE>chartlib</CODE>)</A>
</UL>
<LI><A NAME="TOC771" HREF="ciao_193.html#SEC771">Low level Interface between Prolog and blt</A>
<UL>
<LI><A NAME="TOC772" HREF="ciao_193.html#SEC772">Usage and interface (<CODE>bltclass</CODE>)</A>
<LI><A NAME="TOC773" HREF="ciao_193.html#SEC773">Documentation on exports (<CODE>bltclass</CODE>)</A>
</UL>
<LI><A NAME="TOC774" HREF="ciao_194.html#SEC774">Error Handler for Chartlib</A>
<UL>
<LI><A NAME="TOC775" HREF="ciao_194.html#SEC775">Usage and interface (<CODE>chartlib_errhandle</CODE>)</A>
<LI><A NAME="TOC776" HREF="ciao_194.html#SEC776">Documentation on exports (<CODE>chartlib_errhandle</CODE>)</A>
<LI><A NAME="TOC777" HREF="ciao_194.html#SEC777">Documentation on internals (<CODE>chartlib_errhandle</CODE>)</A>
</UL>
<LI><A NAME="TOC778" HREF="ciao_195.html#SEC778">Color and Pattern Library</A>
<UL>
<LI><A NAME="TOC779" HREF="ciao_195.html#SEC779">Usage and interface (<CODE>color_pattern</CODE>)</A>
<LI><A NAME="TOC780" HREF="ciao_195.html#SEC780">Documentation on exports (<CODE>color_pattern</CODE>)</A>
</UL>
<LI><A NAME="TOC781" HREF="ciao_196.html#SEC781">Barchart widgets - 1</A>
<UL>
<LI><A NAME="TOC782" HREF="ciao_196.html#SEC782">Usage and interface (<CODE>genbar1</CODE>)</A>
<LI><A NAME="TOC783" HREF="ciao_196.html#SEC783">Documentation on exports (<CODE>genbar1</CODE>)</A>
<LI><A NAME="TOC784" HREF="ciao_196.html#SEC784">Documentation on internals (<CODE>genbar1</CODE>)</A>
</UL>
<LI><A NAME="TOC785" HREF="ciao_197.html#SEC785">Barchart widgets - 2</A>
<UL>
<LI><A NAME="TOC786" HREF="ciao_197.html#SEC786">Usage and interface (<CODE>genbar2</CODE>)</A>
<LI><A NAME="TOC787" HREF="ciao_197.html#SEC787">Documentation on exports (<CODE>genbar2</CODE>)</A>
</UL>
<LI><A NAME="TOC788" HREF="ciao_198.html#SEC788">Depict barchart widgets - 3</A>
<UL>
<LI><A NAME="TOC789" HREF="ciao_198.html#SEC789">Usage and interface (<CODE>genbar3</CODE>)</A>
<LI><A NAME="TOC790" HREF="ciao_198.html#SEC790">Documentation on exports (<CODE>genbar3</CODE>)</A>
<LI><A NAME="TOC791" HREF="ciao_198.html#SEC791">Documentation on internals (<CODE>genbar3</CODE>)</A>
</UL>
<LI><A NAME="TOC792" HREF="ciao_199.html#SEC792">Depict barchart widgets - 4</A>
<UL>
<LI><A NAME="TOC793" HREF="ciao_199.html#SEC793">Usage and interface (<CODE>genbar4</CODE>)</A>
<LI><A NAME="TOC794" HREF="ciao_199.html#SEC794">Documentation on exports (<CODE>genbar4</CODE>)</A>
<LI><A NAME="TOC795" HREF="ciao_199.html#SEC795">Documentation on internals (<CODE>genbar4</CODE>)</A>
</UL>
<LI><A NAME="TOC796" HREF="ciao_200.html#SEC796">Depic line graph</A>
<UL>
<LI><A NAME="TOC797" HREF="ciao_200.html#SEC797">Usage and interface (<CODE>gengraph1</CODE>)</A>
<LI><A NAME="TOC798" HREF="ciao_200.html#SEC798">Documentation on exports (<CODE>gengraph1</CODE>)</A>
</UL>
<LI><A NAME="TOC799" HREF="ciao_201.html#SEC799">Line graph widgets</A>
<UL>
<LI><A NAME="TOC800" HREF="ciao_201.html#SEC800">Usage and interface (<CODE>gengraph2</CODE>)</A>
<LI><A NAME="TOC801" HREF="ciao_201.html#SEC801">Documentation on exports (<CODE>gengraph2</CODE>)</A>
</UL>
<LI><A NAME="TOC802" HREF="ciao_202.html#SEC802">Multi barchart widgets</A>
<UL>
<LI><A NAME="TOC803" HREF="ciao_202.html#SEC803">Usage and interface (<CODE>genmultibar</CODE>)</A>
<LI><A NAME="TOC804" HREF="ciao_202.html#SEC804">Documentation on exports (<CODE>genmultibar</CODE>)</A>
<LI><A NAME="TOC805" HREF="ciao_202.html#SEC805">Documentation on internals (<CODE>genmultibar</CODE>)</A>
</UL>
<LI><A NAME="TOC806" HREF="ciao_203.html#SEC806">table_widget1 (library)</A>
<UL>
<LI><A NAME="TOC807" HREF="ciao_203.html#SEC807">Usage and interface (<CODE>table_widget1</CODE>)</A>
<LI><A NAME="TOC808" HREF="ciao_203.html#SEC808">Documentation on exports (<CODE>table_widget1</CODE>)</A>
<LI><A NAME="TOC809" HREF="ciao_203.html#SEC809">Documentation on internals (<CODE>table_widget1</CODE>)</A>
</UL>
<LI><A NAME="TOC810" HREF="ciao_204.html#SEC810">table_widget2 (library)</A>
<UL>
<LI><A NAME="TOC811" HREF="ciao_204.html#SEC811">Usage and interface (<CODE>table_widget2</CODE>)</A>
<LI><A NAME="TOC812" HREF="ciao_204.html#SEC812">Documentation on exports (<CODE>table_widget2</CODE>)</A>
</UL>
<LI><A NAME="TOC813" HREF="ciao_205.html#SEC813">table_widget3 (library)</A>
<UL>
<LI><A NAME="TOC814" HREF="ciao_205.html#SEC814">Usage and interface (<CODE>table_widget3</CODE>)</A>
<LI><A NAME="TOC815" HREF="ciao_205.html#SEC815">Documentation on exports (<CODE>table_widget3</CODE>)</A>
</UL>
<LI><A NAME="TOC816" HREF="ciao_206.html#SEC816">table_widget4 (library)</A>
<UL>
<LI><A NAME="TOC817" HREF="ciao_206.html#SEC817">Usage and interface (<CODE>table_widget4</CODE>)</A>
<LI><A NAME="TOC818" HREF="ciao_206.html#SEC818">Documentation on exports (<CODE>table_widget4</CODE>)</A>
</UL>
<LI><A NAME="TOC819" HREF="ciao_207.html#SEC819">test_format (library)</A>
<UL>
<LI><A NAME="TOC820" HREF="ciao_207.html#SEC820">Usage and interface (<CODE>test_format</CODE>)</A>
<LI><A NAME="TOC821" HREF="ciao_207.html#SEC821">Documentation on exports (<CODE>test_format</CODE>)</A>
</UL>
<LI><A NAME="TOC822" HREF="ciao_208.html#SEC822">ProVRML - a Prolog interface for VRML</A>
<UL>
<LI><A NAME="TOC823" HREF="ciao_208.html#SEC823">Usage and interface (<CODE>provrml</CODE>)</A>
<LI><A NAME="TOC824" HREF="ciao_208.html#SEC824">Documentation on exports (<CODE>provrml</CODE>)</A>
<LI><A NAME="TOC825" HREF="ciao_208.html#SEC825">Documentation on internals (<CODE>provrml</CODE>)</A>
</UL>
<LI><A NAME="TOC826" HREF="ciao_209.html#SEC826">boundary (library)</A>
<UL>
<LI><A NAME="TOC827" HREF="ciao_209.html#SEC827">Usage and interface (<CODE>boundary</CODE>)</A>
<LI><A NAME="TOC828" HREF="ciao_209.html#SEC828">Documentation on exports (<CODE>boundary</CODE>)</A>
</UL>
<LI><A NAME="TOC829" HREF="ciao_210.html#SEC829">dictionary (library)</A>
<UL>
<LI><A NAME="TOC830" HREF="ciao_210.html#SEC830">Usage and interface (<CODE>dictionary</CODE>)</A>
<LI><A NAME="TOC831" HREF="ciao_210.html#SEC831">Documentation on exports (<CODE>dictionary</CODE>)</A>
</UL>
<LI><A NAME="TOC832" HREF="ciao_211.html#SEC832">dictionary_tree (library)</A>
<UL>
<LI><A NAME="TOC833" HREF="ciao_211.html#SEC833">Usage and interface (<CODE>dictionary_tree</CODE>)</A>
<LI><A NAME="TOC834" HREF="ciao_211.html#SEC834">Documentation on exports (<CODE>dictionary_tree</CODE>)</A>
</UL>
<LI><A NAME="TOC835" HREF="ciao_212.html#SEC835">error (library)</A>
<UL>
<LI><A NAME="TOC836" HREF="ciao_212.html#SEC836">Usage and interface (<CODE>error</CODE>)</A>
<LI><A NAME="TOC837" HREF="ciao_212.html#SEC837">Documentation on exports (<CODE>error</CODE>)</A>
</UL>
<LI><A NAME="TOC838" HREF="ciao_213.html#SEC838">field_type (library)</A>
<UL>
<LI><A NAME="TOC839" HREF="ciao_213.html#SEC839">Usage and interface (<CODE>field_type</CODE>)</A>
<LI><A NAME="TOC840" HREF="ciao_213.html#SEC840">Documentation on exports (<CODE>field_type</CODE>)</A>
</UL>
<LI><A NAME="TOC841" HREF="ciao_214.html#SEC841">field_value (library)</A>
<UL>
<LI><A NAME="TOC842" HREF="ciao_214.html#SEC842">Usage and interface (<CODE>field_value</CODE>)</A>
<LI><A NAME="TOC843" HREF="ciao_214.html#SEC843">Documentation on exports (<CODE>field_value</CODE>)</A>
</UL>
<LI><A NAME="TOC844" HREF="ciao_215.html#SEC844">field_value_check (library)</A>
<UL>
<LI><A NAME="TOC845" HREF="ciao_215.html#SEC845">Usage and interface (<CODE>field_value_check</CODE>)</A>
<LI><A NAME="TOC846" HREF="ciao_215.html#SEC846">Documentation on exports (<CODE>field_value_check</CODE>)</A>
</UL>
<LI><A NAME="TOC847" HREF="ciao_216.html#SEC847">generator (library)</A>
<UL>
<LI><A NAME="TOC848" HREF="ciao_216.html#SEC848">Usage and interface (<CODE>generator</CODE>)</A>
<LI><A NAME="TOC849" HREF="ciao_216.html#SEC849">Documentation on exports (<CODE>generator</CODE>)</A>
</UL>
<LI><A NAME="TOC850" HREF="ciao_217.html#SEC850">generator_util (library)</A>
<UL>
<LI><A NAME="TOC851" HREF="ciao_217.html#SEC851">Usage and interface (<CODE>generator_util</CODE>)</A>
<LI><A NAME="TOC852" HREF="ciao_217.html#SEC852">Documentation on exports (<CODE>generator_util</CODE>)</A>
</UL>
<LI><A NAME="TOC853" HREF="ciao_218.html#SEC853">internal_types (library)</A>
<UL>
<LI><A NAME="TOC854" HREF="ciao_218.html#SEC854">Usage and interface (<CODE>internal_types</CODE>)</A>
<LI><A NAME="TOC855" HREF="ciao_218.html#SEC855">Documentation on exports (<CODE>internal_types</CODE>)</A>
</UL>
<LI><A NAME="TOC856" HREF="ciao_219.html#SEC856">io (library)</A>
<UL>
<LI><A NAME="TOC857" HREF="ciao_219.html#SEC857">Usage and interface (<CODE>io</CODE>)</A>
<LI><A NAME="TOC858" HREF="ciao_219.html#SEC858">Documentation on exports (<CODE>io</CODE>)</A>
</UL>
<LI><A NAME="TOC859" HREF="ciao_220.html#SEC859">lookup (library)</A>
<UL>
<LI><A NAME="TOC860" HREF="ciao_220.html#SEC860">Usage and interface (<CODE>lookup</CODE>)</A>
<LI><A NAME="TOC861" HREF="ciao_220.html#SEC861">Documentation on exports (<CODE>lookup</CODE>)</A>
</UL>
<LI><A NAME="TOC862" HREF="ciao_221.html#SEC862">parser (library)</A>
<UL>
<LI><A NAME="TOC863" HREF="ciao_221.html#SEC863">Usage and interface (<CODE>parser</CODE>)</A>
<LI><A NAME="TOC864" HREF="ciao_221.html#SEC864">Documentation on exports (<CODE>parser</CODE>)</A>
</UL>
<LI><A NAME="TOC865" HREF="ciao_222.html#SEC865">parser_util (library)</A>
<UL>
<LI><A NAME="TOC866" HREF="ciao_222.html#SEC866">Usage and interface (<CODE>parser_util</CODE>)</A>
<LI><A NAME="TOC867" HREF="ciao_222.html#SEC867">Documentation on exports (<CODE>parser_util</CODE>)</A>
</UL>
<LI><A NAME="TOC868" HREF="ciao_223.html#SEC868">possible (library)</A>
<UL>
<LI><A NAME="TOC869" HREF="ciao_223.html#SEC869">Usage and interface (<CODE>possible</CODE>)</A>
<LI><A NAME="TOC870" HREF="ciao_223.html#SEC870">Documentation on exports (<CODE>possible</CODE>)</A>
</UL>
<LI><A NAME="TOC871" HREF="ciao_224.html#SEC871">tokeniser (library)</A>
<UL>
<LI><A NAME="TOC872" HREF="ciao_224.html#SEC872">Usage and interface (<CODE>tokeniser</CODE>)</A>
<LI><A NAME="TOC873" HREF="ciao_224.html#SEC873">Documentation on exports (<CODE>tokeniser</CODE>)</A>
</UL>
<LI><A NAME="TOC874" HREF="ciao_225.html#SEC874">Double linked list</A>
<UL>
<LI><A NAME="TOC875" HREF="ciao_225.html#SEC875">Usage and interface (<CODE>ddlist</CODE>)</A>
<LI><A NAME="TOC876" HREF="ciao_225.html#SEC876">Documentation on exports (<CODE>ddlist</CODE>)</A>
<LI><A NAME="TOC877" HREF="ciao_225.html#SEC877">Other information (<CODE>ddlist</CODE>)</A>
<UL>
<LI><A NAME="TOC878" HREF="ciao_225.html#SEC878">Using insert_after</A>
<LI><A NAME="TOC879" HREF="ciao_225.html#SEC879">More Complex example</A>
</UL>
</UL>
<LI><A NAME="TOC880" HREF="ciao_226.html#SEC880">Measuring features from predicates (time cost or memory used...)</A>
<UL>
<LI><A NAME="TOC881" HREF="ciao_226.html#SEC881">Usage and interface (<CODE>time_analyzer</CODE>)</A>
<LI><A NAME="TOC882" HREF="ciao_226.html#SEC882">Documentation on exports (<CODE>time_analyzer</CODE>)</A>
</UL>
<LI><A NAME="TOC883" HREF="ciao_227.html#SEC883">Printing graph using gnuplot as auxiliary tool.</A>
<UL>
<LI><A NAME="TOC884" HREF="ciao_227.html#SEC884">Usage and interface (<CODE>gnuplot</CODE>)</A>
<LI><A NAME="TOC885" HREF="ciao_227.html#SEC885">Documentation on exports (<CODE>gnuplot</CODE>)</A>
</UL>
<LI><A NAME="TOC886" HREF="ciao_228.html#SEC886">Automatic modules caller tester</A>
<UL>
<LI><A NAME="TOC887" HREF="ciao_228.html#SEC887">Usage and interface (<CODE>modtester</CODE>)</A>
<LI><A NAME="TOC888" HREF="ciao_228.html#SEC888">Documentation on exports (<CODE>modtester</CODE>)</A>
</UL>
<LI><A NAME="TOC889" HREF="ciao_229.html#SEC889">Automatic tester</A>
<UL>
<LI><A NAME="TOC890" HREF="ciao_229.html#SEC890">Usage and interface (<CODE>tester</CODE>)</A>
<LI><A NAME="TOC891" HREF="ciao_229.html#SEC891">Documentation on exports (<CODE>tester</CODE>)</A>
<LI><A NAME="TOC892" HREF="ciao_229.html#SEC892">Other information (<CODE>tester</CODE>)</A>
<UL>
<LI><A NAME="TOC893" HREF="ciao_229.html#SEC893">Understanding run_test predicate</A>
<LI><A NAME="TOC894" HREF="ciao_229.html#SEC894">More complex example</A>
</UL>
</UL>
<LI><A NAME="TOC895" HREF="ciao_230.html#SEC895">PART XII - Appendices</A>
<LI><A NAME="TOC896" HREF="ciao_231.html#SEC896">Installing Ciao from the source distribution</A>
<UL>
<LI><A NAME="TOC897" HREF="ciao_231.html#SEC897">Un*x installation summary</A>
<LI><A NAME="TOC898" HREF="ciao_231.html#SEC898">Un*x full installation instructions</A>
<LI><A NAME="TOC899" HREF="ciao_231.html#SEC899">Checking for correct installation on Un*x</A>
<LI><A NAME="TOC900" HREF="ciao_231.html#SEC900">Cleaning up the source directory</A>
<LI><A NAME="TOC901" HREF="ciao_231.html#SEC901">Multiarchitecture support</A>
<LI><A NAME="TOC902" HREF="ciao_231.html#SEC902">Installation and compilation under Windows</A>
<LI><A NAME="TOC903" HREF="ciao_231.html#SEC903">Porting to currently unsupported operating systems</A>
<LI><A NAME="TOC904" HREF="ciao_231.html#SEC904">Troubleshooting (nasty messages and nifty workarounds)</A>
</UL>
<LI><A NAME="TOC905" HREF="ciao_232.html#SEC905">Installing Ciao from a Win32 binary distribution</A>
<UL>
<LI><A NAME="TOC906" HREF="ciao_232.html#SEC906">Win32 binary installation summary</A>
<LI><A NAME="TOC907" HREF="ciao_232.html#SEC907">Checking for correct installation on Win32</A>
<LI><A NAME="TOC908" HREF="ciao_232.html#SEC908">Compiling the miscellaneous utilities under Windows</A>
<LI><A NAME="TOC909" HREF="ciao_232.html#SEC909">Server installation under Windows</A>
<LI><A NAME="TOC910" HREF="ciao_232.html#SEC910">CGI execution under IIS</A>
<LI><A NAME="TOC911" HREF="ciao_232.html#SEC911">Uninstallation under Windows</A>
</UL>
<LI><A NAME="TOC912" HREF="ciao_233.html#SEC912">Beyond installation</A>
<UL>
<LI><A NAME="TOC913" HREF="ciao_233.html#SEC913">Architecture-specific notes and limitations</A>
<LI><A NAME="TOC914" HREF="ciao_233.html#SEC914">Keeping up to date with the Ciao users mailing list</A>
<LI><A NAME="TOC915" HREF="ciao_233.html#SEC915">Downloading new versions</A>
<LI><A NAME="TOC916" HREF="ciao_233.html#SEC916">Reporting bugs</A>
</UL>
<LI><A NAME="TOC917" HREF="ciao_234.html#SEC917">References</A>
<LI><A NAME="TOC918" HREF="ciao_235.html#SEC918">Library/Module Definition Index</A>
<LI><A NAME="TOC919" HREF="ciao_236.html#SEC919">Predicate/Method Definition Index</A>
<LI><A NAME="TOC920" HREF="ciao_237.html#SEC920">Property Definition Index</A>
<LI><A NAME="TOC921" HREF="ciao_238.html#SEC921">Regular Type Definition Index</A>
<LI><A NAME="TOC922" HREF="ciao_239.html#SEC922">Declaration Definition Index</A>
<LI><A NAME="TOC923" HREF="ciao_240.html#SEC923">Concept Definition Index</A>
<LI><A NAME="TOC924" HREF="ciao_241.html#SEC924">Global Index</A>
</UL>
<P><HR><P>
This document was generated on 28 January 2007 using
<A HREF="http://wwwinfo.cern.ch/dis/texi2html/">texi2html</A>&nbsp;1.56k + clip patches and <A href="http://www.clip.dia.fi.upm.es/Software">lpdoc</A>.
</BODY>
</HTML>