1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
|
\chapter{The SWI-Prolog library} \label{sec:libpl}
This chapter documents the SWI-Prolog library. As SWI-Prolog provides
auto-loading, there is little difference between library predicates
and built-in predicates. Part of the library is therefore documented
in the rest of the manual. Library predicates differ from built-in
predicates in the following ways:
\begin{itemize}
\item User definition of a built-in leads to a permission error,
while using the name of a library predicate is allowed.
\item If autoloading is disabled explicitly or because trapping
unknown predicates is disabled (see unknown/2 and
current_prolog_flag/2), library predicates must be loaded
explicitly.
\item Using libraries reduces the footprint of applications that
don't need them.
\end{itemize}
\begin{quote}\em
The documentation of the library has just started. Material from the
standard packages should be moved here, some material from other parts
of the manual should be moved too and various libraries are not
documented at all.
\end{quote}
\input{aggregate}
\input{ansiterm}
\input{apply}
\input{assoc}
\input{broadcast}
\input{charsio}
\input{check}
\input{clpb}
\input{clpfd}
\input{clpqr}
\input{csv}
\input{dcgbasics}
\input{dcghighorder}
\input{debug}
\input{dicts}
\input{error}
\input{gensym}
\input{intercept}
\input{iostream}
\input{listing}
\input{lists}
\input{main}
\input{nbset}
\input{wwwbrowser}
\input{occurs}
\input{option}
\input{optparse}
\input{ordsets}
\input{pairs}
\input{persistency}
\input{pio}
\input{predicateoptions}
\input{prologjiti}
\input{prologpack}
\input{prologxref}
\input{quasiquotations}
\input{random}
\input{readutil}
\input{record}
\input{registry}
\input{settings}
\InputIfFileExists{simplex}{}{}
\input{solutionsequences}
\input{tables}
\input{thread}
\input{threadpool}
\input{ugraphs}
\input{url}
\input{varnumbers}
\input{yall}
|
