/usr/lib/swi-prolog/doc/Manual/Contents.html

<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">

<html>
<head>
<title>SWI-Prolog 7.1.16 Reference Manual</title><link rel="home" href="index.html">
<link rel="contents" href="Contents.html">
<link rel="index" href="DocIndex.html">
<link rel="summary" href="summary.html">
<link rel="previous" href="index.html">
<link rel="next" href="intro.html">

<style type="text/css">

/* Style sheet for SWI-Prolog latex2html
*/

dd.defbody
{ margin-bottom: 1em;
}

dt.pubdef, dt.multidef
{ color: #fff;
padding: 2px 10px 0px 10px;
margin-bottom: 5px;
font-size: 18px;
vertical-align: middle;
overflow: hidden;
}

dt.pubdef { background-color: #0c3d6e; }
dt.multidef { background-color: #ef9439; }

.bib dd
{ margin-bottom: 1em;
}

.bib dt
{ float: left;
margin-right: 1.3ex;
}

pre.code
{ margin-left: 1.5em;
margin-right: 1.5em;
border: 1px dotted;
padding-top: 5px;
padding-left: 5px;
padding-bottom: 5px;
background-color: #f8f8f8;
}

div.navigate
{ text-align: center;
background-color: #f0f0f0;
border: 1px dotted;
padding: 5px;
}

div.title
{ text-align: center;
padding-bottom: 1em;
font-size: 200%;
font-weight: bold;
}

div.author
{ text-align: center;
font-style: italic;
}

div.abstract
{ margin-top: 2em;
background-color: #f0f0f0;
border: 1px dotted;
padding: 5px;
margin-left: 10%; margin-right:10%;
}

div.abstract-title
{ text-align: center;
padding: 5px;
font-size: 120%;
font-weight: bold;
}

div.toc-h1
{ font-size: 200%;
font-weight: bold;
}

div.toc-h2
{ font-size: 120%;
font-weight: bold;
margin-left: 2em;
}

div.toc-h3
{ font-size: 100%;
font-weight: bold;
margin-left: 4em;
}

div.toc-h4
{ font-size: 100%;
margin-left: 6em;
}

span.sec-nr
{
}

span.sec-title
{
}

span.pred-ext
{ font-weight: bold;
}

span.pred-tag
{ float: right;
padding-top: 0.2em;
font-size: 80%;
font-style: italic;
color: #fff;
}

div.caption
{ width: 80%;
margin: auto;
text-align:center;
}

/* Footnotes */
.fn {
color: red;
font-size: 70%;
}

.fn-text, .fnp {
position: absolute;
top: auto;
left: 10%;
border: 1px solid #000;
box-shadow: 5px 5px 5px #888;
display: none;
background: #fff;
color: #000;
margin-top: 25px;
padding: 8px 12px;
font-size: larger;
}

sup:hover span.fn-text
{ display: block;
}

/* Lists */

dl.latex
{ margin-top: 1ex;
margin-bottom: 0.5ex;
}

dl.latex dl.latex dd.defbody
{ margin-bottom: 0.5ex;
}

/* PlDoc Tags */

dl.tags
{ font-size: 90%;
margin-left: 5ex;
margin-top: 1ex;
margin-bottom: 0.5ex;
}

dl.tags dt
{ margin-left: 0pt;
font-weight: bold;
}

dl.tags dd
{ margin-left: 3ex;
}

td.param
{ font-style: italic;
font-weight: bold;
}

/* Index */

dt.index-sep
{ font-weight: bold;
font-size: +1;
margin-top: 1ex;
}

/* Tables */

table.center
{ margin: auto;
}

table.latex
{ border-collapse:collapse;
}

table.latex tr
{ vertical-align: text-top;
}

table.latex td,th
{ padding: 2px 1em;
}

table.latex tr.hline td,th
{ border-top: 1px solid black;
}

table.frame-box
{ border: 2px solid black;
}

</style>
</head>
<body style="background:white">
<div class="navigate"><a class="nav" href="index.html"><img src="home.gif" alt="Home"></a>
<a class="nav" href="Contents.html"><img src="index.gif" alt="Contents"></a>
<a class="nav" href="DocIndex.html"><img src="yellow_pages.gif" alt="Index"></a>
<a class="nav" href="summary.html"><img src="info.gif" alt="Summary"></a>
<a class="nav" href="index.html"><img src="prev.gif" alt="Previous"></a>
<a class="nav" href="intro.html"><img src="next.gif" alt="Next"></a>
</div>

<h1><a id="document-contents">Table of Contents</a></h1>

<div class="toc">
<div class="toc-h1"><a class="sec" href="intro.html"><span class="sec-nr">1</span> <span class="sec-title">Introduction</span></a></div>
<div class="toc-h2"><a class="sec" href="swiprolog.html"><span class="sec-nr">1.1</span> <span class="sec-title">Positioning 
SWI-Prolog</span></a></div>
<div class="toc-h2"><a class="sec" href="status.html"><span class="sec-nr">1.2</span> <span class="sec-title">Status 
and releases</span></a></div>
<div class="toc-h2"><a class="sec" href="swiorother.html"><span class="sec-nr">1.3</span> <span class="sec-title">Should 
I be using SWI-Prolog?</span></a></div>
<div class="toc-h2"><a class="sec" href="sponsor.html"><span class="sec-nr">1.4</span> <span class="sec-title">Support 
the SWI-Prolog project</span></a></div>
<div class="toc-h2"><a class="sec" href="implhistory.html"><span class="sec-nr">1.5</span> <span class="sec-title">Implementation 
history</span></a></div>
<div class="toc-h2"><a class="sec" href="acknowledge.html"><span class="sec-nr">1.6</span> <span class="sec-title">Acknowledgements</span></a></div>
<div class="toc-h1"><a class="sec" href="overview.html"><span class="sec-nr">2</span> <span class="sec-title">Overview</span></a></div>
<div class="toc-h2"><a class="sec" href="quickstart.html"><span class="sec-nr">2.1</span> <span class="sec-title">Getting 
started quickly</span></a></div>
<div class="toc-h3"><a class="sec" href="quickstart.html#sec:2.1.1"><span class="sec-nr">2.1.1</span> <span class="sec-title">Starting 
SWI-Prolog</span></a></div>
<div class="toc-h4"><a class="sec" href="quickstart.html#sec:2.1.1.1"><span class="sec-nr">2.1.1.1</span> <span class="sec-title">Starting 
SWI-Prolog on Unix</span></a></div>
<div class="toc-h4"><a class="sec" href="quickstart.html#sec:2.1.1.2"><span class="sec-nr">2.1.1.2</span> <span class="sec-title">Starting 
SWI-Prolog on Windows</span></a></div>
<div class="toc-h3"><a class="sec" href="quickstart.html#sec:2.1.2"><span class="sec-nr">2.1.2</span> <span class="sec-title">Executing 
a query</span></a></div>
<div class="toc-h2"><a class="sec" href="initfile.html"><span class="sec-nr">2.2</span> <span class="sec-title">The 
user's initialisation file</span></a></div>
<div class="toc-h2"><a class="sec" href="initgoal.html"><span class="sec-nr">2.3</span> <span class="sec-title">Initialisation 
files and goals</span></a></div>
<div class="toc-h2"><a class="sec" href="cmdline.html"><span class="sec-nr">2.4</span> <span class="sec-title">Command 
line options</span></a></div>
<div class="toc-h3"><a class="sec" href="cmdline.html#sec:2.4.1"><span class="sec-nr">2.4.1</span> <span class="sec-title">Informational 
command line options</span></a></div>
<div class="toc-h3"><a class="sec" href="cmdline.html#sec:2.4.2"><span class="sec-nr">2.4.2</span> <span class="sec-title">Command 
line options for running Prolog</span></a></div>
<div class="toc-h3"><a class="sec" href="cmdline.html#sec:2.4.3"><span class="sec-nr">2.4.3</span> <span class="sec-title">Controlling 
the stack sizes</span></a></div>
<div class="toc-h3"><a class="sec" href="cmdline.html#sec:2.4.4"><span class="sec-nr">2.4.4</span> <span class="sec-title">Running 
goals from the command line</span></a></div>
<div class="toc-h3"><a class="sec" href="cmdline.html#sec:2.4.5"><span class="sec-nr">2.4.5</span> <span class="sec-title">Compilation 
options</span></a></div>
<div class="toc-h3"><a class="sec" href="cmdline.html#sec:2.4.6"><span class="sec-nr">2.4.6</span> <span class="sec-title">Maintenance 
options</span></a></div>
<div class="toc-h2"><a class="sec" href="gemacs.html"><span class="sec-nr">2.5</span> <span class="sec-title">GNU 
Emacs Interface</span></a></div>
<div class="toc-h2"><a class="sec" href="help.html"><span class="sec-nr">2.6</span> <span class="sec-title">Online 
Help</span></a></div>
<div class="toc-h2"><a class="sec" href="history.html"><span class="sec-nr">2.7</span> <span class="sec-title">Command 
line history</span></a></div>
<div class="toc-h2"><a class="sec" href="topvars.html"><span class="sec-nr">2.8</span> <span class="sec-title">Reuse 
of top-level bindings</span></a></div>
<div class="toc-h2"><a class="sec" href="debugoverview.html"><span class="sec-nr">2.9</span> <span class="sec-title">Overview 
of the Debugger</span></a></div>
<div class="toc-h2"><a class="sec" href="compilation.html"><span class="sec-nr">2.10</span> <span class="sec-title">Compilation</span></a></div>
<div class="toc-h3"><a class="sec" href="compilation.html#sec:2.10.1"><span class="sec-nr">2.10.1</span> <span class="sec-title">During 
program development</span></a></div>
<div class="toc-h3"><a class="sec" href="compilation.html#sec:2.10.2"><span class="sec-nr">2.10.2</span> <span class="sec-title">For 
running the result</span></a></div>
<div class="toc-h4"><a class="sec" href="compilation.html#sec:2.10.2.1"><span class="sec-nr">2.10.2.1</span> <span class="sec-title">Using 
PrologScript</span></a></div>
<div class="toc-h4"><a class="sec" href="compilation.html#sec:2.10.2.2"><span class="sec-nr">2.10.2.2</span> <span class="sec-title">Creating 
a shell script</span></a></div>
<div class="toc-h4"><a class="sec" href="compilation.html#sec:2.10.2.3"><span class="sec-nr">2.10.2.3</span> <span class="sec-title">Creating 
a saved state</span></a></div>
<div class="toc-h4"><a class="sec" href="compilation.html#sec:2.10.2.4"><span class="sec-nr">2.10.2.4</span> <span class="sec-title">Compilation 
using the -c command line option</span></a></div>
<div class="toc-h2"><a class="sec" href="flags.html"><span class="sec-nr">2.11</span> <span class="sec-title">Environment 
Control (Prolog flags)</span></a></div>
<div class="toc-h2"><a class="sec" href="hooks.html"><span class="sec-nr">2.12</span> <span class="sec-title">An 
overview of hook predicates</span></a></div>
<div class="toc-h2"><a class="sec" href="autoload.html"><span class="sec-nr">2.13</span> <span class="sec-title">Automatic 
loading of libraries</span></a></div>
<div class="toc-h2"><a class="sec" href="gc.html"><span class="sec-nr">2.14</span> <span class="sec-title">Garbage 
Collection</span></a></div>
<div class="toc-h2"><a class="sec" href="syntax.html"><span class="sec-nr">2.15</span> <span class="sec-title">Syntax 
Notes</span></a></div>
<div class="toc-h3"><a class="sec" href="syntax.html#sec:2.15.1"><span class="sec-nr">2.15.1</span> <span class="sec-title">ISO 
Syntax Support</span></a></div>
<div class="toc-h4"><a class="sec" href="syntax.html#sec:2.15.1.1"><span class="sec-nr">2.15.1.1</span> <span class="sec-title">Processor 
Character Set</span></a></div>
<div class="toc-h4"><a class="sec" href="syntax.html#sec:2.15.1.2"><span class="sec-nr">2.15.1.2</span> <span class="sec-title">Character 
Escape Syntax</span></a></div>
<div class="toc-h4"><a class="sec" href="syntax.html#sec:2.15.1.3"><span class="sec-nr">2.15.1.3</span> <span class="sec-title">Syntax 
for non-decimal numbers</span></a></div>
<div class="toc-h4"><a class="sec" href="syntax.html#sec:2.15.1.4"><span class="sec-nr">2.15.1.4</span> <span class="sec-title">Using 
digit groups in large integers</span></a></div>
<div class="toc-h4"><a class="sec" href="syntax.html#sec:2.15.1.5"><span class="sec-nr">2.15.1.5</span> <span class="sec-title">Unicode 
Prolog source</span></a></div>
<div class="toc-h4"><a class="sec" href="syntax.html#sec:2.15.1.6"><span class="sec-nr">2.15.1.6</span> <span class="sec-title">Singleton 
variable checking</span></a></div>
<div class="toc-h2"><a class="sec" href="cyclic.html"><span class="sec-nr">2.16</span> <span class="sec-title">Rational 
trees (cyclic terms)</span></a></div>
<div class="toc-h2"><a class="sec" href="jitindex.html"><span class="sec-nr">2.17</span> <span class="sec-title">Just-in-time 
clause indexing</span></a></div>
<div class="toc-h3"><a class="sec" href="jitindex.html#sec:2.17.1"><span class="sec-nr">2.17.1</span> <span class="sec-title">Future 
directions</span></a></div>
<div class="toc-h3"><a class="sec" href="jitindex.html#sec:2.17.2"><span class="sec-nr">2.17.2</span> <span class="sec-title">Indexing 
and portability</span></a></div>
<div class="toc-h2"><a class="sec" href="widechars.html"><span class="sec-nr">2.18</span> <span class="sec-title">Wide 
character support</span></a></div>
<div class="toc-h3"><a class="sec" href="widechars.html#sec:2.18.1"><span class="sec-nr">2.18.1</span> <span class="sec-title">Wide 
character encodings on streams</span></a></div>
<div class="toc-h4"><a class="sec" href="widechars.html#sec:2.18.1.1"><span class="sec-nr">2.18.1.1</span> <span class="sec-title">BOM: 
Byte Order Mark</span></a></div>
<div class="toc-h2"><a class="sec" href="limits.html"><span class="sec-nr">2.19</span> <span class="sec-title">System 
limits</span></a></div>
<div class="toc-h3"><a class="sec" href="limits.html#sec:2.19.1"><span class="sec-nr">2.19.1</span> <span class="sec-title">Limits 
on memory areas</span></a></div>
<div class="toc-h4"><a class="sec" href="limits.html#sec:2.19.1.1"><span class="sec-nr">2.19.1.1</span> <span class="sec-title">The 
heap</span></a></div>
<div class="toc-h3"><a class="sec" href="limits.html#sec:2.19.2"><span class="sec-nr">2.19.2</span> <span class="sec-title">Other 
Limits</span></a></div>
<div class="toc-h3"><a class="sec" href="limits.html#sec:2.19.3"><span class="sec-nr">2.19.3</span> <span class="sec-title">Reserved 
Names</span></a></div>
<div class="toc-h2"><a class="sec" href="64bits.html"><span class="sec-nr">2.20</span> <span class="sec-title">SWI-Prolog 
and 64-bit machines</span></a></div>
<div class="toc-h3"><a class="sec" href="64bits.html#sec:2.20.1"><span class="sec-nr">2.20.1</span> <span class="sec-title">Supported 
platforms</span></a></div>
<div class="toc-h3"><a class="sec" href="64bits.html#sec:2.20.2"><span class="sec-nr">2.20.2</span> <span class="sec-title">Comparing 
32- and 64-bits Prolog</span></a></div>
<div class="toc-h3"><a class="sec" href="64bits.html#sec:2.20.3"><span class="sec-nr">2.20.3</span> <span class="sec-title">Choosing 
between 32- and 64-bit Prolog</span></a></div>
<div class="toc-h1"><a class="sec" href="IDE.html"><span class="sec-nr">3</span> <span class="sec-title">Initialising 
and Managing a Prolog Project</span></a></div>
<div class="toc-h2"><a class="sec" href="projectfiles.html"><span class="sec-nr">3.1</span> <span class="sec-title">The 
project source files</span></a></div>
<div class="toc-h3"><a class="sec" href="projectfiles.html#sec:3.1.1"><span class="sec-nr">3.1.1</span> <span class="sec-title">File 
Names and Locations</span></a></div>
<div class="toc-h4"><a class="sec" href="projectfiles.html#sec:3.1.1.1"><span class="sec-nr">3.1.1.1</span> <span class="sec-title">File 
Name Extensions</span></a></div>
<div class="toc-h4"><a class="sec" href="projectfiles.html#sec:3.1.1.2"><span class="sec-nr">3.1.1.2</span> <span class="sec-title">Project 
Directories</span></a></div>
<div class="toc-h4"><a class="sec" href="projectfiles.html#sec:3.1.1.3"><span class="sec-nr">3.1.1.3</span> <span class="sec-title">Sub-projects 
using search paths</span></a></div>
<div class="toc-h3"><a class="sec" href="projectfiles.html#sec:3.1.2"><span class="sec-nr">3.1.2</span> <span class="sec-title">Project 
Special Files</span></a></div>
<div class="toc-h3"><a class="sec" href="projectfiles.html#sec:3.1.3"><span class="sec-nr">3.1.3</span> <span class="sec-title">International 
source files</span></a></div>
<div class="toc-h2"><a class="sec" href="usingmodules.html"><span class="sec-nr">3.2</span> <span class="sec-title">Using 
modules</span></a></div>
<div class="toc-h2"><a class="sec" href="editreload.html"><span class="sec-nr">3.3</span> <span class="sec-title">The 
test-edit-reload cycle</span></a></div>
<div class="toc-h3"><a class="sec" href="editreload.html#sec:3.3.1"><span class="sec-nr">3.3.1</span> <span class="sec-title">Locating 
things to edit</span></a></div>
<div class="toc-h3"><a class="sec" href="editreload.html#sec:3.3.2"><span class="sec-nr">3.3.2</span> <span class="sec-title">Editing 
and incremental compilation</span></a></div>
<div class="toc-h2"><a class="sec" href="pceemacs.html"><span class="sec-nr">3.4</span> <span class="sec-title">Using 
the PceEmacs built-in editor</span></a></div>
<div class="toc-h3"><a class="sec" href="pceemacs.html#sec:3.4.1"><span class="sec-nr">3.4.1</span> <span class="sec-title">Activating 
PceEmacs</span></a></div>
<div class="toc-h3"><a class="sec" href="pceemacs.html#sec:3.4.2"><span class="sec-nr">3.4.2</span> <span class="sec-title">Bluffing 
through PceEmacs</span></a></div>
<div class="toc-h4"><a class="sec" href="pceemacs.html#sec:3.4.2.1"><span class="sec-nr">3.4.2.1</span> <span class="sec-title">Edit 
modes</span></a></div>
<div class="toc-h4"><a class="sec" href="pceemacs.html#sec:3.4.2.2"><span class="sec-nr">3.4.2.2</span> <span class="sec-title">Frequently 
used editor commands</span></a></div>
<div class="toc-h3"><a class="sec" href="pceemacs.html#sec:3.4.3"><span class="sec-nr">3.4.3</span> <span class="sec-title">Prolog 
Mode</span></a></div>
<div class="toc-h4"><a class="sec" href="pceemacs.html#sec:3.4.3.1"><span class="sec-nr">3.4.3.1</span> <span class="sec-title">Finding 
your way around</span></a></div>
<div class="toc-h2"><a class="sec" href="guitracer.html"><span class="sec-nr">3.5</span> <span class="sec-title">The 
Graphical Debugger</span></a></div>
<div class="toc-h3"><a class="sec" href="guitracer.html#sec:3.5.1"><span class="sec-nr">3.5.1</span> <span class="sec-title">Invoking 
the window-based debugger</span></a></div>
<div class="toc-h2"><a class="sec" href="navigator.html"><span class="sec-nr">3.6</span> <span class="sec-title">The 
Prolog Navigator</span></a></div>
<div class="toc-h2"><a class="sec" href="xref.html"><span class="sec-nr">3.7</span> <span class="sec-title">Cross-referencer</span></a></div>
<div class="toc-h2"><a class="sec" href="idepreds.html"><span class="sec-nr">3.8</span> <span class="sec-title">Accessing 
the IDE from your program</span></a></div>
<div class="toc-h2"><a class="sec" href="idesummary.html"><span class="sec-nr">3.9</span> <span class="sec-title">Summary 
of the IDE</span></a></div>
<div class="toc-h1"><a class="sec" href="builtin.html"><span class="sec-nr">4</span> <span class="sec-title">Built-in 
Predicates</span></a></div>
<div class="toc-h2"><a class="sec" href="preddesc.html"><span class="sec-nr">4.1</span> <span class="sec-title">Notation 
of Predicate Descriptions</span></a></div>
<div class="toc-h2"><a class="sec" href="chars.html"><span class="sec-nr">4.2</span> <span class="sec-title">Character 
representation</span></a></div>
<div class="toc-h2"><a class="sec" href="consulting.html"><span class="sec-nr">4.3</span> <span class="sec-title">Loading 
Prolog source files</span></a></div>
<div class="toc-h3"><a class="sec" href="consulting.html#sec:4.3.1"><span class="sec-nr">4.3.1</span> <span class="sec-title">Conditional 
compilation and program transformation</span></a></div>
<div class="toc-h4"><a class="sec" href="consulting.html#sec:4.3.1.1"><span class="sec-nr">4.3.1.1</span> <span class="sec-title">Program 
transformation with source layout info</span></a></div>
<div class="toc-h4"><a class="sec" href="consulting.html#sec:4.3.1.2"><span class="sec-nr">4.3.1.2</span> <span class="sec-title">Conditional 
compilation</span></a></div>
<div class="toc-h3"><a class="sec" href="consulting.html#sec:4.3.2"><span class="sec-nr">4.3.2</span> <span class="sec-title">Loading 
files, active code and threads</span></a></div>
<div class="toc-h4"><a class="sec" href="consulting.html#sec:4.3.2.1"><span class="sec-nr">4.3.2.1</span> <span class="sec-title">Compilation 
of mutually dependent code</span></a></div>
<div class="toc-h4"><a class="sec" href="consulting.html#sec:4.3.2.2"><span class="sec-nr">4.3.2.2</span> <span class="sec-title">Compilation 
with multiple threads</span></a></div>
<div class="toc-h4"><a class="sec" href="consulting.html#sec:4.3.2.3"><span class="sec-nr">4.3.2.3</span> <span class="sec-title">Reloading 
running code</span></a></div>
<div class="toc-h3"><a class="sec" href="consulting.html#sec:4.3.3"><span class="sec-nr">4.3.3</span> <span class="sec-title">Quick 
load files</span></a></div>
<div class="toc-h2"><a class="sec" href="edit.html"><span class="sec-nr">4.4</span> <span class="sec-title">Editor 
Interface</span></a></div>
<div class="toc-h3"><a class="sec" href="edit.html#sec:4.4.1"><span class="sec-nr">4.4.1</span> <span class="sec-title">Customizing 
the editor interface</span></a></div>
<div class="toc-h2"><a class="sec" href="listing.html"><span class="sec-nr">4.5</span> <span class="sec-title">List 
the program, predicates or clauses</span></a></div>
<div class="toc-h2"><a class="sec" href="typetest.html"><span class="sec-nr">4.6</span> <span class="sec-title">Verify 
Type of a Term</span></a></div>
<div class="toc-h2"><a class="sec" href="compare.html"><span class="sec-nr">4.7</span> <span class="sec-title">Comparison 
and Unification of Terms</span></a></div>
<div class="toc-h3"><a class="sec" href="compare.html#sec:4.7.1"><span class="sec-nr">4.7.1</span> <span class="sec-title">Standard 
Order of Terms</span></a></div>
<div class="toc-h3"><a class="sec" href="compare.html#sec:4.7.2"><span class="sec-nr">4.7.2</span> <span class="sec-title">Special 
unification and comparison predicates</span></a></div>
<div class="toc-h2"><a class="sec" href="control.html"><span class="sec-nr">4.8</span> <span class="sec-title">Control 
Predicates</span></a></div>
<div class="toc-h2"><a class="sec" href="metacall.html"><span class="sec-nr">4.9</span> <span class="sec-title">Meta-Call 
Predicates</span></a></div>
<div class="toc-h2"><a class="sec" href="exception.html"><span class="sec-nr">4.10</span> <span class="sec-title">ISO 
compliant Exception handling</span></a></div>
<div class="toc-h3"><a class="sec" href="exception.html#sec:4.10.1"><span class="sec-nr">4.10.1</span> <span class="sec-title">Debugging 
and exceptions</span></a></div>
<div class="toc-h3"><a class="sec" href="exception.html#sec:4.10.2"><span class="sec-nr">4.10.2</span> <span class="sec-title">The 
exception term</span></a></div>
<div class="toc-h3"><a class="sec" href="exception.html#sec:4.10.3"><span class="sec-nr">4.10.3</span> <span class="sec-title">Printing 
messages</span></a></div>
<div class="toc-h4"><a class="sec" href="exception.html#sec:4.10.3.1"><span class="sec-nr">4.10.3.1</span> <span class="sec-title">Printing 
from libraries</span></a></div>
<div class="toc-h2"><a class="sec" href="signal.html"><span class="sec-nr">4.11</span> <span class="sec-title">Handling 
signals</span></a></div>
<div class="toc-h3"><a class="sec" href="signal.html#sec:4.11.1"><span class="sec-nr">4.11.1</span> <span class="sec-title">Notes 
on signal handling</span></a></div>
<div class="toc-h2"><a class="sec" href="DCG.html"><span class="sec-nr">4.12</span> <span class="sec-title">DCG 
Grammar rules</span></a></div>
<div class="toc-h2"><a class="sec" href="db.html"><span class="sec-nr">4.13</span> <span class="sec-title">Database</span></a></div>
<div class="toc-h3"><a class="sec" href="db.html#sec:4.13.1"><span class="sec-nr">4.13.1</span> <span class="sec-title">Update 
view</span></a></div>
<div class="toc-h3"><a class="sec" href="db.html#sec:4.13.2"><span class="sec-nr">4.13.2</span> <span class="sec-title">Indexing 
databases</span></a></div>
<div class="toc-h2"><a class="sec" href="dynamic.html"><span class="sec-nr">4.14</span> <span class="sec-title">Declaring 
predicate properties</span></a></div>
<div class="toc-h2"><a class="sec" href="examineprog.html"><span class="sec-nr">4.15</span> <span class="sec-title">Examining 
the program</span></a></div>
<div class="toc-h2"><a class="sec" href="IO.html"><span class="sec-nr">4.16</span> <span class="sec-title">Input 
and output</span></a></div>
<div class="toc-h3"><a class="sec" href="IO.html#sec:4.16.1"><span class="sec-nr">4.16.1</span> <span class="sec-title">Predefined 
stream aliases</span></a></div>
<div class="toc-h3"><a class="sec" href="IO.html#sec:4.16.2"><span class="sec-nr">4.16.2</span> <span class="sec-title">ISO 
Input and Output Streams</span></a></div>
<div class="toc-h3"><a class="sec" href="IO.html#sec:4.16.3"><span class="sec-nr">4.16.3</span> <span class="sec-title">Edinburgh-style 
I/O</span></a></div>
<div class="toc-h3"><a class="sec" href="IO.html#sec:4.16.4"><span class="sec-nr">4.16.4</span> <span class="sec-title">Switching 
between Edinburgh and ISO I/O</span></a></div>
<div class="toc-h3"><a class="sec" href="IO.html#sec:4.16.5"><span class="sec-nr">4.16.5</span> <span class="sec-title">Write 
onto atoms, code-lists, etc.</span></a></div>
<div class="toc-h2"><a class="sec" href="streamstat.html"><span class="sec-nr">4.17</span> <span class="sec-title">Status 
of streams</span></a></div>
<div class="toc-h2"><a class="sec" href="chario.html"><span class="sec-nr">4.18</span> <span class="sec-title">Primitive 
character I/O</span></a></div>
<div class="toc-h2"><a class="sec" href="termrw.html"><span class="sec-nr">4.19</span> <span class="sec-title">Term 
reading and writing</span></a></div>
<div class="toc-h2"><a class="sec" href="manipterm.html"><span class="sec-nr">4.20</span> <span class="sec-title">Analysing 
and Constructing Terms</span></a></div>
<div class="toc-h3"><a class="sec" href="manipterm.html#sec:4.20.1"><span class="sec-nr">4.20.1</span> <span class="sec-title">Non-logical 
operations on terms</span></a></div>
<div class="toc-h2"><a class="sec" href="manipatom.html"><span class="sec-nr">4.21</span> <span class="sec-title">Analysing 
and Constructing Atoms</span></a></div>
<div class="toc-h2"><a class="sec" href="locale.html"><span class="sec-nr">4.22</span> <span class="sec-title">Localization 
(locale) support</span></a></div>
<div class="toc-h2"><a class="sec" href="chartype.html"><span class="sec-nr">4.23</span> <span class="sec-title">Character 
properties</span></a></div>
<div class="toc-h3"><a class="sec" href="chartype.html#sec:4.23.1"><span class="sec-nr">4.23.1</span> <span class="sec-title">Case 
conversion</span></a></div>
<div class="toc-h3"><a class="sec" href="chartype.html#sec:4.23.2"><span class="sec-nr">4.23.2</span> <span class="sec-title">White 
space normalization</span></a></div>
<div class="toc-h3"><a class="sec" href="chartype.html#sec:4.23.3"><span class="sec-nr">4.23.3</span> <span class="sec-title">Language-specific 
comparison</span></a></div>
<div class="toc-h2"><a class="sec" href="strings.html"><span class="sec-nr">4.24</span> <span class="sec-title">Representing 
text in strings</span></a></div>
<div class="toc-h2"><a class="sec" href="operators.html"><span class="sec-nr">4.25</span> <span class="sec-title">Operators</span></a></div>
<div class="toc-h2"><a class="sec" href="charconv.html"><span class="sec-nr">4.26</span> <span class="sec-title">Character 
Conversion</span></a></div>
<div class="toc-h2"><a class="sec" href="arith.html"><span class="sec-nr">4.27</span> <span class="sec-title">Arithmetic</span></a></div>
<div class="toc-h3"><a class="sec" href="arith.html#sec:4.27.1"><span class="sec-nr">4.27.1</span> <span class="sec-title">Special 
purpose integer arithmetic</span></a></div>
<div class="toc-h3"><a class="sec" href="arith.html#sec:4.27.2"><span class="sec-nr">4.27.2</span> <span class="sec-title">General 
purpose arithmetic</span></a></div>
<div class="toc-h4"><a class="sec" href="arith.html#sec:4.27.2.1"><span class="sec-nr">4.27.2.1</span> <span class="sec-title">Arithmetic 
types</span></a></div>
<div class="toc-h4"><a class="sec" href="arith.html#sec:4.27.2.2"><span class="sec-nr">4.27.2.2</span> <span class="sec-title">Rational 
number examples</span></a></div>
<div class="toc-h4"><a class="sec" href="arith.html#sec:4.27.2.3"><span class="sec-nr">4.27.2.3</span> <span class="sec-title">Arithmetic 
Functions</span></a></div>
<div class="toc-h2"><a class="sec" href="miscarith.html"><span class="sec-nr">4.28</span> <span class="sec-title">Misc 
arithmetic support predicates</span></a></div>
<div class="toc-h2"><a class="sec" href="builtinlist.html"><span class="sec-nr">4.29</span> <span class="sec-title">Built-in 
list operations</span></a></div>
<div class="toc-h2"><a class="sec" href="allsolutions.html"><span class="sec-nr">4.30</span> <span class="sec-title">Finding 
all Solutions to a Goal</span></a></div>
<div class="toc-h2"><a class="sec" href="forall2.html"><span class="sec-nr">4.31</span> <span class="sec-title">Forall</span></a></div>
<div class="toc-h2"><a class="sec" href="format.html"><span class="sec-nr">4.32</span> <span class="sec-title">Formatted 
Write</span></a></div>
<div class="toc-h3"><a class="sec" href="format.html#sec:4.32.1"><span class="sec-nr">4.32.1</span> <span class="sec-title">Writef</span></a></div>
<div class="toc-h3"><a class="sec" href="format.html#sec:4.32.2"><span class="sec-nr">4.32.2</span> <span class="sec-title">Format</span></a></div>
<div class="toc-h3"><a class="sec" href="format.html#sec:4.32.3"><span class="sec-nr">4.32.3</span> <span class="sec-title">Programming 
Format</span></a></div>
<div class="toc-h2"><a class="sec" href="tty.html"><span class="sec-nr">4.33</span> <span class="sec-title">Terminal 
Control</span></a></div>
<div class="toc-h2"><a class="sec" href="system.html"><span class="sec-nr">4.34</span> <span class="sec-title">Operating 
System Interaction</span></a></div>
<div class="toc-h3"><a class="sec" href="system.html#sec:4.34.1"><span class="sec-nr">4.34.1</span> <span class="sec-title">Windows-specific 
Operating System Interaction</span></a></div>
<div class="toc-h3"><a class="sec" href="system.html#sec:4.34.2"><span class="sec-nr">4.34.2</span> <span class="sec-title">Dealing 
with time and date</span></a></div>
<div class="toc-h4"><a class="sec" href="system.html#sec:4.34.2.1"><span class="sec-nr">4.34.2.1</span> <span class="sec-title">Time 
and date data structures</span></a></div>
<div class="toc-h4"><a class="sec" href="system.html#sec:4.34.2.2"><span class="sec-nr">4.34.2.2</span> <span class="sec-title">Time 
and date predicates</span></a></div>
<div class="toc-h3"><a class="sec" href="system.html#sec:4.34.3"><span class="sec-nr">4.34.3</span> <span class="sec-title">Controlling 
the <b>swipl-win.exe</b> console window</span></a></div>
<div class="toc-h2"><a class="sec" href="files.html"><span class="sec-nr">4.35</span> <span class="sec-title">File 
System Interaction</span></a></div>
<div class="toc-h2"><a class="sec" href="toplevel.html"><span class="sec-nr">4.36</span> <span class="sec-title">User 
Top-level Manipulation</span></a></div>
<div class="toc-h2"><a class="sec" href="protocol.html"><span class="sec-nr">4.37</span> <span class="sec-title">Creating 
a Protocol of the User Interaction</span></a></div>
<div class="toc-h2"><a class="sec" href="debugger.html"><span class="sec-nr">4.38</span> <span class="sec-title">Debugging 
and Tracing Programs</span></a></div>
<div class="toc-h2"><a class="sec" href="statistics.html"><span class="sec-nr">4.39</span> <span class="sec-title">Obtaining 
Runtime Statistics</span></a></div>
<div class="toc-h2"><a class="sec" href="profile.html"><span class="sec-nr">4.40</span> <span class="sec-title">Execution 
profiling</span></a></div>
<div class="toc-h3"><a class="sec" href="profile.html#sec:4.40.1"><span class="sec-nr">4.40.1</span> <span class="sec-title">Profiling 
predicates</span></a></div>
<div class="toc-h3"><a class="sec" href="profile.html#sec:4.40.2"><span class="sec-nr">4.40.2</span> <span class="sec-title">Visualizing 
profiling data</span></a></div>
<div class="toc-h3"><a class="sec" href="profile.html#sec:4.40.3"><span class="sec-nr">4.40.3</span> <span class="sec-title">Information 
gathering</span></a></div>
<div class="toc-h4"><a class="sec" href="profile.html#sec:4.40.3.1"><span class="sec-nr">4.40.3.1</span> <span class="sec-title">Profiling 
in the Windows Implementation</span></a></div>
<div class="toc-h2"><a class="sec" href="memory.html"><span class="sec-nr">4.41</span> <span class="sec-title">Memory 
Management</span></a></div>
<div class="toc-h2"><a class="sec" href="DDE.html"><span class="sec-nr">4.42</span> <span class="sec-title">Windows 
DDE interface</span></a></div>
<div class="toc-h3"><a class="sec" href="DDE.html#sec:4.42.1"><span class="sec-nr">4.42.1</span> <span class="sec-title">DDE 
client interface</span></a></div>
<div class="toc-h3"><a class="sec" href="DDE.html#sec:4.42.2"><span class="sec-nr">4.42.2</span> <span class="sec-title">DDE 
server mode</span></a></div>
<div class="toc-h2"><a class="sec" href="miscpreds.html"><span class="sec-nr">4.43</span> <span class="sec-title">Miscellaneous</span></a></div>
<div class="toc-h1"><a class="sec" href="modules.html"><span class="sec-nr">5</span> <span class="sec-title">Modules</span></a></div>
<div class="toc-h2"><a class="sec" href="whymodules.html"><span class="sec-nr">5.1</span> <span class="sec-title">Why 
Use Modules?</span></a></div>
<div class="toc-h2"><a class="sec" href="defmodule.html"><span class="sec-nr">5.2</span> <span class="sec-title">Defining 
a Module</span></a></div>
<div class="toc-h2"><a class="sec" href="import.html"><span class="sec-nr">5.3</span> <span class="sec-title">Importing 
Predicates into a Module</span></a></div>
<div class="toc-h2"><a class="sec" href="metapred.html"><span class="sec-nr">5.4</span> <span class="sec-title">Defining 
a meta-predicate</span></a></div>
<div class="toc-h2"><a class="sec" href="overrule.html"><span class="sec-nr">5.5</span> <span class="sec-title">Overruling 
Module Boundaries</span></a></div>
<div class="toc-h3"><a class="sec" href="overrule.html#sec:5.5.1"><span class="sec-nr">5.5.1</span> <span class="sec-title">Explicit 
manipulation of the calling context</span></a></div>
<div class="toc-h2"><a class="sec" href="mtoplevel.html"><span class="sec-nr">5.6</span> <span class="sec-title">Interacting 
with modules from the top level</span></a></div>
<div class="toc-h2"><a class="sec" href="reexport.html"><span class="sec-nr">5.7</span> <span class="sec-title">Composing 
modules from other modules</span></a></div>
<div class="toc-h2"><a class="sec" href="moduleop.html"><span class="sec-nr">5.8</span> <span class="sec-title">Operators 
and modules</span></a></div>
<div class="toc-h2"><a class="sec" href="importmodule.html"><span class="sec-nr">5.9</span> <span class="sec-title">Dynamic 
importing using import modules</span></a></div>
<div class="toc-h2"><a class="sec" href="resmodules.html"><span class="sec-nr">5.10</span> <span class="sec-title">Reserved 
Modules and using the `user' module</span></a></div>
<div class="toc-h2"><a class="sec" href="altmoduleapi.html"><span class="sec-nr">5.11</span> <span class="sec-title">An 
alternative import/export interface</span></a></div>
<div class="toc-h2"><a class="sec" href="dynamic-modules.html"><span class="sec-nr">5.12</span> <span class="sec-title">Dynamic 
Modules</span></a></div>
<div class="toc-h2"><a class="sec" href="ctxmodule.html"><span class="sec-nr">5.13</span> <span class="sec-title">Transparent 
predicates: definition and context module</span></a></div>
<div class="toc-h2"><a class="sec" href="manipmodule.html"><span class="sec-nr">5.14</span> <span class="sec-title">Module 
properties</span></a></div>
<div class="toc-h2"><a class="sec" href="modulecompat.html"><span class="sec-nr">5.15</span> <span class="sec-title">Compatibility 
of the Module System</span></a></div>
<div class="toc-h1"><a class="sec" href="extvar.html"><span class="sec-nr">6</span> <span class="sec-title">Special 
Variables and Coroutining</span></a></div>
<div class="toc-h2"><a class="sec" href="attvar.html"><span class="sec-nr">6.1</span> <span class="sec-title">Attributed 
variables</span></a></div>
<div class="toc-h3"><a class="sec" href="attvar.html#sec:6.1.1"><span class="sec-nr">6.1.1</span> <span class="sec-title">Attribute 
manipulation predicates</span></a></div>
<div class="toc-h3"><a class="sec" href="attvar.html#sec:6.1.2"><span class="sec-nr">6.1.2</span> <span class="sec-title">Attributed 
variable hooks</span></a></div>
<div class="toc-h3"><a class="sec" href="attvar.html#sec:6.1.3"><span class="sec-nr">6.1.3</span> <span class="sec-title">Operations 
on terms with attributed variables</span></a></div>
<div class="toc-h3"><a class="sec" href="attvar.html#sec:6.1.4"><span class="sec-nr">6.1.4</span> <span class="sec-title">Special 
purpose predicates for attributes</span></a></div>
<div class="toc-h2"><a class="sec" href="coroutining.html"><span class="sec-nr">6.2</span> <span class="sec-title">Coroutining</span></a></div>
<div class="toc-h2"><a class="sec" href="gvar.html"><span class="sec-nr">6.3</span> <span class="sec-title">Global 
variables</span></a></div>
<div class="toc-h3"><a class="sec" href="gvar.html#sec:6.3.1"><span class="sec-nr">6.3.1</span> <span class="sec-title">Compatibility 
of SWI-Prolog Global Variables</span></a></div>
<div class="toc-h1"><a class="sec" href="chr.html"><span class="sec-nr">7</span> <span class="sec-title">CHR: 
Constraint Handling Rules</span></a></div>
<div class="toc-h2"><a class="sec" href="chrintro.html"><span class="sec-nr">7.1</span> <span class="sec-title">Introduction</span></a></div>
<div class="toc-h2"><a class="sec" href="SyntaxAndSemantics.html"><span class="sec-nr">7.2</span> <span class="sec-title">Syntax 
and Semantics</span></a></div>
<div class="toc-h3"><a class="sec" href="SyntaxAndSemantics.html#sec:7.2.1"><span class="sec-nr">7.2.1</span> <span class="sec-title">Syntax 
of CHR rules</span></a></div>
<div class="toc-h3"><a class="sec" href="SyntaxAndSemantics.html#sec:7.2.2"><span class="sec-nr">7.2.2</span> <span class="sec-title">Semantics</span></a></div>
<div class="toc-h2"><a class="sec" href="practical.html"><span class="sec-nr">7.3</span> <span class="sec-title">CHR 
in SWI-Prolog Programs</span></a></div>
<div class="toc-h3"><a class="sec" href="practical.html#sec:7.3.1"><span class="sec-nr">7.3.1</span> <span class="sec-title">Embedding 
in Prolog Programs</span></a></div>
<div class="toc-h3"><a class="sec" href="practical.html#sec:7.3.2"><span class="sec-nr">7.3.2</span> <span class="sec-title">Constraint 
declaration</span></a></div>
<div class="toc-h3"><a class="sec" href="practical.html#sec:7.3.3"><span class="sec-nr">7.3.3</span> <span class="sec-title">Compilation</span></a></div>
<div class="toc-h2"><a class="sec" href="debugging.html"><span class="sec-nr">7.4</span> <span class="sec-title">Debugging</span></a></div>
<div class="toc-h3"><a class="sec" href="debugging.html#sec:7.4.1"><span class="sec-nr">7.4.1</span> <span class="sec-title">Ports</span></a></div>
<div class="toc-h3"><a class="sec" href="debugging.html#sec:7.4.2"><span class="sec-nr">7.4.2</span> <span class="sec-title">Tracing</span></a></div>
<div class="toc-h3"><a class="sec" href="debugging.html#sec:7.4.3"><span class="sec-nr">7.4.3</span> <span class="sec-title">CHR 
Debugging Predicates</span></a></div>
<div class="toc-h2"><a class="sec" href="examples.html"><span class="sec-nr">7.5</span> <span class="sec-title">Examples</span></a></div>
<div class="toc-h2"><a class="sec" href="sicstus-chr.html"><span class="sec-nr">7.6</span> <span class="sec-title">Backwards 
Compatibility</span></a></div>
<div class="toc-h3"><a class="sec" href="sicstus-chr.html#sec:7.6.1"><span class="sec-nr">7.6.1</span> <span class="sec-title">The 
Old SICStus CHR implemenation</span></a></div>
<div class="toc-h3"><a class="sec" href="sicstus-chr.html#sec:7.6.2"><span class="sec-nr">7.6.2</span> <span class="sec-title">The 
Old ECLiPSe CHR implemenation</span></a></div>
<div class="toc-h2"><a class="sec" href="guidelines.html"><span class="sec-nr">7.7</span> <span class="sec-title">Programming 
Tips and Tricks</span></a></div>
<div class="toc-h2"><a class="sec" href="errors.html"><span class="sec-nr">7.8</span> <span class="sec-title">Compiler 
Errors and Warnings</span></a></div>
<div class="toc-h3"><a class="sec" href="errors.html#sec:7.8.1"><span class="sec-nr">7.8.1</span> <span class="sec-title">CHR 
Compiler Errors</span></a></div>
<div class="toc-h1"><a class="sec" href="threads.html"><span class="sec-nr">8</span> <span class="sec-title">Multithreaded 
applications</span></a></div>
<div class="toc-h2"><a class="sec" href="threadcreate.html"><span class="sec-nr">8.1</span> <span class="sec-title">Creating 
and destroying Prolog threads</span></a></div>
<div class="toc-h2"><a class="sec" href="thmonitor.html"><span class="sec-nr">8.2</span> <span class="sec-title">Monitoring 
threads</span></a></div>
<div class="toc-h2"><a class="sec" href="threadcom.html"><span class="sec-nr">8.3</span> <span class="sec-title">Thread 
communication</span></a></div>
<div class="toc-h3"><a class="sec" href="threadcom.html#sec:8.3.1"><span class="sec-nr">8.3.1</span> <span class="sec-title">Message 
queues</span></a></div>
<div class="toc-h3"><a class="sec" href="threadcom.html#sec:8.3.2"><span class="sec-nr">8.3.2</span> <span class="sec-title">Signalling 
threads</span></a></div>
<div class="toc-h3"><a class="sec" href="threadcom.html#sec:8.3.3"><span class="sec-nr">8.3.3</span> <span class="sec-title">Threads 
and dynamic predicates</span></a></div>
<div class="toc-h2"><a class="sec" href="threadsync.html"><span class="sec-nr">8.4</span> <span class="sec-title">Thread 
synchronisation</span></a></div>
<div class="toc-h2"><a class="sec" href="thutil.html"><span class="sec-nr">8.5</span> <span class="sec-title">Thread 
support library(threadutil)</span></a></div>
<div class="toc-h3"><a class="sec" href="thutil.html#sec:8.5.1"><span class="sec-nr">8.5.1</span> <span class="sec-title">Debugging 
threads</span></a></div>
<div class="toc-h3"><a class="sec" href="thutil.html#sec:8.5.2"><span class="sec-nr">8.5.2</span> <span class="sec-title">Profiling 
threads</span></a></div>
<div class="toc-h2"><a class="sec" href="foreignthread.html"><span class="sec-nr">8.6</span> <span class="sec-title">Multithreaded 
mixed C and Prolog applications</span></a></div>
<div class="toc-h3"><a class="sec" href="foreignthread.html#sec:8.6.1"><span class="sec-nr">8.6.1</span> <span class="sec-title">A 
Prolog thread for each native thread (one-to-one)</span></a></div>
<div class="toc-h3"><a class="sec" href="foreignthread.html#sec:8.6.2"><span class="sec-nr">8.6.2</span> <span class="sec-title">Pooling 
Prolog engines (many-to-many)</span></a></div>
<div class="toc-h2"><a class="sec" href="mt-xpce.html"><span class="sec-nr">8.7</span> <span class="sec-title">Multithreading 
and the XPCE graphics system</span></a></div>
<div class="toc-h1"><a class="sec" href="foreign.html"><span class="sec-nr">9</span> <span class="sec-title">Foreign 
Language Interface</span></a></div>
<div class="toc-h2"><a class="sec" href="foreignoverview.html"><span class="sec-nr">9.1</span> <span class="sec-title">Overview 
of the Interface</span></a></div>
<div class="toc-h2"><a class="sec" href="foreignlink.html"><span class="sec-nr">9.2</span> <span class="sec-title">Linking 
Foreign Modules</span></a></div>
<div class="toc-h3"><a class="sec" href="foreignlink.html#sec:9.2.1"><span class="sec-nr">9.2.1</span> <span class="sec-title">What 
linking is provided?</span></a></div>
<div class="toc-h3"><a class="sec" href="foreignlink.html#sec:9.2.2"><span class="sec-nr">9.2.2</span> <span class="sec-title">What 
kind of loading should I be using?</span></a></div>
<div class="toc-h3"><a class="sec" href="foreignlink.html#sec:9.2.3"><span class="sec-nr">9.2.3</span> <span class="sec-title">library(shlib): 
Utility library for loading foreign objects (DLLs, shared objects)</span></a></div>
<div class="toc-h3"><a class="sec" href="foreignlink.html#sec:9.2.4"><span class="sec-nr">9.2.4</span> <span class="sec-title">Low-level 
operations on shared libraries</span></a></div>
<div class="toc-h3"><a class="sec" href="foreignlink.html#sec:9.2.5"><span class="sec-nr">9.2.5</span> <span class="sec-title">Static 
Linking</span></a></div>
<div class="toc-h2"><a class="sec" href="foreigntypes.html"><span class="sec-nr">9.3</span> <span class="sec-title">Interface 
Data Types</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigntypes.html#sec:9.3.1"><span class="sec-nr">9.3.1</span> <span class="sec-title">Type <code>term_t</code>: 
a reference to a Prolog term</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigntypes.html#sec:9.3.1.1"><span class="sec-nr">9.3.1.1</span> <span class="sec-title">Interaction 
with the garbage collector and stack-shifter</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigntypes.html#sec:9.3.2"><span class="sec-nr">9.3.2</span> <span class="sec-title">Other 
foreign interface types</span></a></div>
<div class="toc-h2"><a class="sec" href="foreigninclude.html"><span class="sec-nr">9.4</span> <span class="sec-title">The 
Foreign Include File</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.1"><span class="sec-nr">9.4.1</span> <span class="sec-title">Argument 
Passing and Control</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.1.1"><span class="sec-nr">9.4.1.1</span> <span class="sec-title">Non-deterministic 
Foreign Predicates</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.2"><span class="sec-nr">9.4.2</span> <span class="sec-title">Atoms 
and functors</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.2.1"><span class="sec-nr">9.4.2.1</span> <span class="sec-title">Atoms 
and atom garbage collection</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.3"><span class="sec-nr">9.4.3</span> <span class="sec-title">Analysing 
Terms via the Foreign Interface</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.3.1"><span class="sec-nr">9.4.3.1</span> <span class="sec-title">Testing 
the type of a term</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.3.2"><span class="sec-nr">9.4.3.2</span> <span class="sec-title">Reading 
data from a term</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.3.3"><span class="sec-nr">9.4.3.3</span> <span class="sec-title">Exchanging 
text using length and string</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.3.4"><span class="sec-nr">9.4.3.4</span> <span class="sec-title">Wide-character 
versions</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.3.5"><span class="sec-nr">9.4.3.5</span> <span class="sec-title">Reading 
a list</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.3.6"><span class="sec-nr">9.4.3.6</span> <span class="sec-title">An 
example: defining write/1 in C</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.4"><span class="sec-nr">9.4.4</span> <span class="sec-title">Constructing 
Terms</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.5"><span class="sec-nr">9.4.5</span> <span class="sec-title">Unifying 
data</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.6"><span class="sec-nr">9.4.6</span> <span class="sec-title">Convenient 
functions to generate Prolog exceptions</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.7"><span class="sec-nr">9.4.7</span> <span class="sec-title">BLOBS: 
Using atoms to store arbitrary binary data</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.7.1"><span class="sec-nr">9.4.7.1</span> <span class="sec-title">Defining 
a BLOB type</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.7.2"><span class="sec-nr">9.4.7.2</span> <span class="sec-title">Accessing 
blobs</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.8"><span class="sec-nr">9.4.8</span> <span class="sec-title">Exchanging 
GMP numbers</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.9"><span class="sec-nr">9.4.9</span> <span class="sec-title">Calling 
Prolog from C</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.9.1"><span class="sec-nr">9.4.9.1</span> <span class="sec-title">Predicate 
references</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.9.2"><span class="sec-nr">9.4.9.2</span> <span class="sec-title">Initiating 
a query from C</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.10"><span class="sec-nr">9.4.10</span> <span class="sec-title">Discarding 
Data</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.11"><span class="sec-nr">9.4.11</span> <span class="sec-title">Foreign 
Code and Modules</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.12"><span class="sec-nr">9.4.12</span> <span class="sec-title">Prolog 
exceptions in foreign code</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.13"><span class="sec-nr">9.4.13</span> <span class="sec-title">Catching 
Signals (Software Interrupts)</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.14"><span class="sec-nr">9.4.14</span> <span class="sec-title">Miscellaneous</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.14.1"><span class="sec-nr">9.4.14.1</span> <span class="sec-title">Term 
Comparison</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.14.2"><span class="sec-nr">9.4.14.2</span> <span class="sec-title">Recorded 
database</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.14.3"><span class="sec-nr">9.4.14.3</span> <span class="sec-title">Getting 
file names</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.15"><span class="sec-nr">9.4.15</span> <span class="sec-title">Errors 
and warnings</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.16"><span class="sec-nr">9.4.16</span> <span class="sec-title">Environment 
Control from Foreign Code</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.17"><span class="sec-nr">9.4.17</span> <span class="sec-title">Querying 
Prolog</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.18"><span class="sec-nr">9.4.18</span> <span class="sec-title">Registering 
Foreign Predicates</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.19"><span class="sec-nr">9.4.19</span> <span class="sec-title">Foreign 
Code Hooks</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.20"><span class="sec-nr">9.4.20</span> <span class="sec-title">Storing 
foreign data</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.20.1"><span class="sec-nr">9.4.20.1</span> <span class="sec-title">Examples 
for storing foreign data</span></a></div>
<div class="toc-h3"><a class="sec" href="foreigninclude.html#sec:9.4.21"><span class="sec-nr">9.4.21</span> <span class="sec-title">Embedding 
SWI-Prolog in other applications</span></a></div>
<div class="toc-h4"><a class="sec" href="foreigninclude.html#sec:9.4.21.1"><span class="sec-nr">9.4.21.1</span> <span class="sec-title">Threading, 
Signals and embedded Prolog</span></a></div>
<div class="toc-h2"><a class="sec" href="plld.html"><span class="sec-nr">9.5</span> <span class="sec-title">Linking 
embedded applications using swipl-ld</span></a></div>
<div class="toc-h3"><a class="sec" href="plld.html#sec:9.5.1"><span class="sec-nr">9.5.1</span> <span class="sec-title">A 
simple example</span></a></div>
<div class="toc-h2"><a class="sec" href="findhome.html"><span class="sec-nr">9.6</span> <span class="sec-title">The 
Prolog `home' directory</span></a></div>
<div class="toc-h2"><a class="sec" href="foreignxmp.html"><span class="sec-nr">9.7</span> <span class="sec-title">Example 
of Using the Foreign Interface</span></a></div>
<div class="toc-h2"><a class="sec" href="foreignnotes.html"><span class="sec-nr">9.8</span> <span class="sec-title">Notes 
on Using Foreign Code</span></a></div>
<div class="toc-h3"><a class="sec" href="foreignnotes.html#sec:9.8.1"><span class="sec-nr">9.8.1</span> <span class="sec-title">Memory 
Allocation</span></a></div>
<div class="toc-h4"><a class="sec" href="foreignnotes.html#sec:9.8.1.1"><span class="sec-nr">9.8.1.1</span> <span class="sec-title">Boehm-GC 
support</span></a></div>
<div class="toc-h3"><a class="sec" href="foreignnotes.html#sec:9.8.2"><span class="sec-nr">9.8.2</span> <span class="sec-title">Compatibility 
between Prolog versions</span></a></div>
<div class="toc-h3"><a class="sec" href="foreignnotes.html#sec:9.8.3"><span class="sec-nr">9.8.3</span> <span class="sec-title">Debugging 
and profiling foreign code (valgrind)</span></a></div>
<div class="toc-h3"><a class="sec" href="foreignnotes.html#sec:9.8.4"><span class="sec-nr">9.8.4</span> <span class="sec-title">Name 
Conflicts in C modules</span></a></div>
<div class="toc-h3"><a class="sec" href="foreignnotes.html#sec:9.8.5"><span class="sec-nr">9.8.5</span> <span class="sec-title">Compatibility 
of the Foreign Interface</span></a></div>
<div class="toc-h1"><a class="sec" href="runtime.html"><span class="sec-nr">10</span> <span class="sec-title">Generating 
Runtime Applications</span></a></div>
<div class="toc-h2"><a class="sec" href="qsavelimits.html"><span class="sec-nr">10.1</span> <span class="sec-title">Limitations 
of qsave_program</span></a></div>
<div class="toc-h2"><a class="sec" href="qsaveforeign.html"><span class="sec-nr">10.2</span> <span class="sec-title">Runtimes 
and Foreign Code</span></a></div>
<div class="toc-h2"><a class="sec" href="useresource.html"><span class="sec-nr">10.3</span> <span class="sec-title">Using 
program resources</span></a></div>
<div class="toc-h3"><a class="sec" href="useresource.html#sec:10.3.1"><span class="sec-nr">10.3.1</span> <span class="sec-title">Resource 
manipulation predicates</span></a></div>
<div class="toc-h3"><a class="sec" href="useresource.html#sec:10.3.2"><span class="sec-nr">10.3.2</span> <span class="sec-title">The <b>swipl-rc</b> 
program</span></a></div>
<div class="toc-h2"><a class="sec" href="findappfile.html"><span class="sec-nr">10.4</span> <span class="sec-title">Finding 
Application files</span></a></div>
<div class="toc-h3"><a class="sec" href="findappfile.html#sec:10.4.1"><span class="sec-nr">10.4.1</span> <span class="sec-title">Specifying 
a file search path from the command line</span></a></div>
<div class="toc-h1"><a class="sec" href="libpl.html"><span class="sec-nr">A</span> <span class="sec-title">The 
SWI-Prolog library</span></a></div>
<div class="toc-h2"><a class="sec" href="aggregate.html"><span class="sec-nr">A.1</span> <span class="sec-title">library(aggregate): 
Aggregation operators on backtrackable predicates</span></a></div>
<div class="toc-h2"><a class="sec" href="apply.html"><span class="sec-nr">A.2</span> <span class="sec-title">library(apply): 
Apply predicates on a list</span></a></div>
<div class="toc-h2"><a class="sec" href="assoc.html"><span class="sec-nr">A.3</span> <span class="sec-title">library(assoc): 
Association lists</span></a></div>
<div class="toc-h2"><a class="sec" href="broadcast.html"><span class="sec-nr">A.4</span> <span class="sec-title">library(broadcast): 
Broadcast and receive event notifications</span></a></div>
<div class="toc-h2"><a class="sec" href="charsio.html"><span class="sec-nr">A.5</span> <span class="sec-title">library(charsio): 
I/O on Lists of Character Codes</span></a></div>
<div class="toc-h2"><a class="sec" href="check.html"><span class="sec-nr">A.6</span> <span class="sec-title">library(check): 
Elementary completeness checks</span></a></div>
<div class="toc-h2"><a class="sec" href="clpfd.html"><span class="sec-nr">A.7</span> <span class="sec-title">library(clpfd): 
Constraint Logic Programming over Finite Domains</span></a></div>
<div class="toc-h4"><a class="sec" href="clpfd.html#sec:A.7.1"><span class="sec-nr">A.7.1</span> <span class="sec-title">Introduction</span></a></div>
<div class="toc-h4"><a class="sec" href="clpfd.html#sec:A.7.2"><span class="sec-nr">A.7.2</span> <span class="sec-title">Arithmetic 
constraints</span></a></div>
<div class="toc-h4"><a class="sec" href="clpfd.html#sec:A.7.3"><span class="sec-nr">A.7.3</span> <span class="sec-title">Reification</span></a></div>
<div class="toc-h4"><a class="sec" href="clpfd.html#sec:A.7.4"><span class="sec-nr">A.7.4</span> <span class="sec-title">Examples</span></a></div>
<div class="toc-h4"><a class="sec" href="clpfd.html#sec:A.7.5"><span class="sec-nr">A.7.5</span> <span class="sec-title">Search</span></a></div>
<div class="toc-h4"><a class="sec" href="clpfd.html#sec:A.7.6"><span class="sec-nr">A.7.6</span> <span class="sec-title">Declarative 
integer arithmetic</span></a></div>
<div class="toc-h2"><a class="sec" href="clpqr.html"><span class="sec-nr">A.8</span> <span class="sec-title">library(clpqr): 
Constraint Logic Programming over Rationals and Reals</span></a></div>
<div class="toc-h3"><a class="sec" href="clpqr.html#sec:A.8.1"><span class="sec-nr">A.8.1</span> <span class="sec-title">Solver 
predicates</span></a></div>
<div class="toc-h3"><a class="sec" href="clpqr.html#sec:A.8.2"><span class="sec-nr">A.8.2</span> <span class="sec-title">Syntax 
of the predicate arguments</span></a></div>
<div class="toc-h3"><a class="sec" href="clpqr.html#sec:A.8.3"><span class="sec-nr">A.8.3</span> <span class="sec-title">Use 
of unification</span></a></div>
<div class="toc-h3"><a class="sec" href="clpqr.html#sec:A.8.4"><span class="sec-nr">A.8.4</span> <span class="sec-title">Non-linear 
constraints</span></a></div>
<div class="toc-h3"><a class="sec" href="clpqr.html#sec:A.8.5"><span class="sec-nr">A.8.5</span> <span class="sec-title">Status 
and known problems</span></a></div>
<div class="toc-h2"><a class="sec" href="csv.html"><span class="sec-nr">A.9</span> <span class="sec-title">library(csv): 
Process CSV (Comma-Separated Values) data</span></a></div>
<div class="toc-h2"><a class="sec" href="debug.html"><span class="sec-nr">A.10</span> <span class="sec-title">library(debug): 
Print debug messages and test assertions</span></a></div>
<div class="toc-h2"><a class="sec" href="gensym.html"><span class="sec-nr">A.11</span> <span class="sec-title">library(gensym): 
Generate unique identifiers</span></a></div>
<div class="toc-h2"><a class="sec" href="lists.html"><span class="sec-nr">A.12</span> <span class="sec-title">library(lists): 
List Manipulation</span></a></div>
<div class="toc-h2"><a class="sec" href="nb_set.html"><span class="sec-nr">A.13</span> <span class="sec-title">library(nb_set): 
Non-backtrackable set</span></a></div>
<div class="toc-h2"><a class="sec" href="www_browser.html"><span class="sec-nr">A.14</span> <span class="sec-title">library(www_browser): 
Activating your Web-browser</span></a></div>
<div class="toc-h2"><a class="sec" href="option.html"><span class="sec-nr">A.15</span> <span class="sec-title">library(option): 
Option list processing</span></a></div>
<div class="toc-h2"><a class="sec" href="optparse.html"><span class="sec-nr">A.16</span> <span class="sec-title">library(optparse): 
command line parsing</span></a></div>
<div class="toc-h3"><a class="sec" href="optparse.html#sec:A.16.1"><span class="sec-nr">A.16.1</span> <span class="sec-title">Notes 
and tips</span></a></div>
<div class="toc-h2"><a class="sec" href="ordsets.html"><span class="sec-nr">A.17</span> <span class="sec-title">library(ordsets): 
Ordered set manipulation</span></a></div>
<div class="toc-h2"><a class="sec" href="pairs.html"><span class="sec-nr">A.18</span> <span class="sec-title">library(pairs): 
Operations on key-value lists</span></a></div>
<div class="toc-h2"><a class="sec" href="pio.html"><span class="sec-nr">A.19</span> <span class="sec-title">library(pio): 
Pure I/O</span></a></div>
<div class="toc-h3"><a class="sec" href="pio.html#sec:A.19.1"><span class="sec-nr">A.19.1</span> <span class="sec-title">library(pure_input): 
Pure Input from files</span></a></div>
<div class="toc-h2"><a class="sec" href="predicate_options.html"><span class="sec-nr">A.20</span> <span class="sec-title">library(predicate_options): 
Declare option-processing of predicates</span></a></div>
<div class="toc-h3"><a class="sec" href="predicate_options.html#sec:A.20.1"><span class="sec-nr">A.20.1</span> <span class="sec-title">The 
strength and weakness of predicate options</span></a></div>
<div class="toc-h3"><a class="sec" href="predicate_options.html#sec:A.20.2"><span class="sec-nr">A.20.2</span> <span class="sec-title">Options 
as arguments or environment?</span></a></div>
<div class="toc-h3"><a class="sec" href="predicate_options.html#sec:A.20.3"><span class="sec-nr">A.20.3</span> <span class="sec-title">Improving 
on the current situation</span></a></div>
<div class="toc-h4"><a class="sec" href="predicate_options.html#sec:A.20.3.1"><span class="sec-nr">A.20.3.1</span> <span class="sec-title">Options 
as types</span></a></div>
<div class="toc-h4"><a class="sec" href="predicate_options.html#sec:A.20.3.2"><span class="sec-nr">A.20.3.2</span> <span class="sec-title">Reflective 
access to options</span></a></div>
<div class="toc-h2"><a class="sec" href="prologpack.html"><span class="sec-nr">A.21</span> <span class="sec-title">library(prolog_pack): 
A package manager for Prolog</span></a></div>
<div class="toc-h2"><a class="sec" href="prolog_xref.html"><span class="sec-nr">A.22</span> <span class="sec-title">library(prolog_xref): 
Cross-reference data collection library</span></a></div>
<div class="toc-h3"><a class="sec" href="prolog_xref.html#sec:A.22.1"><span class="sec-nr">A.22.1</span> <span class="sec-title">Extending 
the library</span></a></div>
<div class="toc-h2"><a class="sec" href="quasiquotations.html"><span class="sec-nr">A.23</span> <span class="sec-title">library(quasi_quotations): 
Define Quasi Quotation syntax</span></a></div>
<div class="toc-h2"><a class="sec" href="random.html"><span class="sec-nr">A.24</span> <span class="sec-title">library(random): 
Random numbers</span></a></div>
<div class="toc-h2"><a class="sec" href="readutil.html"><span class="sec-nr">A.25</span> <span class="sec-title">library(readutil): 
Reading lines, streams and files</span></a></div>
<div class="toc-h2"><a class="sec" href="record.html"><span class="sec-nr">A.26</span> <span class="sec-title">library(record): 
Access named fields in a term</span></a></div>
<div class="toc-h2"><a class="sec" href="registry.html"><span class="sec-nr">A.27</span> <span class="sec-title">library(registry): 
Manipulating the Windows registry</span></a></div>
<div class="toc-h2"><a class="sec" href="simplex.html"><span class="sec-nr">A.28</span> <span class="sec-title">library(simplex): 
Solve linear programming problems</span></a></div>
<div class="toc-h3"><a class="sec" href="simplex.html#sec:A.28.1"><span class="sec-nr">A.28.1</span> <span class="sec-title">Example 
1</span></a></div>
<div class="toc-h3"><a class="sec" href="simplex.html#sec:A.28.2"><span class="sec-nr">A.28.2</span> <span class="sec-title">Example 
2</span></a></div>
<div class="toc-h3"><a class="sec" href="simplex.html#sec:A.28.3"><span class="sec-nr">A.28.3</span> <span class="sec-title">Example 
3</span></a></div>
<div class="toc-h2"><a class="sec" href="threadpool.html"><span class="sec-nr">A.29</span> <span class="sec-title">library(thread_pool): 
Resource bounded thread management</span></a></div>
<div class="toc-h2"><a class="sec" href="ugraphs.html"><span class="sec-nr">A.30</span> <span class="sec-title">library(ugraphs): 
Unweighted Graphs</span></a></div>
<div class="toc-h2"><a class="sec" href="url.html"><span class="sec-nr">A.31</span> <span class="sec-title">library(url): 
Analysing and constructing URL</span></a></div>
<div class="toc-h2"><a class="sec" href="varnumbers.html"><span class="sec-nr">A.32</span> <span class="sec-title">library(varnumbers): 
Utilities for numbered terms</span></a></div>
<div class="toc-h1"><a class="sec" href="hack.html"><span class="sec-nr">B</span> <span class="sec-title">Hackers 
corner</span></a></div>
<div class="toc-h2"><a class="sec" href="manipstack.html"><span class="sec-nr">B.1</span> <span class="sec-title">Examining 
the Environment Stack</span></a></div>
<div class="toc-h2"><a class="sec" href="ancestral-cut.html"><span class="sec-nr">B.2</span> <span class="sec-title">Ancestral 
cuts</span></a></div>
<div class="toc-h2"><a class="sec" href="syntaxext.html"><span class="sec-nr">B.3</span> <span class="sec-title">Syntax 
extensions</span></a></div>
<div class="toc-h3"><a class="sec" href="syntaxext.html#sec:B.3.1"><span class="sec-nr">B.3.1</span> <span class="sec-title">Block 
operators</span></a></div>
<div class="toc-h2"><a class="sec" href="tracehook.html"><span class="sec-nr">B.4</span> <span class="sec-title">Intercepting 
the Tracer</span></a></div>
<div class="toc-h2"><a class="sec" href="breakpoint.html"><span class="sec-nr">B.5</span> <span class="sec-title">Breakpoint 
and watchpoint handling</span></a></div>
<div class="toc-h2"><a class="sec" href="excepthook.html"><span class="sec-nr">B.6</span> <span class="sec-title">Adding 
context to errors: prolog_exception_hook</span></a></div>
<div class="toc-h2"><a class="sec" href="exception3.html"><span class="sec-nr">B.7</span> <span class="sec-title">Hooks 
using the exception predicate</span></a></div>
<div class="toc-h2"><a class="sec" href="intlibs.html"><span class="sec-nr">B.8</span> <span class="sec-title">Hooks 
for integrating libraries</span></a></div>
<div class="toc-h2"><a class="sec" href="loadfilehook.html"><span class="sec-nr">B.9</span> <span class="sec-title">Hooks 
for loading files</span></a></div>
<div class="toc-h2"><a class="sec" href="readline.html"><span class="sec-nr">B.10</span> <span class="sec-title">Readline 
Interaction</span></a></div>
<div class="toc-h1"><a class="sec" href="dialect.html"><span class="sec-nr">C</span> <span class="sec-title">Compatibility 
with other Prolog dialects</span></a></div>
<div class="toc-h2"><a class="sec" href="portabilitystrategies.html"><span class="sec-nr">C.1</span> <span class="sec-title">Some 
considerations for writing portable code</span></a></div>
<div class="toc-h1"><a class="sec" href="glossary.html"><span class="sec-nr">D</span> <span class="sec-title">Glossary 
of Terms</span></a></div>
<div class="toc-h1"><a class="sec" href="license.html"><span class="sec-nr">E</span> <span class="sec-title">SWI-Prolog 
License Conditions and Tools</span></a></div>
<div class="toc-h2"><a class="sec" href="clicense.html"><span class="sec-nr">E.1</span> <span class="sec-title">The 
SWI-Prolog kernel and foreign libraries</span></a></div>
<div class="toc-h3"><a class="sec" href="clicense.html#sec:E.1.1"><span class="sec-nr">E.1.1</span> <span class="sec-title">The 
SWI-Prolog Prolog libraries</span></a></div>
<div class="toc-h2"><a class="sec" href="contrib.html"><span class="sec-nr">E.2</span> <span class="sec-title">Contributing 
to the SWI-Prolog project</span></a></div>
<div class="toc-h2"><a class="sec" href="softlicense.html"><span class="sec-nr">E.3</span> <span class="sec-title">Software 
support to keep track of license conditions</span></a></div>
<div class="toc-h2"><a class="sec" href="otherlicenses.html"><span class="sec-nr">E.4</span> <span class="sec-title">License 
conditions inherited from used code</span></a></div>
<div class="toc-h3"><a class="sec" href="otherlicenses.html#sec:E.4.1"><span class="sec-nr">E.4.1</span> <span class="sec-title">Cryptographic 
routines</span></a></div>
<div class="toc-h1"><a class="sec" href="summary.html"><span class="sec-nr">F</span> <span class="sec-title">Summary</span></a></div>
<div class="toc-h2"><a class="sec" href="predsummary.html"><span class="sec-nr">F.1</span> <span class="sec-title">Predicates</span></a></div>
<div class="toc-h2"><a class="sec" href="library.html"><span class="sec-nr">F.2</span> <span class="sec-title">Library 
predicates</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.1"><span class="sec-nr">F.2.1</span> <span class="sec-title">library(aggregate)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.2"><span class="sec-nr">F.2.2</span> <span class="sec-title">library(apply)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.3"><span class="sec-nr">F.2.3</span> <span class="sec-title">library(assoc)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.4"><span class="sec-nr">F.2.4</span> <span class="sec-title">library(broadcast)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.5"><span class="sec-nr">F.2.5</span> <span class="sec-title">library(charsio)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.6"><span class="sec-nr">F.2.6</span> <span class="sec-title">library(check)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.7"><span class="sec-nr">F.2.7</span> <span class="sec-title">library(csv)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.8"><span class="sec-nr">F.2.8</span> <span class="sec-title">library(lists)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.9"><span class="sec-nr">F.2.9</span> <span class="sec-title">library(debug)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.10"><span class="sec-nr">F.2.10</span> <span class="sec-title">library(option)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.11"><span class="sec-nr">F.2.11</span> <span class="sec-title">library(optparse)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.12"><span class="sec-nr">F.2.12</span> <span class="sec-title">library(ordsets)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.13"><span class="sec-nr">F.2.13</span> <span class="sec-title">library(predicate_options)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.14"><span class="sec-nr">F.2.14</span> <span class="sec-title">library(prologpack)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.15"><span class="sec-nr">F.2.15</span> <span class="sec-title">library(prologxref)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.16"><span class="sec-nr">F.2.16</span> <span class="sec-title">library(pairs)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.17"><span class="sec-nr">F.2.17</span> <span class="sec-title">library(pio)</span></a></div>
<div class="toc-h4"><a class="sec" href="library.html#sec:F.2.17.1"><span class="sec-nr">F.2.17.1</span> <span class="sec-title">library(pure_input)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.18"><span class="sec-nr">F.2.18</span> <span class="sec-title">library(random)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.19"><span class="sec-nr">F.2.19</span> <span class="sec-title">library(readutil)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.20"><span class="sec-nr">F.2.20</span> <span class="sec-title">library(record)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.21"><span class="sec-nr">F.2.21</span> <span class="sec-title">library(registry)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.22"><span class="sec-nr">F.2.22</span> <span class="sec-title">library(ugraphs)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.23"><span class="sec-nr">F.2.23</span> <span class="sec-title">library(url)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.24"><span class="sec-nr">F.2.24</span> <span class="sec-title">library(www_browser)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.25"><span class="sec-nr">F.2.25</span> <span class="sec-title">library(clp/clpfd)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.26"><span class="sec-nr">F.2.26</span> <span class="sec-title">library(clpqr)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.27"><span class="sec-nr">F.2.27</span> <span class="sec-title">library(clp/simplex)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.28"><span class="sec-nr">F.2.28</span> <span class="sec-title">library(thread_pool)</span></a></div>
<div class="toc-h3"><a class="sec" href="library.html#sec:F.2.29"><span class="sec-nr">F.2.29</span> <span class="sec-title">library(varnumbers)</span></a></div>
<div class="toc-h2"><a class="sec" href="funcsummary.html"><span class="sec-nr">F.3</span> <span class="sec-title">Arithmetic 
Functions</span></a></div>
<div class="toc-h2"><a class="sec" href="opsummary.html"><span class="sec-nr">F.4</span> <span class="sec-title">Operators</span></a></div>
<div class="toc-h1"><a class="sec" href="Bibliography.html"><span class="sec-nr">G</span> <span class="sec-title">Bibliography</span></a></div>
</div>
</body></html>
swi-prolog-nox 6.6.6-5 / usr / lib / swi-prolog / doc / Manual / Contents.html
