« back to all changes in this revision
Viewing changes to library/helpidx.pl
- browse files at revision 7
- compare with another revision
- download diff
- download tarball
- view history from revision 7
- Committer: Bazaar Package Importer
- Author(s): Chris Lamb
- Date: 2008-05-14 02:47:49 UTC
- mfrom: (1.1.5 upstream)
- Revision ID: james.westby@ubuntu.com-20080514024749-out53uysriunvn32
Tags: 5.6.55-1
* New upstream release.
* Use correct shared object file extension on HPPA to fix FTBFS on this
architecture since 5.6.53-2. Patch backported from upstream repository.
* Use correct shared object file extension on HPPA to fix FTBFS on this
architecture since 5.6.53-2. Patch backported from upstream repository.
- files added:
- README.debian
- files removed:
- src/Tests/attvar/diftest.pl
- files modified:
- ChangeLog
added
removed
library/helpidx.pl
11
11
12
12
% Predicate predicate/5
13
13
14
predicate(help, 0, 'Give help on help', 49028, 49073).
15
predicate(help, 1, 'Give help on predicates and show parts of manual', 49076, 50197).
16
predicate(apropos, 1, 'library(online_help) Search manual', 50200, 50681).
17
predicate(explain, 1, 'library(explain) Explain argument', 50684, 51106).
18
predicate(explain, 2, 'library(explain) 2nd argument is explanation of first', 51109, 51353).
19
predicate(current_prolog_flag, 2, 'Get system configuration parameters', 66614, 96271).
20
predicate(set_prolog_flag, 2, 'Define a system feature', 96274, 97296).
21
predicate(make_library_index, 1, 'Create autoload file INDEX.pl', 102923, 103219).
22
predicate(make_library_index, 2, 'Create selective autoload file INDEX.pl', 103222, 104270).
23
predicate(reload_library_index, 0, 'Force reloading the autoload index', 104273, 104990).
24
predicate(guitracer, 0, 'Install hooks for the graphical debugger', 165068, 165454).
25
predicate(noguitracer, 0, 'Disable the graphical debugger', 165457, 165596).
26
predicate(gtrace, 0, 'Trace using graphical tracer', 165599, 165658).
27
predicate(gdebug, 0, 'Debug using graphical tracer', 165661, 165720).
28
predicate(gspy, 1, 'Spy using graphical tracer', 165723, 165821).
29
predicate(gxref, 0, 'Cross-reference loaded program', 167567, 170975).
30
predicate(prolog_ide, 1, 'Program access to the development environment', 171484, 172757).
31
predicate(load_files, 2, 'Load source files with options', 182731, 187522).
32
predicate(consult, 1, 'Read (compile) a Prolog source file', 187525, 188473).
33
predicate(ensure_loaded, 1, 'Consult a file if that has not yet been done', 188476, 189131).
34
predicate(include, 1, 'Include a file with declarations', 189134, 189451).
35
predicate(require, 1, 'This file requires these predicates', 189454, 190305).
36
predicate(encoding, 1, 'Define encoding inside a source file', 190308, 190648).
37
predicate(make, 0, 'Reconsult all changed source files', 190651, 191343).
38
predicate(library_directory, 1, 'Hook (user) Directories holding Prolog libraries', 191346, 191695).
39
predicate(file_search_path, 2, 'Define path-aliases for locating files', 191698, 193070).
40
predicate(expand_file_search_path, 2, 'Wildcard expansion of file paths', 193073, 193328).
41
predicate(prolog_file_type, 2, 'Define meaning of file extension', 193331, 194392).
42
predicate(source_file, 1, 'Examine currently loaded source files', 194395, 194582).
43
predicate(source_file, 2, 'Obtain source file of predicate', 194585, 195007).
44
predicate(prolog_load_context, 2, 'Context information for directives', 195010, 196604).
45
predicate(source_location, 2, 'Location of last read term', 196607, 196959).
46
predicate(at_initialization, 1, 'Register goal to run at start-up', 196962, 197399).
47
predicate(at_halt, 1, 'Register goal to run at halt/1', 197402, 197831).
48
predicate((initialization), 1, 'Initialization directive', 197834, 198241).
49
predicate(compiling, 0, 'Is this a compilation run?', 198244, 198558).
50
predicate(term_expansion, 2, 'Hook (user) Convert term before compilation', 199400, 200837).
51
predicate(expand_term, 2, 'Compiler: expand read term into clause(s)', 200840, 201172).
52
predicate(goal_expansion, 2, 'Hook for macro-expanding goals', 201175, 202356).
53
predicate(expand_goal, 2, 'Compiler: expand goal in clause-body', 202359, 202617).
54
predicate(compile_aux_clauses, 1, 'Compile predicates for goal_expansion/2', 202620, 202991).
55
predicate(preprocessor, 2, 'Install a preprocessor before the compiler', 202994, 203739).
56
predicate(if, 1, 'Start conditional compilation (directive)', 204743, 205045).
57
predicate(elif, 1, 'Part of conditional compilation (directive)', 205048, 205435).
58
predicate(else, 0, 'Part of conditional compilation (directive)', 205438, 205483).
59
predicate(endif, 0, 'End of conditional compilation (directive)', 205486, 205545).
60
predicate(garbage_collect_clauses, 0, 'Invoke clause garbage collector', 206527, 207088).
61
predicate(qcompile, 1, 'Compile source to Quick Load File', 209576, 210677).
62
predicate(edit, 1, 'Edit a file, predicate, module (extensible)', 212503, 213037).
63
predicate(edit, 0, 'Edit current script- or associated file', 213040, 213253).
64
predicate(locate, 3, 'Locate targets for edit/1', 213256, 214217).
65
predicate(locate, 2, 'Locate targets for edit/1', 214220, 214413).
66
predicate(edit_source, 1, 'Call editor for edit/1', 214416, 215458).
67
predicate(edit_command, 2, 'Specify editor activation', 215461, 216363).
68
predicate(load, 0, 'Load edit/1 extensions', 216366, 216882).
69
predicate(listing, 1, 'List predicate', 216885, 217206).
70
predicate(listing, 0, 'List program in current module', 217209, 217288).
71
predicate(portray_clause, 1, 'Pretty print a clause', 217291, 217684).
72
predicate(portray_clause, 2, 'Pretty print a clause to a stream', 217687, 217866).
73
predicate(var, 1, 'Type check for unbound variable', 217938, 218095).
74
predicate(nonvar, 1, 'Type check for bound term', 218098, 218265).
75
predicate(integer, 1, 'Type check for integer', 218268, 218427).
76
predicate(float, 1, 'Type check for a floating point number', 218430, 218598).
77
predicate(rational, 1, 'Type check for a rational number', 218601, 218750).
78
predicate(rational, 3, 'Decompose a rational', 218753, 219297).
79
predicate(number, 1, 'Type check for integer or float', 219300, 219482).
80
predicate(atom, 1, 'Type check for an atom', 219485, 219635).
81
predicate(string, 1, 'Type check for string', 219638, 220118).
82
predicate(atomic, 1, 'Type check for primitive', 220121, 220480).
83
predicate(compound, 1, 'Test for compound term', 220483, 220687).
84
predicate(callable, 1, 'Test for atom or compound term', 220690, 220879).
85
predicate(ground, 1, 'Verify term holds no unbound variables', 220882, 220972).
86
predicate(cyclic_term, 1, 'Test term for cycles', 220975, 221148).
87
predicate(acyclic_term, 1, 'Test term for cycles', 221151, 221381).
88
predicate(=, 2, 'Unification', 221627, 221966).
89
predicate(\=, 2, 'Not unifiable', 221969, 222127).
90
predicate(==, 2, 'Identical', 223198, 223424).
91
predicate(\==, 2, 'Not identical', 223427, 223569).
92
predicate(@<, 2, 'Standard order smaller', 223572, 223764).
93
predicate(@=<, 2, 'Standard order smaller or equal', 223767, 223995).
94
predicate(@>, 2, 'Standard order larger', 223998, 224189).
95
predicate(@>=, 2, 'Standard order larger or equal', 224192, 224420).
96
predicate(compare, 3, 'Compare, using a predicate to determine the order', 224423, 224675).
97
predicate(unify_with_occurs_check, 2, 'Logically sound unification', 225275, 226210).
98
predicate(=@=, 2, 'Structural identical', 226213, 227040).
99
predicate(\=@=, 2, 'Not structural identical', 227043, 227125).
100
predicate(subsumes, 2, 'One-sided unification', 227128, 227731).
101
predicate(subsumes_chk, 2, 'One-sided unification check', 227734, 227885).
102
predicate(unifiable, 3, 'Determining binding required for unification', 227888, 228298).
103
predicate(?=, 2, 'Test of terms can be compared now', 228301, 228644).
104
predicate(fail, 0, 'Always false', 229275, 229471).
105
predicate(true, 0, 'Succeed', 229474, 229670).
106
predicate(repeat, 0, 'Succeed, leaving infinite backtrack points', 229673, 229832).
107
predicate(!, 0, 'Cut (discard choicepoints)', 229835, 230558).
108
predicate((','), 2, 'Conjunction of goals', 230561, 230894).
109
predicate((;), 2, 'Disjunction of goals. Same as |/2', 230897, 231100).
110
predicate(('|'), 2, 'Disjunction of goals. Same as ;/2', 231103, 231236).
111
predicate((->), 2, 'If-then-else', 231239, 232088).
112
predicate((*->), 2, 'Soft-cut', 232091, 232876).
113
predicate(\+, 1, 'Negation by failure. Same as not/1', 232879, 233146).
114
predicate(call, 1, 'Call a goal', 233637, 233868).
115
predicate(call, _G30, 'Call with additional arguments', 233871, 234427).
116
predicate(apply, 2, 'Call goal with additional arguments', 234430, 235009).
117
predicate(not, 1, 'Negation by failure (argument not provable). Same as \\+/1', 235012, 235154).
118
predicate(once, 1, 'Call a goal deterministically', 235157, 235544).
119
predicate(ignore, 1, 'Call the argument, but always succeed', 235547, 235768).
120
predicate(call_with_depth_limit, 3, 'Prove goal with bounded depth', 235771, 237206).
121
predicate(call_cleanup, 3, 'Guard a goal with a cleaup-handler', 237209, 239639).
122
predicate(call_cleanup, 2, 'Guard a goal with a cleaup-handler', 239642, 240053).
123
predicate(setup_and_call_cleanup, 3, 'Undo side-effects safely', 240056, 240706).
124
predicate(catch, 3, 'Call goal, watching for exceptions', 241176, 242015).
125
predicate(throw, 1, 'Raise an exception (see catch/3)', 242018, 243343).
126
predicate(print_message, 2, 'Print message from (exception) term', 247340, 248762).
127
predicate(print_message_lines, 3, 'Print message to stream', 248765, 249806).
128
predicate(message_hook, 3, 'Intercept print_message/2', 249809, 250349).
129
predicate(message_to_string, 2, 'Translate message-term to string', 250352, 250640).
130
predicate(on_signal, 3, 'Handle a software signal', 251464, 254210).
131
predicate(current_signal, 3, 'Current software signal mapping', 254213, 254539).
132
predicate(block, 3, 'Start a block (`catch\'/`throw\')', 256838, 257269).
133
predicate(exit, 2, 'Exit from named block. See block/3', 257272, 257552).
134
predicate(fail, 1, 'Immediately fail named block. See block/3', 257555, 257754).
135
predicate(!, 1, 'Cut block. See block/3', 257757, 257907).
136
predicate(phrase, 2, 'Activate grammar-rule set', 259440, 259605).
137
predicate(phrase, 3, 'Activate grammar-rule set (returning rest)', 259608, 260057).
138
predicate(abolish, 1, 'Remove predicate definition from the database', 261329, 262374).
139
predicate(abolish, 2, 'Remove predicate definition from the database', 262377, 262597).
140
predicate(redefine_system_predicate, 1, 'Abolish system definition', 262600, 263214).
141
predicate(retract, 1, 'Remove clause from the database', 263217, 263512).
142
predicate(retractall, 1, 'Remove unifying clauses from the database', 263515, 263683).
143
predicate(assert, 1, 'Add a clause to the database', 263686, 263863).
144
predicate(asserta, 1, 'Add a clause to the database (first)', 263866, 264084).
145
predicate(assertz, 1, 'Add a clause to the database (last)', 264087, 264225).
146
predicate(assert, 2, 'Add a clause to the database, give reference', 264228, 264491).
147
predicate(asserta, 2, 'Add a clause to the database (first)', 264494, 264679).
148
predicate(assertz, 2, 'Add a clause to the database (last)', 264682, 264787).
149
predicate(recorda, 3, 'Record term in the database (first)', 264790, 265247).
150
predicate(recorda, 2, 'Record term in the database (first)', 265250, 265368).
151
predicate(recordz, 3, 'Record term in the database (last)', 265371, 265575).
152
predicate(recordz, 2, 'Record term in the database (last)', 265578, 265696).
153
predicate(recorded, 3, 'Obtain term from the database', 265699, 265990).
154
predicate(recorded, 2, 'Obtain term from the database', 265993, 266118).
155
predicate(erase, 1, 'Erase a database record or clause', 266121, 266596).
156
predicate(flag, 3, 'Simple global variable system', 266599, 267332).
157
predicate(hash_term, 2, 'Hash-value of ground term', 268881, 269746).
158
predicate((dynamic), 1, 'Indicate predicate definition may change', 270419, 270976).
159
predicate(compile_predicates, 1, 'Compile dynamic code to static', 270979, 271584).
160
predicate((multifile), 1, 'Indicate distributed definition of predicate', 271587, 271878).
161
predicate((discontiguous), 1, 'Indicate distributed definition of a predicate', 271881, 272136).
162
predicate(index, 1, 'Change clause indexing', 272139, 274449).
163
predicate(hash, 1, 'Index predicate using a hash-table', 274452, 275023).
164
predicate(current_atom, 1, 'Examine existing atoms', 275102, 275332).
165
predicate(current_blob, 2, 'Examine typed blobs', 275335, 275685).
166
predicate(current_functor, 2, 'Examine existing name/arity pairs', 275688, 275902).
167
predicate(current_flag, 1, 'Examine existing flags', 275905, 276072).
168
predicate(current_key, 1, 'Examine existing database keys', 276075, 276228).
169
predicate(current_predicate, 2, 'Examine existing predicates', 276231, 276710).
170
predicate(current_predicate, 1, 'Examine existing predicates (ISO)', 276713, 277117).
171
predicate(predicate_property, 2, 'Query predicate attributes', 277120, 281346).
172
predicate(dwim_predicate, 2, 'Find predicate in ``Do What I Mean\'\' sense', 281349, 282013).
173
predicate(clause, 2, 'Get clauses of a predicate', 282016, 282379).
174
predicate(clause, 3, 'Get clauses of a predicate', 282382, 282778).
175
predicate(nth_clause, 3, 'N-th clause of a predicate', 282781, 283787).
176
predicate(clause_property, 2, 'Get properties of a clause', 283790, 284778).
177
predicate(open, 4, 'Open a file (creating a stream)', 286060, 290752).
178
predicate(open, 3, 'Open a file (creating a stream)', 290755, 290945).
179
predicate(open_null_stream, 1, 'Open a stream to discard output', 290948, 291796).
180
predicate(close, 1, 'Close stream', 291799, 292128).
181
predicate(close, 2, 'Close stream (forced)', 292131, 292481).
182
predicate(stream_property, 2, 'Get stream properties', 292484, 296649).
183
predicate(current_stream, 3, 'Examine open streams', 296652, 297185).
184
predicate(is_stream, 1, 'Type check for a stream handle', 297188, 297406).
185
predicate(set_stream_position, 2, 'Seek stream to position', 297409, 297755).
186
predicate(stream_position_data, 3, 'Access fields from stream position', 297758, 298252).
187
predicate(seek, 4, 'Modify the current position in a stream', 298255, 300214).
188
predicate(set_stream, 2, 'Set stream attribute', 300217, 303785).
189
predicate(set_prolog_IO, 3, 'Prepare streams for interactive session', 303788, 304622).
190
predicate(see, 1, 'Change the current input stream', 307271, 307575).
191
predicate(tell, 1, 'Change current output stream', 307578, 307885).
192
predicate(append, 1, 'Append to a file', 307888, 308121).
193
predicate(seeing, 1, 'Query the current input stream', 308124, 308424).
194
predicate(telling, 1, 'Query current output stream', 308427, 308730).
195
predicate(seen, 0, 'Close the current input stream', 308733, 308855).
196
predicate(told, 0, 'Close current output', 308858, 308983).
197
predicate(set_input, 1, 'Set current input stream from a stream', 309236, 309505).
198
predicate(set_output, 1, 'Set current output stream from a stream', 309508, 309736).
199
predicate(current_input, 1, 'Get current input stream', 309739, 309979).
200
predicate(current_output, 1, 'Get the current output stream', 309982, 310146).
201
predicate(with_output_to, 2, 'Write to strings and more', 310266, 312555).
202
predicate(wait_for_input, 3, 'Wait for input with optional timeout', 312622, 314825).
203
predicate(byte_count, 2, 'Byte-position in a stream', 314828, 315166).
204
predicate(character_count, 2, 'Get character index on a stream', 315169, 315503).
205
predicate(line_count, 2, 'Line number on stream', 315506, 315686).
206
predicate(line_position, 2, 'Character position in line on stream', 315689, 316054).
207
predicate(fileerrors, 2, 'Do/Don\'t warn on file errors', 316057, 316594).
208
predicate(nl, 0, 'Generate a newline', 316752, 316954).
209
predicate(nl, 1, 'Generate a newline on a stream', 316957, 317104).
210
predicate(put, 1, 'Write a character', 317107, 317389).
211
predicate(put, 2, 'Write a character on a stream', 317392, 317518).
212
predicate(put_byte, 1, 'Write a byte', 317521, 317730).
213
predicate(put_byte, 2, 'Write a byte on a stream', 317733, 317956).
214
predicate(put_char, 1, 'Write a character', 317959, 318301).
215
predicate(put_char, 2, 'Write a character on a stream', 318304, 318657).
216
predicate(put_code, 1, 'Write a character-code', 318660, 319019).
217
predicate(put_code, 2, 'Write a character-code on a stream', 319022, 319224).
218
predicate(tab, 1, 'Output number of spaces', 319227, 319453).
219
predicate(tab, 2, 'Output number of spaces on a stream', 319456, 319578).
220
predicate(flush_output, 0, 'Output pending characters on current stream', 319581, 319901).
221
predicate(flush_output, 1, 'Output pending characters on specified stream', 319904, 320115).
222
predicate(ttyflush, 0, 'Flush output on terminal', 320118, 320222).
223
predicate(get_byte, 1, 'Read next byte (ISO)', 320225, 320499).
224
predicate(get_byte, 2, 'Read next byte from a stream (ISO)', 320502, 320725).
225
predicate(get_code, 1, 'Read next character (ISO)', 320728, 321035).
226
predicate(get_code, 2, 'Read next character from a stream (ISO)', 321038, 321225).
227
predicate(get_char, 1, 'Read next character as an atom (ISO)', 321228, 321561).
228
predicate(get_char, 2, 'Read next character from a stream (ISO)', 321564, 321845).
229
predicate(get0, 1, 'Read next character', 321848, 322165).
230
predicate(get0, 2, 'Read next character from a stream', 322168, 322312).
231
predicate(get, 1, 'Read first non-blank character', 322315, 322501).
232
predicate(get, 2, 'Read first non-blank character from a stream', 322504, 322623).
233
predicate(peek_byte, 1, 'Read byte without removing', 322626, 322841).
234
predicate(peek_byte, 2, 'Read byte without removing', 322844, 323069).
235
predicate(peek_code, 1, 'Read character-code without removing', 323072, 323287).
236
predicate(peek_code, 2, 'Read character-code without removing', 323290, 323515).
237
predicate(peek_char, 1, 'Read character without removing', 323518, 323737).
238
predicate(peek_char, 2, 'Read character without removing', 323740, 323969).
239
predicate(skip, 1, 'Skip to character in current input', 323972, 324178).
240
predicate(skip, 2, 'Skip to character on stream', 324181, 324290).
241
predicate(get_single_char, 1, 'Read next character from the terminal', 324293, 324918).
242
predicate(at_end_of_stream, 0, 'Test for end of file on input', 324921, 325195).
243
predicate(at_end_of_stream, 1, 'Test for end of file on stream', 325198, 325593).
244
predicate(copy_stream_data, 3, 'Copy n bytes from stream to stream', 325596, 326024).
245
predicate(copy_stream_data, 2, 'Copy all data from stream to stream', 326027, 326247).
246
predicate(read_pending_input, 3, 'Fetch buffered input from a stream', 326250, 327560).
247
predicate(write_term, 2, 'Write term with options', 328282, 331934).
248
predicate(write_term, 3, 'Write term with options to stream', 331937, 332193).
249
predicate(write_canonical, 1, 'Write a term with quotes, ignore operators', 332196, 333118).
250
predicate(write_canonical, 2, 'Write a term with quotes, ignore operators on a stream', 333121, 333328).
251
predicate(write, 1, 'Write term', 333331, 333616).
252
predicate(write, 2, 'Write term to stream', 333619, 333787).
253
predicate(writeq, 1, 'Write term, insert quotes', 333790, 334187).
254
predicate(writeq, 2, 'Write term, insert quotes on stream', 334190, 334378).
255
predicate(print, 1, 'Print a term', 334381, 334725).
256
predicate(print, 2, 'Print a term on a stream', 334728, 334836).
257
predicate(portray, 1, 'Hook (user) Modify behaviour of print/1', 334839, 335260).
258
predicate(read, 1, 'Read Prolog term', 335263, 335661).
259
predicate(read, 2, 'Read Prolog term from stream', 335664, 335831).
260
predicate(read_clause, 1, 'Read clause', 335834, 336279).
261
predicate(read_clause, 2, 'Read clause from stream', 336282, 336425).
262
predicate(read_term, 2, 'Read term with options', 336428, 342096).
263
predicate(read_term, 3, 'Read term with options from stream', 342099, 342318).
264
predicate(read_history, 6, 'Read using history substitution', 342321, 343283).
265
predicate(prompt, 2, 'Change the prompt used by read/1', 343286, 343865).
266
predicate(prompt1, 1, 'Change prompt for 1 line', 343868, 344045).
267
predicate(functor, 3, 'Get name and arity of a term or construct a term ', 344155, 344712).
268
predicate(arg, 3, 'Access argument of a term', 344715, 345505).
269
predicate(=.., 2, '``Univ.\'\' Term to list conversion', 345508, 345974).
270
predicate(numbervars, 3, 'Number unbound variables of a term', 345977, 346488).
271
predicate(numbervars, 4, 'Number unbound variables of a term', 346491, 347580).
272
predicate(term_variables, 2, 'Find unbound variables in a term', 347583, 348065).
273
predicate(term_variables, 3, 'Find unbound variables in a term', 348068, 348291).
274
predicate(copy_term, 2, 'Make a copy of a term', 348294, 349012).
275
predicate(setarg, 3, 'Destructive assignment on term', 349543, 350244).
276
predicate(nb_setarg, 3, 'Non-backtrackable assignment to term', 350247, 351621).
277
predicate(nb_linkarg, 3, 'Non-backtrackable assignment to term', 351624, 351893).
278
predicate(duplicate_term, 2, 'Create a copy of a term', 351896, 352207).
279
predicate(same_term, 2, 'Test terms to be at the same address', 352210, 352621).
280
predicate(atom_codes, 2, 'Convert between atom and list of characters codes', 353805, 354323).
281
predicate(atom_chars, 2, 'Convert between atom and list of characters', 354326, 354650).
282
predicate(char_code, 2, 'Convert between character and character code', 354653, 354862).
283
predicate(number_chars, 2, 'Convert between number and one-char atoms', 354865, 355270).
284
predicate(number_codes, 2, 'Convert between number and character codes', 355273, 355619).
285
predicate(atom_number, 2, 'Convert between atom and number', 355622, 356257).
286
predicate(name, 2, 'Convert between atom and list of character codes', 356260, 356774).
287
predicate(term_to_atom, 2, 'Convert between term and atom', 356777, 357184).
288
predicate(atom_to_term, 3, 'Convert between atom and term', 357187, 357722).
289
predicate(atom_concat, 3, 'Append two atoms', 357725, 358290).
290
predicate(concat_atom, 2, 'Append a list of atoms', 358293, 358673).
291
predicate(concat_atom, 3, 'Append a list of atoms with separator', 358676, 359169).
292
predicate(atom_length, 2, 'Determine length of an atom', 359172, 359696).
293
predicate(atom_prefix, 2, 'Test for start of atom', 359699, 359963).
294
predicate(sub_atom, 5, 'Take a substring from an atom', 359966, 360618).
295
predicate(char_type, 2, 'Classify characters', 361211, 364741).
296
predicate(code_type, 2, 'Classify a character-code', 364744, 365240).
297
predicate(downcase_atom, 2, 'Convert atom to lower-case', 365549, 365936).
298
predicate(upcase_atom, 2, 'Convert atom to upper-case', 365939, 366102).
299
predicate(normalize_space, 2, 'Normalize white space', 366199, 366569).
300
predicate(collation_key, 2, 'Sort key for locale dependent ordering', 366772, 367510).
301
predicate(locale_sort, 2, 'Language dependent sort of atoms', 367513, 367903).
302
predicate(string_to_atom, 2, 'Conversion between string and atom', 370225, 370506).
303
predicate(string_to_list, 2, 'Conversion between string and list of character codes', 370509, 370762).
304
predicate(string_length, 2, 'Determine length of a string', 370765, 371089).
305
predicate(string_concat, 3, 'atom_concat/3 for strings', 371092, 371871).
306
predicate(sub_string, 5, 'Take a substring from a string', 371874, 372241).
307
predicate(op, 3, 'Declare an operator', 373811, 376483).
308
predicate(current_op, 3, 'Examine current operator declarations', 376486, 376793).
309
predicate(char_conversion, 2, 'Provide mapping of input characters', 376993, 377525).
310
predicate(current_char_conversion, 2, 'Query input character mapping', 377528, 377801).
311
predicate(between, 3, 'Integer range checking/generating', 378651, 379218).
312
predicate(succ, 2, 'Logical integer successor relation', 379221, 379621).
313
predicate(plus, 3, 'Logical integer addition', 379624, 379830).
314
predicate(>, 2, 'Arithmetic larger', 380233, 380429).
315
predicate(<, 2, 'Arithmetic smaller', 380432, 380629).
316
predicate(=<, 2, 'Arithmetic smaller or equal', 380632, 380842).
317
predicate(>=, 2, 'Arithmetic larger or equal', 380845, 381055).
318
predicate(=\=, 2, 'Arithmetic not equal', 381058, 381255).
319
predicate(=:=, 2, 'Arithmetic equal', 381258, 381452).
320
predicate(is, 2, 'Evaluate arithmetic expression', 381455, 382321).
321
predicate(-, 1, 'Unary minus', 388213, 388343).
322
predicate(+, 1, 'Unary plus (No-op)', 388346, 388507).
323
predicate(+, 2, 'Addition', 388510, 388673).
324
predicate(-, 2, 'Subtraction', 388676, 388839).
325
predicate(*, 2, 'Multiplication', 388842, 388996).
326
predicate(/, 2, 'Division', 388999, 389614).
327
predicate(mod, 2, 'Remainder of division', 389617, 389939).
328
predicate(rem, 2, 'Remainder of division', 389942, 390275).
329
predicate(//, 2, 'Integer division', 390278, 390483).
330
predicate(rdiv, 2, 'Ration number division', 390486, 390729).
331
predicate(abs, 1, 'Absolute value', 390732, 390897).
332
predicate(sign, 1, 'Extract sign of value', 390900, 391090).
333
predicate(max, 2, 'Maximum of two numbers', 391093, 391468).
334
predicate(min, 2, 'Minimum of two numbers', 391471, 391654).
335
predicate('.', 2, 'Consult. Also list constructor', 391657, 392087).
336
predicate(random, 1, 'Generate random number', 392090, 392329).
337
predicate(round, 1, 'Round to nearest integer', 392332, 392511).
338
predicate(integer, 1, 'Type check for integer', 392514, 392603).
339
predicate(float, 1, 'Type check for a floating point number', 392606, 392992).
340
predicate(rational, 1, 'Type check for a rational number', 392995, 393789).
341
predicate(rationalize, 1, 'Convert to rational number', 393792, 394203).
342
predicate(float_fractional_part, 1, 'Fractional part of a float', 394206, 394640).
343
predicate(float_integer_part, 1, 'Integer part of a float', 394643, 394912).
344
predicate(truncate, 1, 'Truncate float to integer', 394915, 395246).
345
predicate(floor, 1, 'Largest integer below argument', 395249, 395470).
346
predicate(ceiling, 1, 'Smallest integer larger than arg', 395473, 395698).
347
predicate(ceil, 1, 'Smallest integer larger than arg', 395701, 395783).
348
predicate(>>, 2, 'Bitwise right shift', 395786, 396202).
349
predicate(<<, 2, 'Bitwise left shift', 396205, 396408).
350
predicate(\/, 2, 'Bitwise or', 396411, 396597).
351
predicate(/\, 2, 'Bitwise and', 396600, 396787).
352
predicate(xor, 2, 'Bitwise exclusive or', 396790, 396932).
353
predicate(\, 1, 'Bitwise negation', 396935, 397133).
354
predicate(sqrt, 1, 'Square root', 397136, 397292).
355
predicate(sin, 1, 'Sine', 397295, 397482).
356
predicate(cos, 1, 'Cosine', 397485, 397674).
357
predicate(tan, 1, 'Tangent', 397677, 397795).
358
predicate(asin, 1, 'Inverse (arc) sine', 397798, 397931).
359
predicate(acos, 1, 'Inverse (arc) cosine', 397934, 398069).
360
predicate(atan, 1, 'Inverse (arc) tangent', 398072, 398277).
361
predicate(atan, 2, 'Rectangular to polar conversion', 398280, 398591).
362
predicate(log, 1, 'Natural logarithm', 398594, 398774).
363
predicate(log10, 1, '10 base logarithm', 398777, 398892).
364
predicate(exp, 1, 'Exponent (base $e$)', 398895, 399049).
365
predicate(**, 2, 'Power function', 399052, 399616).
366
predicate(powm, 3, 'Integer exponent and modulo', 399619, 400113).
367
predicate(^, 2, 'Existential quantification (bagof/3, setof/3)', 400116, 400201).
368
predicate(pi, 0, 'Mathematical constant', 400204, 400271).
369
predicate(e, 0, 'Mathematical constant', 400274, 400337).
370
predicate(cputime, 0, 'Get CPU time', 400340, 400520).
371
predicate(eval, 1, 'Evaluate term as expression', 400523, 401152).
372
predicate(msb, 1, 'Most significant bit', 401155, 401482).
373
predicate(lsb, 1, 'Least significant bit', 401485, 401798).
374
predicate(popcount, 1, 'Count 1s in a bitvector', 401801, 401977).
375
predicate(arithmetic_function, 1, 'Register an evaluable function', 402724, 403630).
376
predicate(current_arithmetic_function, 1, 'Examine evaluable functions', 403633, 403851).
377
predicate(is_list, 1, 'Type check for a list', 404130, 404624).
378
predicate(memberchk, 2, 'Deterministic member/2', 404627, 404751).
379
predicate(length, 2, 'Length of a list', 404754, 404947).
380
predicate(sort, 2, 'Sort elements in a list', 404950, 405402).
381
predicate(msort, 2, 'Sort, do not remove duplicates', 405405, 405603).
382
predicate(keysort, 2, 'Sort, using a key', 405606, 406635).
383
predicate(predsort, 3, 'Sort, using a predicate to determine the order', 406638, 407038).
384
predicate(merge, 3, 'Merge two sorted lists', 407041, 407413).
385
predicate(merge_set, 3, 'Merge two sorted sets', 407416, 407756).
386
predicate(findall, 3, 'Find all solutions to a goal', 407859, 408420).
387
predicate(findall, 4, 'Difference list version of findall/3', 408423, 408747).
388
predicate(bagof, 3, 'Find all solutions to a goal', 408750, 409969).
389
predicate(setof, 3, 'Find all unique solutions to a goal', 409972, 410233).
390
predicate(maplist, 2, 'Apply predicate on all elements', 411022, 411253).
391
predicate(maplist, 3, 'Map elements pairwise', 411256, 411544).
392
predicate(maplist, 4, 'Map triples of elements', 411547, 411867).
393
predicate(forall, 2, 'Prove goal for all solutions of another goal', 411905, 412378).
394
predicate(writeln, 1, 'Write term, followed by a newline', 412968, 413046).
395
predicate(writef, 1, 'Formatted write', 413049, 413125).
396
predicate(writef, 2, 'Formatted write on stream', 413128, 416285).
397
predicate(swritef, 3, 'Formatted write on a string', 416288, 416607).
398
predicate(swritef, 2, 'Formatted write on a string', 416610, 416731).
399
predicate(format, 1, 'Formatted output', 416775, 416876).
400
predicate(format, 2, 'Formatted output with arguments', 416879, 422447).
401
predicate(format, 3, 'Formatted output on a stream', 422450, 422877).
402
predicate(format_predicate, 2, 'Program format/[1,2]', 422955, 424215).
403
predicate(current_format_predicate, 2, 'Enumerate user-defined format codes', 424218, 424694).
404
predicate(tty_get_capability, 3, 'Get terminal parameter', 425043, 425673).
405
predicate(tty_goto, 2, 'Goto position on screen', 425676, 425915).
406
predicate(tty_put, 2, 'Write control string to terminal', 425918, 426326).
407
predicate(set_tty, 2, 'Set `tty\' stream', 426329, 426540).
408
predicate(tty_size, 2, 'Get row/column size of the terminal', 426543, 427403).
409
predicate(shell, 2, 'Execute OS command', 427503, 428497).
410
predicate(shell, 1, 'Execute OS command', 428500, 428585).
411
predicate(shell, 0, 'Execute interactive subshell', 428588, 428775).
412
predicate(win_exec, 2, 'Win32: spawn Windows task', 428778, 429264).
413
predicate(win_shell, 3, 'Win32: open document through Shell', 429267, 429957).
414
predicate(win_shell, 2, 'Win32: open document through Shell', 429960, 430132).
415
predicate(win_registry_get_value, 3, 'Win32: get registry value', 430135, 431198).
416
predicate(win_folder, 2, 'Win32: get special folder by CSIDL', 431201, 431866).
417
predicate(getenv, 2, 'Get shell environment variable', 431869, 432145).
418
predicate(setenv, 2, 'Set shell environment variable', 432148, 432779).
419
predicate(unsetenv, 1, 'Delete shell environment variable', 432782, 433028).
420
predicate(setlocale, 3, 'Set/query C-library regional information', 433031, 433885).
421
predicate(unix, 1, 'OS interaction', 433888, 435670).
422
predicate(get_time, 1, 'Get current time', 439471, 439661).
423
predicate(stamp_date_time, 3, 'Convert time-stamp to date structure', 439664, 440186).
424
predicate(date_time_stamp, 2, 'Convert sate structure to time-stamp', 440189, 440873).
425
predicate(date_time_value, 3, 'Extract info from a date structure', 440876, 441983).
426
predicate(format_time, 3, 'C strftime() like date/time formatter', 441986, 447007).
427
predicate(format_time, 4, 'date/time formatter with explicit locale', 447010, 447712).
428
predicate(parse_time, 2, 'Parse text to a time-stamp', 447715, 448175).
429
predicate(window_title, 2, 'Win32: change title of window', 448604, 448778).
430
predicate(win_window_pos, 1, 'Win32: change size and position of window', 448781, 449812).
431
predicate(win_has_menu, 0, 'Win32: true if console menu is available', 449815, 449921).
432
predicate(win_insert_menu, 2, 'plwin.exe: add menu', 449924, 450574).
433
predicate(win_insert_menu_item, 4, 'plwin.exe: add item to menu', 450577, 451009).
434
predicate(access_file, 2, 'Check access permissions of a file', 451094, 451700).
435
predicate(exists_file, 1, 'Check existence of file', 451703, 451895).
436
predicate(file_directory_name, 2, 'Get directory part of path', 451898, 452303).
437
predicate(file_base_name, 2, 'Get file part of path', 452306, 452550).
438
predicate(same_file, 2, 'Succeeds if arguments refer to same file', 452553, 452901).
439
predicate(exists_directory, 1, 'Check existence of directory', 452904, 453168).
440
predicate(delete_file, 1, 'Remove a file from the file system', 453171, 453272).
441
predicate(rename_file, 2, 'Change name of file', 453275, 453461).
442
predicate(size_file, 2, 'Get size of a file in characters', 453464, 453600).
443
predicate(time_file, 2, 'Get last modification time of file', 453603, 453896).
444
predicate(absolute_file_name, 2, 'Get absolute path name', 453899, 454499).
445
predicate(absolute_file_name, 3, 'Get absolute path name with options', 454502, 457542).
446
predicate(is_absolute_file_name, 1, 'True if arg defines an absolute path', 457545, 458044).
447
predicate(file_name_extension, 3, 'Add, remove or test file extensions', 458047, 458670).
448
predicate(expand_file_name, 2, 'Wildcard expansion of file names', 458673, 459737).
449
predicate(prolog_to_os_filename, 2, 'Convert between Prolog and OS filenames', 459740, 460250).
450
predicate(read_link, 3, 'Read a symbolic link', 460253, 460734).
451
predicate(tmp_file, 2, 'Create a temporary filename', 460737, 461063).
452
predicate(make_directory, 1, 'Create a folder on the file system', 461066, 461370).
453
predicate(delete_directory, 1, 'Remove a folder from the file system', 461373, 461638).
454
predicate(working_directory, 2, 'Query/change CWD', 461641, 462080).
455
predicate(chdir, 1, 'Compatibility: change working directory', 462083, 462191).
456
predicate(break, 0, 'Start interactive top-level', 462288, 462812).
457
predicate(abort, 0, 'Abort execution, return to top level', 462815, 463778).
458
predicate(halt, 0, 'Exit from Prolog', 463781, 464200).
459
predicate(halt, 1, 'Exit from Prolog with status', 464203, 464415).
460
predicate(prolog, 0, 'Run interactive top-level', 464418, 464899).
461
predicate(expand_query, 4, 'Expanded entered query', 464902, 465614).
462
predicate(expand_answer, 2, 'Expand answer of query', 465617, 466090).
463
predicate(protocol, 1, 'Make a log of the user interaction', 466416, 466619).
464
predicate(protocola, 1, 'Append log of the user interaction to file', 466622, 466764).
465
predicate(noprotocol, 0, 'Disable logging of user interaction', 466767, 466896).
466
predicate(protocolling, 1, 'On what file is user interaction logged', 466899, 467094).
467
predicate(trace, 0, 'Start the tracer', 467478, 467667).
468
predicate(tracing, 0, 'Query status of the tracer', 467670, 467796).
469
predicate(notrace, 0, 'Stop tracing', 467799, 467890).
470
predicate(guitracer, 0, 'Install hooks for the graphical debugger', 467893, 468192).
471
predicate(noguitracer, 0, 'Disable the graphical debugger', 468195, 468269).
472
predicate(trace, 1, 'Set trace-point on predicate', 468272, 468354).
473
predicate(trace, 2, 'Set/Clear trace-point on ports', 468357, 469443).
474
predicate(notrace, 1, 'Do not debug argument goal', 469446, 469766).
475
predicate(debug, 0, 'Test for debugging mode', 469769, 470059).
476
predicate(nodebug, 0, 'Disable debugging', 470062, 470170).
477
predicate(debugging, 0, 'Show debugger status', 470173, 470306).
478
predicate(spy, 1, 'Force tracer on specified predicate', 470309, 470454).
479
predicate(nospy, 1, 'Remove spy point', 470457, 470599).
480
predicate(nospyall, 0, 'Remove all spy points', 470602, 470678).
481
predicate(leash, 1, 'Change ports visited by the tracer', 470681, 471290).
482
predicate(visible, 1, 'Ports that are visible in the tracer', 471293, 471461).
483
predicate(unknown, 2, 'Trap undefined predicates', 471464, 471753).
484
predicate(style_check, 1, 'Change level of warnings', 471756, 474221).
485
predicate(statistics, 2, 'Obtain collected statistics', 474321, 479273).
486
predicate(statistics, 0, 'Show execution statistics', 479276, 479378).
487
predicate(time, 1, 'Determine time needed to execute goal', 479381, 479826).
488
predicate(profile, 1, 'Obtain execution statistics', 480777, 481047).
489
predicate(profile, 3, 'Obtain execution statistics', 481050, 481664).
490
predicate(show_profile, 2, 'Show results of the profiler', 481667, 482279).
491
predicate(show_profile, 1, 'Show results of the profiler', 482282, 482427).
492
predicate(profiler, 2, 'Obtain/change status of the profiler', 482430, 482742).
493
predicate(reset_profiler, 0, 'Clear statistics obtained by the profiler', 482745, 482860).
494
predicate(noprofile, 1, 'Hide (meta-) predicate for the profiler', 482863, 483284).
495
predicate(garbage_collect, 0, 'Invoke the garbage collector', 489021, 489464).
496
predicate(garbage_collect_atoms, 0, 'Invoke the atom garbage collector', 489467, 490020).
497
predicate(limit_stack, 2, 'Limit stack expansion', 490023, 490730).
498
predicate(trim_stacks, 0, 'Release unused memory resources', 490733, 491449).
499
predicate(stack_parameter, 4, 'Some systems: Query/Set runtime stack parameter', 491452, 492205).
500
predicate(open_dde_conversation, 3, 'Win32: Open DDE channel', 493334, 493736).
501
predicate(close_dde_conversation, 1, 'Win32: Close DDE channel', 493739, 494081).
502
predicate(dde_request, 3, 'Win32: Make a DDE request', 494084, 494772).
503
predicate(dde_execute, 2, 'Win32: Execute command on DDE server', 494775, 495033).
504
predicate(dde_poke, 3, 'Win32: POKE operation on DDE server', 495036, 495255).
505
predicate(dde_register_service, 2, 'Win32: Become a DDE server', 495670, 497328).
506
predicate(dde_unregister_service, 1, 'Win32: Terminate a DDE service', 497331, 497565).
507
predicate(dde_current_service, 2, 'Win32: Examine DDE services provided', 497568, 497748).
508
predicate(dde_current_connection, 2, 'Win32: Examine open DDE connections', 497751, 497909).
509
predicate(dwim_match, 2, 'Atoms match in ``Do What I Mean\'\' sense', 497968, 498604).
510
predicate(dwim_match, 3, 'Atoms match in ``Do What I Mean\'\' sense', 498607, 499048).
511
predicate(wildcard_match, 2, 'Csh(1) style wildcard match', 499051, 499761).
512
predicate(sleep, 1, 'Suspend execution for specified time', 499764, 500407).
513
predicate(use_module, 1, 'Import a module', 505680, 506084).
514
predicate(use_module, 2, 'Import predicates from a module', 506087, 507443).
515
predicate(import, 1, 'Import a predicate from a module', 507446, 508759).
516
predicate(reexport, 1, 'Load files and re-export the imported predicates', 510336, 510566).
517
predicate(reexport, 2, 'Load predicates from a file and re-export it', 510569, 510818).
518
predicate(module, 2, 'Declare a module', 520088, 520819).
519
predicate((module_transparent), 1, 'Indicate module based meta-predicate', 520822, 521146).
520
predicate((meta_predicate), 1, 'Quintus compatibility', 521149, 521370).
521
predicate(current_module, 1, 'Examine existing modules', 521373, 521486).
522
predicate(current_module, 2, 'Examine existing modules', 521489, 521745).
523
predicate(context_module, 1, 'Get context module of current goal', 521748, 521947).
524
predicate(strip_module, 3, 'Extract context module and term', 521950, 522453).
525
predicate(export, 1, 'Export a predicate from a module', 522456, 522899).
526
predicate(export_list, 2, 'List of public predicates of a module', 522902, 523443).
527
predicate(import_module, 2, 'Query import modules', 523446, 523821).
528
predicate(add_import_module, 3, 'Add module to the auto-import list', 523824, 524203).
529
predicate(delete_import_module, 2, 'Remove module from import list', 524206, 524471).
530
predicate(default_module, 2, 'Get the default modules of a module', 524474, 524955).
531
predicate(module, 1, 'Query/set current type-in module', 524958, 525365).
532
predicate(attvar, 1, 'Type test for attributed variable', 532053, 532268).
533
predicate(put_attr, 3, 'Put attribute on a variable', 532271, 532878).
534
predicate(get_attr, 3, 'Fetch named attribute from a variable', 532881, 533273).
535
predicate(del_attr, 2, 'Delete attribute from variable', 533276, 533667).
536
predicate(attr_unify_hook, 2, 'Attributed variable unification hook', 533670, 534543).
537
predicate(attr_portray_hook, 2, 'Attributed variable print hook', 534546, 534925).
538
predicate(attribute_goals, 3, 'Project attributes to goals', 534928, 535272).
539
predicate(get_attrs, 2, 'Fetch all attributes of a variable', 535680, 536041).
540
predicate(put_attrs, 2, 'Set/replace all attributes on a variable', 536044, 536242).
541
predicate(copy_term, 3, 'Copy a term and obtain attribute-goals', 536245, 536681).
542
predicate(copy_term_nat, 2, 'Make a copy of a term without attributes', 536684, 536864).
543
predicate(freeze, 2, 'Delay execution until variable is bound', 537520, 538015).
544
predicate(frozen, 2, 'Query delayed goals on var', 538018, 538235).
545
predicate(when, 2, 'Execute goal when condition becomes true', 538238, 538806).
546
predicate(dif, 2, 'Constrain two terms to be different', 538809, 539514).
547
predicate(call_residue_vars, 2, 'Find residual attributed variables', 539517, 540776).
548
predicate(b_setval, 2, 'Assign backtrackable global variable', 542677, 543087).
549
predicate(b_getval, 2, 'Fetch backtrackable global variable', 543090, 543588).
550
predicate(nb_setval, 2, 'Assign non-backtrackable global variable', 543591, 543879).
551
predicate(nb_getval, 2, 'Fetch non-backtrackable global variable', 543882, 544294).
552
predicate(nb_linkval, 2, 'Assign non-backtrackable global variable', 544297, 545259).
553
predicate(nb_current, 2, 'Enumerate non-backtrackable global variables', 545262, 545439).
554
predicate(nb_delete, 1, 'Delete a non-backtrackable global variable', 545442, 545529).
555
predicate(chr_option, 2, 'Specify CHR compilation options', 553902, 555760).
556
predicate(chr_constraint, 1, 'CHR Constraint declaration', 556209, 558699).
557
predicate(chr_type, 1, 'CHR Type declaration', 558702, 562935).
558
predicate(chr_trace, 0, 'Start CHR tracer', 566760, 566949).
559
predicate(chr_notrace, 0, 'Stop CHR tracer', 566952, 567147).
560
predicate(chr_leash, 1, 'Define CHR leashed ports', 567150, 567590).
561
predicate(chr_show_store, 1, 'List suspended CHR constraints', 567593, 568064).
562
predicate(find_chr_constraint, 1, '', 568067, 568289).
563
predicate(thread_create, 3, 'Create a new Prolog task', 580472, 584093).
564
predicate(thread_self, 1, 'Get identifier of current thread', 584096, 584271).
565
predicate(thread_join, 2, 'Wait for Prolog task-completion', 584274, 585513).
566
predicate(thread_detach, 1, 'Make thread cleanup after completion', 585516, 586309).
567
predicate(thread_exit, 1, 'Terminate Prolog task with value', 586312, 587059).
568
predicate((thread_initialization), 1, 'Run action at start of thread', 587062, 587732).
569
predicate(thread_at_exit, 1, 'Register goal to be called at exit', 587735, 588287).
570
predicate(thread_setconcurrency, 2, 'Number of active threads', 588290, 588821).
571
predicate(thread_property, 2, 'Examine Prolog threads', 589412, 591168).
572
predicate(thread_statistics, 3, 'Get statistics of another thread', 591171, 591537).
573
predicate(mutex_statistics, 0, 'Print statistics on mutex usage', 591540, 592045).
574
predicate(thread_send_message, 2, 'Send message to another thread', 592697, 593811).
575
predicate(thread_get_message, 1, 'Wait for message', 593814, 594555).
576
predicate(thread_peek_message, 1, 'Test for message', 594558, 594956).
577
predicate(message_queue_create, 1, 'Create queue for thread communication', 594959, 595333).
578
predicate(message_queue_create, 2, 'Create queue for thread communication', 595336, 596051).
579
predicate(message_queue_destroy, 1, 'Destroy queue for thread communication', 596054, 596357).
580
predicate(thread_get_message, 2, 'Wait for message in a queue', 596360, 596603).
581
predicate(thread_peek_message, 2, 'Test for message in a queue', 596606, 596942).
582
predicate(message_queue_property, 2, 'Query message queue properties', 596945, 598571).
583
predicate(thread_signal, 2, 'Execute goal in another thread', 599271, 600379).
584
predicate((thread_local), 1, 'Declare thread-specific clauses for a predicate', 601376, 602785).
585
predicate(mutex_create, 1, 'Create a thread-synchronisation device', 604153, 604458).
586
predicate(mutex_create, 2, 'Create a thread-synchronisation device', 604461, 604823).
587
predicate(mutex_destroy, 1, 'Destroy a mutex', 604826, 605042).
588
predicate(with_mutex, 2, 'Run goal while holding mutex', 605045, 605697).
589
predicate(mutex_lock, 1, 'Become owner of a mutex', 605700, 606820).
590
predicate(mutex_trylock, 1, 'Become owner of a mutex (non-blocking)', 606823, 607001).
591
predicate(mutex_unlock, 1, 'Release ownership of mutex', 607004, 607242).
592
predicate(mutex_unlock_all, 0, 'Release ownership of all mutexes', 607245, 607483).
593
predicate(mutex_property, 2, 'Query mutex properties', 607486, 608301).
594
predicate(threads, 0, 'List running threads', 608579, 608649).
595
predicate(join_threads, 0, 'Join all terminated threads interactively', 608652, 609078).
596
predicate(interactor, 0, 'Start new thread with console and top-level', 609081, 609323).
597
predicate(attach_console, 0, 'Attach I/O console to thread', 609964, 610711).
598
predicate(tdebug, 1, 'Switch a thread into debug mode', 610714, 611238).
599
predicate(tdebug, 0, 'Switch all threads into debug mode', 611241, 611302).
600
predicate(tnodebug, 1, 'Switch off debug mode in a thread', 611305, 611418).
601
predicate(tnodebug, 0, 'Switch off debug mode in all threads', 611421, 611484).
602
predicate(tspy, 2, 'Set spy point and enable debugging in a thread', 611487, 611862).
603
predicate(tspy, 1, 'Set spy point and enable debugging in all threads', 611865, 612134).
604
predicate(tprofile, 1, 'Profile a thread for some period', 612505, 612761).
605
predicate(in_pce_thread, 1, 'Run goal in XPCE thread', 625568, 626214).
606
predicate(pce_dispatch, 1, 'Run XPCE GUI in separate thread', 626217, 626705).
607
predicate(pce_call, 1, 'Run goal in XPCE GUI thread', 626708, 627217).
608
predicate(open_shared_object, 2, 'UNIX: Open shared library (.so file)', 631611, 632221).
609
predicate(open_shared_object, 3, 'UNIX: Open shared library (.so file)', 632224, 632904).
610
predicate(close_shared_object, 1, 'UNIX: Close shared library (.so file)', 632907, 633055).
611
predicate(call_shared_object_function, 2, 'UNIX: Call C-function in shared (.so) file', 633058, 633453).
612
predicate(load_foreign_library, 2, 'library(shlib) Load shared library (.so file)', 633787, 634887).
613
predicate(load_foreign_library, 1, 'library(shlib) Load shared library (.so file)', 634890, 635341).
614
predicate(unload_foreign_library, 1, 'library(shlib) Detach shared library (.so file)', 635344, 635779).
615
predicate(current_foreign_library, 2, 'library(shlib) Examine loaded shared libraries (.so files)', 635782, 636729).
616
predicate(qsave_program, 2, 'Create runtime application', 781153, 784968).
617
predicate(qsave_program, 1, 'Create runtime application', 784971, 785075).
618
predicate(autoload, 0, 'Autoload all predicates now', 785078, 786742).
619
predicate((volatile), 1, 'Predicates that are not saved', 786745, 787098).
620
predicate(resource, 3, 'Declare a program resource', 791925, 793707).
621
predicate(open_resource, 3, 'Open a program resource as a stream', 793710, 794853).
622
predicate(aggregate, 3, 'Aggregate bindings in Goal according to Template.', 805560, 805859).
623
predicate(aggregate, 4, 'Aggregate bindings in Goal according to Template.', 805862, 806191).
624
predicate(aggregate_all, 3, 'Aggregate bindings in Goal according to Template.', 806194, 806522).
625
predicate(aggregate_all, 4, 'Aggregate bindings in Goal according to Template.', 806525, 806910).
626
predicate(foreach, 2, 'True if the conjunction of instances of Goal using the bindings from Generator is true.', 806913, 807945).
627
predicate(free_variables, 4, 'In order to handle variables properly, we have to find all the universally quantified variables in the Generator.', 807948, 809003).
628
predicate(include, 3, 'Filter elements for which Goal succeed.', 809544, 809987).
629
predicate(exclude, 3, 'Filter elements for which Goal fails.', 809990, 810294).
630
predicate(partition, 4, 'Filter elements of List according to Pred.', 810297, 810702).
631
predicate(partition, 5, 'Filter list according to Pred in three sets.', 810705, 811153).
632
predicate(assoc_to_list, 2, 'Convert association tree to list', 811931, 812146).
633
predicate(assoc_to_keys, 2, 'Translate assoc into a key list', 812149, 812347).
634
predicate(assoc_to_values, 2, 'Translate assoc into a value list', 812350, 812589).
635
predicate(empty_assoc, 1, 'Create/test empty association tree', 812592, 812713).
636
predicate(gen_assoc, 3, 'Enumerate members of association tree', 812716, 812916).
637
predicate(get_assoc, 3, 'Fetch key from association tree', 812919, 813119).
638
predicate(get_assoc, 5, 'Fetch key from association tree', 813122, 813423).
639
predicate(list_to_assoc, 2, 'Create association tree from list', 813426, 813613).
640
predicate(map_assoc, 2, 'Map association tree', 813616, 813759).
641
predicate(map_assoc, 3, 'Map association tree', 813762, 813993).
642
predicate(max_assoc, 3, 'Highest key in association tree', 813996, 814199).
643
predicate(min_assoc, 3, 'Lowest key in association tree', 814202, 814409).
644
predicate(ord_list_to_assoc, 2, 'Convert ordered list to assoc', 814412, 814659).
645
predicate(put_assoc, 4, 'Add Key-Value to association tree', 814662, 814989).
646
predicate(broadcast, 1, 'Send event notification', 816071, 816466).
647
predicate(broadcast_request, 1, 'Request all agents', 816469, 817115).
648
predicate(listen, 2, 'Listen to event notifications', 817118, 817595).
649
predicate(listen, 3, 'Listen to event notifications', 817598, 818776).
650
predicate(unlisten, 1, 'Stop listening to event notifications', 818779, 818924).
651
predicate(unlisten, 2, 'Stop listening to event notifications', 818927, 819141).
652
predicate(unlisten, 3, 'Stop listening to event notifications', 819144, 819394).
653
predicate(listening, 3, 'Who is listening to event notifications?', 819397, 819605).
654
predicate(check, 0, 'Program completeness and consistency', 819836, 820214).
655
predicate(list_undefined, 0, 'List undefined predicates', 820217, 821514).
656
predicate(list_autoload, 0, 'List predicates that require autoload', 821517, 821759).
657
predicate(list_redefined, 0, 'List locally redefined predicates', 821762, 822007).
658
predicate(all_distinct, 1, 'Demand distinct values', 822338, 822597).
659
predicate(vars_in, 2, 'Declare domain of variable as set', 822600, 822869).
660
predicate(vars_in, 3, 'Declare domain of variable as interval', 822872, 823123).
661
predicate(in, 2, 'Constrain Var to elements of Domain.', 828536, 828987).
662
predicate(ins, 2, 'Constrain the variables in the list Vars to elements of Domain.', 828990, 829126).
663
predicate(indomain, 1, 'Bind Var to all feasible values of its domain on backtracking.', 829129, 829291).
664
predicate(label, 1, 'Equivalent to labeling([], Vars).', 829294, 829377).
665
predicate(labeling, 2, 'Labeling means systematically trying out values for the finite domain variables Vars until all of them are ground.', 829380, 832200).
666
predicate(all_different, 1, 'Constrain Vars to be pairwise distinct.', 832203, 832316).
667
predicate(sum, 3, 'Constrain the sum of a list.', 832319, 832540).
668
predicate(#>=, 2, 'X is greater than or equal to Y.', 832543, 832602).
669
predicate(#=<, 2, 'X is less than or equal to Y.', 832605, 832661).
670
predicate(#=, 2, 'X equals Y.', 832664, 832701).
671
predicate(#\=, 2, 'X is not Y.', 832704, 832742).
672
predicate(#>, 2, 'X is greater than Y.', 832745, 832791).
673
predicate(#<, 2, 'X is less than Y.', 832794, 832837).
674
predicate(#\, 1, 'The reifiable constraint Q does _not_ hold.', 832840, 832904).
675
predicate(#<==>, 2, 'P and Q are equivalent.', 832907, 832959).
676
predicate(#==>, 2, 'P implies Q.', 832962, 833002).
677
predicate(#<==, 2, 'Q implies P.', 833005, 833045).
678
predicate(#/\, 2, 'P and Q hold.', 833048, 833088).
679
predicate(#\/, 2, 'P or Q holds.', 833091, 833131).
680
predicate(lex_chain, 1, 'Constrains Lists to be lexicographically non-decreasing.', 833134, 833257).
681
predicate(tuples_in, 2, 'Relation is a ground list of lists of integers.', 833260, 833527).
682
predicate(all_distinct, 1, 'Demand distinct values', 833530, 833635).
683
predicate(serialized, 2, 'Constrain a set of intervals to a non-overlapping sequence.', 833638, 834294).
684
predicate(fd_var, 1, 'True iff Var is a CLP(FD) variable.', 834297, 834380).
685
predicate(fd_inf, 2, 'Inf is the infimum of the current domain of Var.', 834383, 834501).
686
predicate(fd_sup, 2, 'Sup is the supremum of the current domain of Var.', 834504, 834623).
687
predicate(fd_size, 2, 'Size is the number of elements of the current domain of Var, or the atom *sup* if the domain is unbounded.', 834626, 834819).
688
predicate(fd_dom, 2, 'Dom is the current domain (see in/2) of Var.', 834822, 834936).
689
predicate(entailed, 1, 'Check if constraint is entailed', 836537, 836815).
690
predicate(inf, 2, 'Find the infimum of an expression', 836818, 837097).
691
predicate(sup, 2, 'Find the supremum of an expression', 837100, 837379).
692
predicate(minimize, 1, 'Minimizes an expression', 837382, 837630).
693
predicate(maximize, 1, 'Maximizes an expression', 837633, 837882).
694
predicate(bb_inf, 5, 'Infimum of expression for mixed-integer problems', 837885, 838629).
695
predicate(bb_inf, 4, 'Infimum of expression for mixed-integer problems', 838632, 838870).
696
predicate(bb_inf, 3, 'Infimum of expression for mixed-integer problems', 838873, 839106).
697
predicate(dump, 3, 'Dump constraints on variables', 839109, 839634).
698
predicate(debug, 3, 'Print debugging message on topic', 846393, 846953).
699
predicate(debugging, 1, 'Test where we are debugging topic', 846956, 847299).
700
predicate(debug, 1, 'Select topic for debugging', 847302, 847742).
701
predicate(nodebug, 1, 'Disable debug-topic', 847745, 847861).
702
predicate(list_debug_topics, 0, 'List registered topics for debugging', 847864, 848006).
703
predicate(assertion, 1, 'Make assertions about your program', 848009, 848782).
704
predicate(gensym, 2, 'Generate unique atoms from a base', 849416, 849772).
705
predicate(reset_gensym, 1, 'Reset a gensym key', 849775, 850014).
706
predicate(reset_gensym, 0, 'Reset all gensym keys', 850017, 850340).
707
predicate(append, 3, 'Concatenate lists', 850636, 850927).
708
predicate(append, 2, 'Concatenate a list of lists', 850930, 851236).
709
predicate(member, 2, 'Element is member of a list', 851239, 851449).
710
predicate(nextto, 3, 'Y follows X in List', 851452, 851574).
711
predicate(delete, 3, 'Delete all matching members from a list', 851577, 851795).
712
predicate(select, 3, 'Select element of a list', 851798, 852141).
713
predicate(nth0, 3, 'N-th element of a list (0-based)', 852144, 852344).
714
predicate(nth1, 3, 'N-th element of a list (1-based)', 852347, 852547).
715
predicate(last, 2, 'Last element of a list', 852550, 852837).
716
predicate(reverse, 2, 'Inverse the order of the elements in a list', 852840, 853033).
717
predicate(permutation, 2, 'Test/generate permutations of a list', 853036, 853397).
718
predicate(flatten, 2, 'Transform nested list into flat list', 853400, 853750).
719
predicate(sumlist, 2, 'Add all numbers in a list', 853753, 854007).
720
predicate(max_list, 2, 'Largest number in a list', 854010, 854170).
721
predicate(min_list, 2, 'Smallest number in a list', 854173, 854333).
722
predicate(numlist, 3, 'Create list of integers in interval', 854336, 854557).
723
predicate(is_set, 1, 'Type check for a set', 854938, 855047).
724
predicate(list_to_set, 2, 'Remove duplicates from a list', 855050, 855378).
725
predicate(intersection, 3, 'Set intersection', 855381, 855676).
726
predicate(subtract, 3, 'Delete elements that do not satisfy condition', 855679, 855878).
727
predicate(union, 3, 'Union of two sets', 855881, 856135).
728
predicate(subset, 2, 'Check subset relation for unordered sets', 856138, 856286).
729
predicate(empty_nb_set, 1, 'Test/create an empty non-backtrackable set', 857455, 857566).
730
predicate(add_nb_set, 2, 'Add term to a non-backtrackable set', 857569, 857773).
731
predicate(add_nb_set, 3, 'Add term to a non-backtrackable set', 857776, 858251).
732
predicate(gen_nb_set, 2, 'Generate members of non-backtrackable set', 858254, 858451).
733
predicate(size_nb_set, 2, 'Determine size of non-backtrackable set', 858454, 858590).
734
predicate(nb_set_to_list, 2, 'Convert non-backtrackable set to list', 858593, 858814).
735
predicate(www_open_url, 1, 'Open a web-page in a browser', 859059, 860210).
736
predicate(option, 3, 'Get an option from a OptionList.', 861830, 862228).
737
predicate(option, 2, 'Get an option from a OptionList.', 862231, 862693).
738
predicate(select_option, 3, 'Get and remove option from an option list.', 862696, 863079).
739
predicate(select_option, 4, 'Get and remove option with default value.', 863082, 863523).
740
predicate(merge_options, 3, 'Merge two option lists.', 863526, 863903).
741
predicate(meta_options, 3, 'Perform meta-expansion on options that are module-sensitive.', 863906, 864368).
742
predicate(ord_empty, 1, 'Test empty ordered set', 865272, 865413).
743
predicate(list_to_ord_set, 2, 'Create ordered set', 865416, 865571).
744
predicate(ord_add_element, 3, 'Add element to ordered set', 865574, 865838).
745
predicate(ord_del_element, 3, 'Delete element from ordered set', 865841, 866102).
746
predicate(ord_intersect, 2, 'Test non-empty intersection', 866105, 866261).
747
predicate(ord_intersection, 3, 'Compute intersection', 866264, 866499).
748
predicate(ord_disjoint, 2, 'Test empty intersection', 866502, 866689).
749
predicate(ord_subtract, 3, 'Delete set from set', 866692, 866927).
750
predicate(ord_union, 3, 'Union of two ordered sets', 866930, 867105).
751
predicate(ord_union, 4, 'Union and difference of two ordered sets', 867108, 867359).
752
predicate(ord_subset, 2, 'Test subset', 867362, 867495).
753
predicate(ord_memberchk, 2, 'Deterministically test membership', 867498, 867694).
754
predicate(pairs_keys_values, 3, 'True if Keys holds the keys of Pairs and Values the values.', 868274, 868651).
755
predicate(pairs_values, 2, 'Remove the keys from a list of Key-Value pairs.', 868654, 868928).
756
predicate(pairs_keys, 2, 'Remove the values from a list of Key-Value pairs.', 868931, 869191).
757
predicate(group_pairs_by_key, 2, 'Group values with the same key.', 869194, 869827).
758
predicate(transpose_pairs, 2, 'Swap Key-Value to Value-Key and sort the result on Value (the new key) using keysort/2.', 869830, 870082).
759
predicate(map_list_to_pairs, 3, 'Create a key-value list by mapping each element of List.', 870085, 870455).
760
predicate(xref_source, 1, 'Cross-reference analysis of source', 872423, 872760).
761
predicate(xref_current_source, 1, 'Examine cross-referenced sources', 872763, 872891).
762
predicate(xref_clean, 1, 'Remove analysis of source', 872894, 873011).
763
predicate(xref_defined, 3, 'Examine defined predicates', 873014, 873730).
764
predicate(xref_called, 3, 'Examine called predicates', 873733, 873910).
765
predicate(xref_exported, 2, 'Examine exported predicates', 873913, 874078).
766
predicate(xref_module, 2, 'Module defined by source', 874081, 874234).
767
predicate(xref_built_in, 1, 'Examine defined built-ins', 874237, 874559).
768
predicate(called_by, 2, 'Hook (prolog) Extend cross-referencer', 874770, 875582).
769
predicate(read_line_to_codes, 2, 'Read line from a stream', 876158, 876666).
770
predicate(read_line_to_codes, 3, 'Read line from a stream', 876669, 877599).
771
predicate(read_stream_to_codes, 2, 'Read contents of stream', 877602, 877790).
772
predicate(read_stream_to_codes, 3, 'Read contents of stream', 877793, 877977).
773
predicate(read_file_to_codes, 3, 'Read contents of file', 877980, 878462).
774
predicate(read_file_to_terms, 3, 'Read contents of file to Prolog terms', 878465, 878978).
775
predicate(record, 1, 'Define named fields in a term', 883992, 884282).
776
predicate(registry_get_key, 2, 'Get principal value of key', 885190, 885395).
777
predicate(registry_get_key, 3, 'Get associated value of key', 885398, 885555).
778
predicate(registry_set_key, 2, 'Set principal value of key', 885558, 885767).
779
predicate(registry_set_key, 3, 'Set associated value of key', 885770, 885990).
780
predicate(registry_delete_key, 1, 'Remove a key', 885993, 886102).
781
predicate(shell_register_file_type, 4, 'Register a file-type', 886105, 886641).
782
predicate(shell_register_dde, 6, 'Register DDE action', 886644, 887354).
783
predicate(shell_register_prolog, 1, 'Register Prolog', 887357, 888161).
784
predicate(assignment, 2, 'Solve assignment problem', 889263, 889684).
785
predicate(constraint, 3, 'Add linear constraint to state', 889687, 890383).
786
predicate(constraint, 4, 'Add named linear constraint to state', 890386, 890612).
787
predicate(constraint_add, 4, 'Extend a named constraint', 890615, 890915).
788
predicate(gen_state, 1, 'Create empty linear program', 890918, 891056).
789
predicate(maximize, 3, 'Maximize objective function in to linear constraints', 891059, 891436).
790
predicate(minimize, 3, 'Minimize objective function in to linear constraints', 891439, 891552).
791
predicate(objective, 2, 'Fetch value of objective function', 891555, 891810).
792
predicate(shadow_price, 3, 'Fetch shadow price in solved state', 891813, 892103).
793
predicate(transportation, 4, 'Solve transportation problem', 892106, 892824).
794
predicate(variable_value, 3, 'Fetch value of variable in solved state', 892827, 893452).
795
predicate(vertices_edges_to_ugraph, 3, 'Create unweighted graph', 899119, 899968).
796
predicate(vertices, 2, 'Find vertices in graph', 899971, 900241).
797
predicate(edges, 2, 'Find edges in graph', 900244, 900492).
798
predicate(add_vertices, 3, 'Add vertices to graph', 900495, 900860).
799
predicate(del_vertices, 3, 'Delete vertices from graph', 900863, 901394).
800
predicate(add_edges, 3, 'Add edges to graph', 901397, 901858).
801
predicate(del_edges, 3, 'Delete edges from graph', 901861, 902355).
802
predicate(transpose, 2, 'Invert the direction of all edges', 902358, 902827).
803
predicate(neighbours, 3, 'Find neighbors of vertice', 902830, 903194).
804
predicate(neighbors, 3, 'Find neighbors of vertice', 903197, 903343).
805
predicate(complement, 2, 'Inverse presense of edges', 903346, 903789).
806
predicate(compose, 3, '', 903792, 904166).
807
predicate(ugraph_union, 3, 'Union of two graphs', 904169, 904480).
808
predicate(top_sort, 2, 'Sort graph topologically', 904483, 904899).
809
predicate(top_sort, 3, 'Sort graph topologically', 904902, 905112).
810
predicate(transitive_closure, 2, 'Create transitive closure of graph', 905115, 905424).
811
predicate(reachable, 3, 'Find all reachable vertices', 905427, 905757).
812
predicate(global_url, 3, 'Translate a possibly relative URL into an absolute one.', 906585, 906744).
813
predicate(is_absolute_url, 1, 'True if URL is an absolute URL.', 906747, 906927).
814
predicate(http_location, 2, 'Construct or analyze an HTTP location.', 906930, 907468).
815
predicate(parse_url, 2, 'Construct or analyse a URL.', 907471, 907608).
816
predicate(parse_url, 3, '', 907611, 910155).
817
predicate(www_form_encode, 2, 'En/Decode between native value and application/x-www-form-encoded.', 910158, 910321).
818
predicate(www_form_encode, 2, 'En/Decode between native value and application/x-www-form-encoded.', 910324, 910734).
819
predicate(url_iri, 2, 'Convert between a URL, encoding in US-ASCII and an IRI.', 910737, 910872).
820
predicate(url_iri, 2, 'Convert between a URL, encoding in US-ASCII and an IRI.', 910875, 911208).
821
predicate(parse_url_search, 2, 'Construct or analyze an HTTP search specification.', 911211, 911570).
822
predicate(file_name_to_url, 2, 'Translate between a filename and a file:Sidiv{} URL.', 911573, 911713).
823
predicate(file_name_to_url, 2, 'Translate between a filename and a file:Sidiv{} URL.', 911716, 912054).
824
predicate(prolog_current_frame, 1, 'Reference to goal\'s environment stack', 912655, 913064).
825
predicate(prolog_frame_attribute, 3, 'Obtain information on a goal environment', 913067, 917093).
826
predicate(prolog_choice_attribute, 3, 'Examine the choice-point stack', 917096, 918145).
827
predicate(deterministic, 1, 'Test deterministicy of current clause', 918148, 918631).
828
predicate(prolog_trace_interception, 4, 'library(user) Intercept the Prolog tracer', 918716, 922245).
829
predicate(prolog_skip_level, 2, 'Indicate deepest recursion to trace', 922248, 922908).
830
predicate(prolog_exception_hook, 4, 'Rewrite exceptions', 923349, 926095).
831
predicate(exception, 3, 'Hook (user) Handle runtime exceptions', 926743, 928323).
832
predicate(prolog_list_goal, 1, 'Hook (user) Intercept tracer \'L\' command', 928812, 929231).
833
predicate(debug_control_hook, 1, 'Hook (prolog) Extend spy/1, etc.', 929234, 930477).
834
predicate(help_hook, 1, 'Hook (prolog) User-hook in the help-system', 930480, 931136).
835
predicate(prolog_load_file, 2, 'Hook (user) Program load_files/2', 931431, 931907).
836
predicate(comment_hook, 3, 'Hook (prolog) handle comments in sources', 931910, 932633).
837
predicate(rl_read_init_file, 1, 'Read readline(3) init file', 932943, 933197).
838
predicate(rl_add_history, 1, 'Add line to readline(3) history', 933200, 933359).
839
predicate(rl_write_history, 1, 'Write readline(3) history', 933362, 933555).
840
predicate(rl_read_history, 1, 'Read readline(3) history', 933558, 933719).
841
predicate(expects_dialect, 1, 'For which Prolog dialect is this code written?', 935758, 937163).
842
predicate(exists_source, 1, 'Check existence of a Prolog source', 937166, 937409).
843
predicate(source_exports, 2, 'Check whether source exports a predicate', 937412, 937629).
844
predicate(eval_license, 0, 'Evaluate licenses of loaded modules', 962184, 962563).
845
predicate(license, 2, 'Define license for named module', 962566, 965766).
846
predicate(license, 1, 'Define license for current file', 965769, 965942).
14
predicate(help, 0, 'Give help on help', 49122, 49167).
15
predicate(help, 1, 'Give help on predicates and show parts of manual', 49170, 50291).
16
predicate(apropos, 1, 'library(online_help) Search manual', 50294, 50775).
17
predicate(explain, 1, 'library(explain) Explain argument', 50778, 51200).
18
predicate(explain, 2, 'library(explain) 2nd argument is explanation of first', 51203, 51447).
19
predicate(current_prolog_flag, 2, 'Get system configuration parameters', 66708, 96365).
20
predicate(set_prolog_flag, 2, 'Define a system feature', 96368, 97390).
21
predicate(make_library_index, 1, 'Create autoload file INDEX.pl', 103017, 103313).
22
predicate(make_library_index, 2, 'Create selective autoload file INDEX.pl', 103316, 104364).
23
predicate(reload_library_index, 0, 'Force reloading the autoload index', 104367, 105084).
24
predicate(guitracer, 0, 'Install hooks for the graphical debugger', 165162, 165548).
25
predicate(noguitracer, 0, 'Disable the graphical debugger', 165551, 165690).
26
predicate(gtrace, 0, 'Trace using graphical tracer', 165693, 165752).
27
predicate(gdebug, 0, 'Debug using graphical tracer', 165755, 165814).
28
predicate(gspy, 1, 'Spy using graphical tracer', 165817, 165915).
29
predicate(gxref, 0, 'Cross-reference loaded program', 167661, 171069).
30
predicate(prolog_ide, 1, 'Program access to the development environment', 171578, 172851).
31
predicate(load_files, 2, 'Load source files with options', 182825, 188005).
32
predicate(consult, 1, 'Read (compile) a Prolog source file', 188008, 188956).
33
predicate(ensure_loaded, 1, 'Consult a file if that has not yet been done', 188959, 189614).
34
predicate(include, 1, 'Include a file with declarations', 189617, 189934).
35
predicate(require, 1, 'This file requires these predicates', 189937, 190788).
36
predicate(encoding, 1, 'Define encoding inside a source file', 190791, 191131).
37
predicate(make, 0, 'Reconsult all changed source files', 191134, 191826).
38
predicate(library_directory, 1, 'Hook (user) Directories holding Prolog libraries', 191829, 192178).
39
predicate(file_search_path, 2, 'Define path-aliases for locating files', 192181, 193553).
40
predicate(expand_file_search_path, 2, 'Wildcard expansion of file paths', 193556, 193811).
41
predicate(prolog_file_type, 2, 'Define meaning of file extension', 193814, 194875).
42
predicate(source_file, 1, 'Examine currently loaded source files', 194878, 195065).
43
predicate(source_file, 2, 'Obtain source file of predicate', 195068, 195490).
44
predicate(prolog_load_context, 2, 'Context information for directives', 195493, 197087).
45
predicate(source_location, 2, 'Location of last read term', 197090, 197442).
46
predicate(at_initialization, 1, 'Register goal to run at start-up', 197445, 197882).
47
predicate(at_halt, 1, 'Register goal to run at halt/1', 197885, 198314).
48
predicate((initialization), 1, 'Initialization directive', 198317, 198724).
49
predicate(compiling, 0, 'Is this a compilation run?', 198727, 199041).
50
predicate(term_expansion, 2, 'Hook (user) Convert term before compilation', 199883, 201320).
51
predicate(expand_term, 2, 'Compiler: expand read term into clause(s)', 201323, 201655).
52
predicate(goal_expansion, 2, 'Hook for macro-expanding goals', 201658, 202839).
53
predicate(expand_goal, 2, 'Compiler: expand goal in clause-body', 202842, 203100).
54
predicate(compile_aux_clauses, 1, 'Compile predicates for goal_expansion/2', 203103, 203474).
55
predicate(preprocessor, 2, 'Install a preprocessor before the compiler', 203477, 204222).
56
predicate(if, 1, 'Start conditional compilation (directive)', 205226, 205528).
57
predicate(elif, 1, 'Part of conditional compilation (directive)', 205531, 205918).
58
predicate(else, 0, 'Part of conditional compilation (directive)', 205921, 205966).
59
predicate(endif, 0, 'End of conditional compilation (directive)', 205969, 206028).
60
predicate(garbage_collect_clauses, 0, 'Invoke clause garbage collector', 207010, 207571).
61
predicate(qcompile, 1, 'Compile source to Quick Load File', 210059, 211160).
62
predicate(edit, 1, 'Edit a file, predicate, module (extensible)', 212986, 213520).
63
predicate(edit, 0, 'Edit current script- or associated file', 213523, 213736).
64
predicate(locate, 3, 'Locate targets for edit/1', 213739, 214700).
65
predicate(locate, 2, 'Locate targets for edit/1', 214703, 214896).
66
predicate(edit_source, 1, 'Call editor for edit/1', 214899, 215941).
67
predicate(edit_command, 2, 'Specify editor activation', 215944, 216846).
68
predicate(load, 0, 'Load edit/1 extensions', 216849, 217365).
69
predicate(listing, 1, 'List predicate', 217368, 217689).
70
predicate(listing, 0, 'List program in current module', 217692, 217771).
71
predicate(portray_clause, 1, 'Pretty print a clause', 217774, 218167).
72
predicate(portray_clause, 2, 'Pretty print a clause to a stream', 218170, 218349).
73
predicate(var, 1, 'Type check for unbound variable', 218421, 218578).
74
predicate(nonvar, 1, 'Type check for bound term', 218581, 218748).
75
predicate(integer, 1, 'Type check for integer', 218751, 218910).
76
predicate(float, 1, 'Type check for a floating point number', 218913, 219081).
77
predicate(rational, 1, 'Type check for a rational number', 219084, 219233).
78
predicate(rational, 3, 'Decompose a rational', 219236, 219780).
79
predicate(number, 1, 'Type check for integer or float', 219783, 219965).
80
predicate(atom, 1, 'Type check for an atom', 219968, 220118).
81
predicate(string, 1, 'Type check for string', 220121, 220601).
82
predicate(atomic, 1, 'Type check for primitive', 220604, 220963).
83
predicate(compound, 1, 'Test for compound term', 220966, 221170).
84
predicate(callable, 1, 'Test for atom or compound term', 221173, 221362).
85
predicate(ground, 1, 'Verify term holds no unbound variables', 221365, 221455).
86
predicate(cyclic_term, 1, 'Test term for cycles', 221458, 221631).
87
predicate(acyclic_term, 1, 'Test term for cycles', 221634, 221864).
88
predicate(=, 2, 'Unification', 222110, 222449).
89
predicate(\=, 2, 'Not unifiable', 222452, 222610).
90
predicate(==, 2, 'Identical', 223681, 223907).
91
predicate(\==, 2, 'Not identical', 223910, 224052).
92
predicate(@<, 2, 'Standard order smaller', 224055, 224247).
93
predicate(@=<, 2, 'Standard order smaller or equal', 224250, 224478).
94
predicate(@>, 2, 'Standard order larger', 224481, 224672).
95
predicate(@>=, 2, 'Standard order larger or equal', 224675, 224903).
96
predicate(compare, 3, 'Compare, using a predicate to determine the order', 224906, 225158).
97
predicate(unify_with_occurs_check, 2, 'Logically sound unification', 225758, 226693).
98
predicate(=@=, 2, 'Structural identical', 226696, 227523).
99
predicate(\=@=, 2, 'Not structural identical', 227526, 227608).
100
predicate(subsumes, 2, 'One-sided unification', 227611, 228214).
101
predicate(subsumes_chk, 2, 'One-sided unification check', 228217, 228368).
102
predicate(unifiable, 3, 'Determining binding required for unification', 228371, 228781).
103
predicate(?=, 2, 'Test of terms can be compared now', 228784, 229127).
104
predicate(fail, 0, 'Always false', 229758, 229954).
105
predicate(true, 0, 'Succeed', 229957, 230153).
106
predicate(repeat, 0, 'Succeed, leaving infinite backtrack points', 230156, 230315).
107
predicate(!, 0, 'Cut (discard choicepoints)', 230318, 231041).
108
predicate((','), 2, 'Conjunction of goals', 231044, 231377).
109
predicate((;), 2, 'Disjunction of goals. Same as |/2', 231380, 231583).
110
predicate(('|'), 2, 'Disjunction of goals. Same as ;/2', 231586, 231719).
111
predicate((->), 2, 'If-then-else', 231722, 232571).
112
predicate((*->), 2, 'Soft-cut', 232574, 233359).
113
predicate(\+, 1, 'Negation by failure. Same as not/1', 233362, 233629).
114
predicate(call, 1, 'Call a goal', 234120, 234351).
115
predicate(call, _G30, 'Call with additional arguments', 234354, 234910).
116
predicate(apply, 2, 'Call goal with additional arguments', 234913, 235492).
117
predicate(not, 1, 'Negation by failure (argument not provable). Same as \\+/1', 235495, 235637).
118
predicate(once, 1, 'Call a goal deterministically', 235640, 236027).
119
predicate(ignore, 1, 'Call the argument, but always succeed', 236030, 236251).
120
predicate(call_with_depth_limit, 3, 'Prove goal with bounded depth', 236254, 237689).
121
predicate(call_cleanup, 3, 'Guard a goal with a cleaup-handler', 237692, 240122).
122
predicate(call_cleanup, 2, 'Guard a goal with a cleaup-handler', 240125, 240536).
123
predicate(setup_and_call_cleanup, 3, 'Undo side-effects safely', 240539, 241189).
124
predicate(catch, 3, 'Call goal, watching for exceptions', 241659, 242498).
125
predicate(throw, 1, 'Raise an exception (see catch/3)', 242501, 243826).
126
predicate(print_message, 2, 'Print message from (exception) term', 247823, 249245).
127
predicate(print_message_lines, 3, 'Print message to stream', 249248, 250289).
128
predicate(message_hook, 3, 'Intercept print_message/2', 250292, 250832).
129
predicate(message_to_string, 2, 'Translate message-term to string', 250835, 251123).
130
predicate(on_signal, 3, 'Handle a software signal', 251947, 254693).
131
predicate(current_signal, 3, 'Current software signal mapping', 254696, 255022).
132
predicate(block, 3, 'Start a block (`catch\'/`throw\')', 257321, 257752).
133
predicate(exit, 2, 'Exit from named block. See block/3', 257755, 258035).
134
predicate(fail, 1, 'Immediately fail named block. See block/3', 258038, 258237).
135
predicate(!, 1, 'Cut block. See block/3', 258240, 258390).
136
predicate(phrase, 2, 'Activate grammar-rule set', 259923, 260088).
137
predicate(phrase, 3, 'Activate grammar-rule set (returning rest)', 260091, 260540).
138
predicate(abolish, 1, 'Remove predicate definition from the database', 261812, 262857).
139
predicate(abolish, 2, 'Remove predicate definition from the database', 262860, 263080).
140
predicate(redefine_system_predicate, 1, 'Abolish system definition', 263083, 263697).
141
predicate(retract, 1, 'Remove clause from the database', 263700, 263995).
142
predicate(retractall, 1, 'Remove unifying clauses from the database', 263998, 264166).
143
predicate(assert, 1, 'Add a clause to the database', 264169, 264346).
144
predicate(asserta, 1, 'Add a clause to the database (first)', 264349, 264567).
145
predicate(assertz, 1, 'Add a clause to the database (last)', 264570, 264708).
146
predicate(assert, 2, 'Add a clause to the database, give reference', 264711, 264974).
147
predicate(asserta, 2, 'Add a clause to the database (first)', 264977, 265162).
148
predicate(assertz, 2, 'Add a clause to the database (last)', 265165, 265270).
149
predicate(recorda, 3, 'Record term in the database (first)', 265273, 265730).
150
predicate(recorda, 2, 'Record term in the database (first)', 265733, 265851).
151
predicate(recordz, 3, 'Record term in the database (last)', 265854, 266058).
152
predicate(recordz, 2, 'Record term in the database (last)', 266061, 266179).
153
predicate(recorded, 3, 'Obtain term from the database', 266182, 266473).
154
predicate(recorded, 2, 'Obtain term from the database', 266476, 266601).
155
predicate(erase, 1, 'Erase a database record or clause', 266604, 267079).
156
predicate(flag, 3, 'Simple global variable system', 267082, 267815).
157
predicate(term_hash, 2, 'Hash-value of ground term', 269381, 270375).
158
predicate(term_hash, 4, 'Hash-value of term with depth limit', 270378, 271193).
159
predicate((dynamic), 1, 'Indicate predicate definition may change', 271866, 272423).
160
predicate(compile_predicates, 1, 'Compile dynamic code to static', 272426, 273031).
161
predicate((multifile), 1, 'Indicate distributed definition of predicate', 273034, 273325).
162
predicate((discontiguous), 1, 'Indicate distributed definition of a predicate', 273328, 273583).
163
predicate(index, 1, 'Change clause indexing', 273586, 275896).
164
predicate(hash, 1, 'Index predicate using a hash-table', 275899, 276470).
165
predicate(current_atom, 1, 'Examine existing atoms', 276549, 276779).
166
predicate(current_blob, 2, 'Examine typed blobs', 276782, 277132).
167
predicate(current_functor, 2, 'Examine existing name/arity pairs', 277135, 277349).
168
predicate(current_flag, 1, 'Examine existing flags', 277352, 277519).
169
predicate(current_key, 1, 'Examine existing database keys', 277522, 277675).
170
predicate(current_predicate, 2, 'Examine existing predicates', 277678, 278157).
171
predicate(current_predicate, 1, 'Examine existing predicates (ISO)', 278160, 278564).
172
predicate(predicate_property, 2, 'Query predicate attributes', 278567, 282793).
173
predicate(dwim_predicate, 2, 'Find predicate in ``Do What I Mean\'\' sense', 282796, 283460).
174
predicate(clause, 2, 'Get clauses of a predicate', 283463, 283826).
175
predicate(clause, 3, 'Get clauses of a predicate', 283829, 284225).
176
predicate(nth_clause, 3, 'N-th clause of a predicate', 284228, 285234).
177
predicate(clause_property, 2, 'Get properties of a clause', 285237, 286225).
178
predicate(open, 4, 'Open a file (creating a stream)', 287507, 292199).
179
predicate(open, 3, 'Open a file (creating a stream)', 292202, 292392).
180
predicate(open_null_stream, 1, 'Open a stream to discard output', 292395, 293243).
181
predicate(close, 1, 'Close stream', 293246, 293575).
182
predicate(close, 2, 'Close stream (forced)', 293578, 293928).
183
predicate(stream_property, 2, 'Get stream properties', 293931, 298096).
184
predicate(current_stream, 3, 'Examine open streams', 298099, 298632).
185
predicate(is_stream, 1, 'Type check for a stream handle', 298635, 298853).
186
predicate(set_stream_position, 2, 'Seek stream to position', 298856, 299202).
187
predicate(stream_position_data, 3, 'Access fields from stream position', 299205, 299699).
188
predicate(seek, 4, 'Modify the current position in a stream', 299702, 301661).
189
predicate(set_stream, 2, 'Set stream attribute', 301664, 305232).
190
predicate(set_prolog_IO, 3, 'Prepare streams for interactive session', 305235, 306069).
191
predicate(see, 1, 'Change the current input stream', 308718, 309022).
192
predicate(tell, 1, 'Change current output stream', 309025, 309332).
193
predicate(append, 1, 'Append to a file', 309335, 309568).
194
predicate(seeing, 1, 'Query the current input stream', 309571, 309871).
195
predicate(telling, 1, 'Query current output stream', 309874, 310177).
196
predicate(seen, 0, 'Close the current input stream', 310180, 310302).
197
predicate(told, 0, 'Close current output', 310305, 310430).
198
predicate(set_input, 1, 'Set current input stream from a stream', 310683, 310952).
199
predicate(set_output, 1, 'Set current output stream from a stream', 310955, 311183).
200
predicate(current_input, 1, 'Get current input stream', 311186, 311426).
201
predicate(current_output, 1, 'Get the current output stream', 311429, 311593).
202
predicate(with_output_to, 2, 'Write to strings and more', 311713, 314002).
203
predicate(wait_for_input, 3, 'Wait for input with optional timeout', 314069, 316272).
204
predicate(byte_count, 2, 'Byte-position in a stream', 316275, 316613).
205
predicate(character_count, 2, 'Get character index on a stream', 316616, 316950).
206
predicate(line_count, 2, 'Line number on stream', 316953, 317133).
207
predicate(line_position, 2, 'Character position in line on stream', 317136, 317501).
208
predicate(fileerrors, 2, 'Do/Don\'t warn on file errors', 317504, 318041).
209
predicate(nl, 0, 'Generate a newline', 318199, 318401).
210
predicate(nl, 1, 'Generate a newline on a stream', 318404, 318551).
211
predicate(put, 1, 'Write a character', 318554, 318836).
212
predicate(put, 2, 'Write a character on a stream', 318839, 318965).
213
predicate(put_byte, 1, 'Write a byte', 318968, 319177).
214
predicate(put_byte, 2, 'Write a byte on a stream', 319180, 319403).
215
predicate(put_char, 1, 'Write a character', 319406, 319748).
216
predicate(put_char, 2, 'Write a character on a stream', 319751, 320104).
217
predicate(put_code, 1, 'Write a character-code', 320107, 320466).
218
predicate(put_code, 2, 'Write a character-code on a stream', 320469, 320671).
219
predicate(tab, 1, 'Output number of spaces', 320674, 320900).
220
predicate(tab, 2, 'Output number of spaces on a stream', 320903, 321025).
221
predicate(flush_output, 0, 'Output pending characters on current stream', 321028, 321348).
222
predicate(flush_output, 1, 'Output pending characters on specified stream', 321351, 321562).
223
predicate(ttyflush, 0, 'Flush output on terminal', 321565, 321669).
224
predicate(get_byte, 1, 'Read next byte (ISO)', 321672, 321946).
225
predicate(get_byte, 2, 'Read next byte from a stream (ISO)', 321949, 322172).
226
predicate(get_code, 1, 'Read next character (ISO)', 322175, 322482).
227
predicate(get_code, 2, 'Read next character from a stream (ISO)', 322485, 322672).
228
predicate(get_char, 1, 'Read next character as an atom (ISO)', 322675, 323008).
229
predicate(get_char, 2, 'Read next character from a stream (ISO)', 323011, 323292).
230
predicate(get0, 1, 'Read next character', 323295, 323612).
231
predicate(get0, 2, 'Read next character from a stream', 323615, 323759).
232
predicate(get, 1, 'Read first non-blank character', 323762, 323948).
233
predicate(get, 2, 'Read first non-blank character from a stream', 323951, 324070).
234
predicate(peek_byte, 1, 'Read byte without removing', 324073, 324288).
235
predicate(peek_byte, 2, 'Read byte without removing', 324291, 324516).
236
predicate(peek_code, 1, 'Read character-code without removing', 324519, 324734).
237
predicate(peek_code, 2, 'Read character-code without removing', 324737, 324962).
238
predicate(peek_char, 1, 'Read character without removing', 324965, 325184).
239
predicate(peek_char, 2, 'Read character without removing', 325187, 325416).
240
predicate(skip, 1, 'Skip to character in current input', 325419, 325625).
241
predicate(skip, 2, 'Skip to character on stream', 325628, 325737).
242
predicate(get_single_char, 1, 'Read next character from the terminal', 325740, 326365).
243
predicate(at_end_of_stream, 0, 'Test for end of file on input', 326368, 326642).
244
predicate(at_end_of_stream, 1, 'Test for end of file on stream', 326645, 327040).
245
predicate(copy_stream_data, 3, 'Copy n bytes from stream to stream', 327043, 327471).
246
predicate(copy_stream_data, 2, 'Copy all data from stream to stream', 327474, 327694).
247
predicate(read_pending_input, 3, 'Fetch buffered input from a stream', 327697, 329007).
248
predicate(write_term, 2, 'Write term with options', 329729, 333381).
249
predicate(write_term, 3, 'Write term with options to stream', 333384, 333640).
250
predicate(write_canonical, 1, 'Write a term with quotes, ignore operators', 333643, 334565).
251
predicate(write_canonical, 2, 'Write a term with quotes, ignore operators on a stream', 334568, 334775).
252
predicate(write, 1, 'Write term', 334778, 335063).
253
predicate(write, 2, 'Write term to stream', 335066, 335234).
254
predicate(writeq, 1, 'Write term, insert quotes', 335237, 335634).
255
predicate(writeq, 2, 'Write term, insert quotes on stream', 335637, 335825).
256
predicate(print, 1, 'Print a term', 335828, 336172).
257
predicate(print, 2, 'Print a term on a stream', 336175, 336283).
258
predicate(portray, 1, 'Hook (user) Modify behaviour of print/1', 336286, 336707).
259
predicate(read, 1, 'Read Prolog term', 336710, 337108).
260
predicate(read, 2, 'Read Prolog term from stream', 337111, 337278).
261
predicate(read_clause, 1, 'Read clause', 337281, 337726).
262
predicate(read_clause, 2, 'Read clause from stream', 337729, 337872).
263
predicate(read_term, 2, 'Read term with options', 337875, 343543).
264
predicate(read_term, 3, 'Read term with options from stream', 343546, 343765).
265
predicate(read_history, 6, 'Read using history substitution', 343768, 344730).
266
predicate(prompt, 2, 'Change the prompt used by read/1', 344733, 345312).
267
predicate(prompt1, 1, 'Change prompt for 1 line', 345315, 345492).
268
predicate(functor, 3, 'Get name and arity of a term or construct a term ', 345602, 346159).
269
predicate(arg, 3, 'Access argument of a term', 346162, 346952).
270
predicate(=.., 2, '``Univ.\'\' Term to list conversion', 346955, 347421).
271
predicate(numbervars, 3, 'Number unbound variables of a term', 347424, 347935).
272
predicate(numbervars, 4, 'Number unbound variables of a term', 347938, 349027).
273
predicate(term_variables, 2, 'Find unbound variables in a term', 349030, 349512).
274
predicate(term_variables, 3, 'Find unbound variables in a term', 349515, 349738).
275
predicate(copy_term, 2, 'Make a copy of a term', 349741, 350459).
276
predicate(setarg, 3, 'Destructive assignment on term', 350990, 351691).
277
predicate(nb_setarg, 3, 'Non-backtrackable assignment to term', 351694, 353068).
278
predicate(nb_linkarg, 3, 'Non-backtrackable assignment to term', 353071, 353340).
279
predicate(duplicate_term, 2, 'Create a copy of a term', 353343, 353654).
280
predicate(same_term, 2, 'Test terms to be at the same address', 353657, 354068).
281
predicate(atom_codes, 2, 'Convert between atom and list of characters codes', 355252, 355770).
282
predicate(atom_chars, 2, 'Convert between atom and list of characters', 355773, 356097).
283
predicate(char_code, 2, 'Convert between character and character code', 356100, 356309).
284
predicate(number_chars, 2, 'Convert between number and one-char atoms', 356312, 356717).
285
predicate(number_codes, 2, 'Convert between number and character codes', 356720, 357066).
286
predicate(atom_number, 2, 'Convert between atom and number', 357069, 357704).
287
predicate(name, 2, 'Convert between atom and list of character codes', 357707, 358221).
288
predicate(term_to_atom, 2, 'Convert between term and atom', 358224, 358631).
289
predicate(atom_to_term, 3, 'Convert between atom and term', 358634, 359169).
290
predicate(atom_concat, 3, 'Append two atoms', 359172, 359737).
291
predicate(concat_atom, 2, 'Append a list of atoms', 359740, 360120).
292
predicate(concat_atom, 3, 'Append a list of atoms with separator', 360123, 360616).
293
predicate(atom_length, 2, 'Determine length of an atom', 360619, 361143).
294
predicate(atom_prefix, 2, 'Test for start of atom', 361146, 361410).
295
predicate(sub_atom, 5, 'Take a substring from an atom', 361413, 362065).
296
predicate(char_type, 2, 'Classify characters', 362658, 366188).
297
predicate(code_type, 2, 'Classify a character-code', 366191, 366687).
298
predicate(downcase_atom, 2, 'Convert atom to lower-case', 366996, 367383).
299
predicate(upcase_atom, 2, 'Convert atom to upper-case', 367386, 367549).
300
predicate(normalize_space, 2, 'Normalize white space', 367646, 368016).
301
predicate(collation_key, 2, 'Sort key for locale dependent ordering', 368219, 368957).
302
predicate(locale_sort, 2, 'Language dependent sort of atoms', 368960, 369350).
303
predicate(string_to_atom, 2, 'Conversion between string and atom', 371672, 371953).
304
predicate(string_to_list, 2, 'Conversion between string and list of character codes', 371956, 372209).
305
predicate(string_length, 2, 'Determine length of a string', 372212, 372536).
306
predicate(string_concat, 3, 'atom_concat/3 for strings', 372539, 373318).
307
predicate(sub_string, 5, 'Take a substring from a string', 373321, 373688).
308
predicate(op, 3, 'Declare an operator', 375258, 377930).
309
predicate(current_op, 3, 'Examine current operator declarations', 377933, 378240).
310
predicate(char_conversion, 2, 'Provide mapping of input characters', 378440, 378972).
311
predicate(current_char_conversion, 2, 'Query input character mapping', 378975, 379248).
312
predicate(between, 3, 'Integer range checking/generating', 380098, 380665).
313
predicate(succ, 2, 'Logical integer successor relation', 380668, 381068).
314
predicate(plus, 3, 'Logical integer addition', 381071, 381277).
315
predicate(>, 2, 'Arithmetic larger', 381680, 381876).
316
predicate(<, 2, 'Arithmetic smaller', 381879, 382076).
317
predicate(=<, 2, 'Arithmetic smaller or equal', 382079, 382289).
318
predicate(>=, 2, 'Arithmetic larger or equal', 382292, 382502).
319
predicate(=\=, 2, 'Arithmetic not equal', 382505, 382702).
320
predicate(=:=, 2, 'Arithmetic equal', 382705, 382899).
321
predicate(is, 2, 'Evaluate arithmetic expression', 382902, 383768).
322
predicate(-, 1, 'Unary minus', 389660, 389790).
323
predicate(+, 1, 'Unary plus (No-op)', 389793, 389954).
324
predicate(+, 2, 'Addition', 389957, 390120).
325
predicate(-, 2, 'Subtraction', 390123, 390286).
326
predicate(*, 2, 'Multiplication', 390289, 390443).
327
predicate(/, 2, 'Division', 390446, 391061).
328
predicate(mod, 2, 'Remainder of division', 391064, 391386).
329
predicate(rem, 2, 'Remainder of division', 391389, 391722).
330
predicate(//, 2, 'Integer division', 391725, 391930).
331
predicate(rdiv, 2, 'Ration number division', 391933, 392176).
332
predicate(abs, 1, 'Absolute value', 392179, 392344).
333
predicate(sign, 1, 'Extract sign of value', 392347, 392537).
334
predicate(max, 2, 'Maximum of two numbers', 392540, 392915).
335
predicate(min, 2, 'Minimum of two numbers', 392918, 393101).
336
predicate('.', 2, 'Consult. Also list constructor', 393104, 393534).
337
predicate(random, 1, 'Generate random number', 393537, 393776).
338
predicate(round, 1, 'Round to nearest integer', 393779, 393958).
339
predicate(integer, 1, 'Type check for integer', 393961, 394050).
340
predicate(float, 1, 'Type check for a floating point number', 394053, 394439).
341
predicate(rational, 1, 'Type check for a rational number', 394442, 395236).
342
predicate(rationalize, 1, 'Convert to rational number', 395239, 395650).
343
predicate(float_fractional_part, 1, 'Fractional part of a float', 395653, 396087).
344
predicate(float_integer_part, 1, 'Integer part of a float', 396090, 396359).
345
predicate(truncate, 1, 'Truncate float to integer', 396362, 396693).
346
predicate(floor, 1, 'Largest integer below argument', 396696, 396917).
347
predicate(ceiling, 1, 'Smallest integer larger than arg', 396920, 397145).
348
predicate(ceil, 1, 'Smallest integer larger than arg', 397148, 397230).
349
predicate(>>, 2, 'Bitwise right shift', 397233, 397649).
350
predicate(<<, 2, 'Bitwise left shift', 397652, 397855).
351
predicate(\/, 2, 'Bitwise or', 397858, 398044).
352
predicate(/\, 2, 'Bitwise and', 398047, 398234).
353
predicate(xor, 2, 'Bitwise exclusive or', 398237, 398379).
354
predicate(\, 1, 'Bitwise negation', 398382, 398580).
355
predicate(sqrt, 1, 'Square root', 398583, 398739).
356
predicate(sin, 1, 'Sine', 398742, 398929).
357
predicate(cos, 1, 'Cosine', 398932, 399121).
358
predicate(tan, 1, 'Tangent', 399124, 399242).
359
predicate(asin, 1, 'Inverse (arc) sine', 399245, 399378).
360
predicate(acos, 1, 'Inverse (arc) cosine', 399381, 399516).
361
predicate(atan, 1, 'Inverse (arc) tangent', 399519, 399724).
362
predicate(atan, 2, 'Rectangular to polar conversion', 399727, 400038).
363
predicate(log, 1, 'Natural logarithm', 400041, 400221).
364
predicate(log10, 1, '10 base logarithm', 400224, 400339).
365
predicate(exp, 1, 'Exponent (base $e$)', 400342, 400496).
366
predicate(**, 2, 'Power function', 400499, 401063).
367
predicate(powm, 3, 'Integer exponent and modulo', 401066, 401560).
368
predicate(^, 2, 'Existential quantification (bagof/3, setof/3)', 401563, 401648).
369
predicate(pi, 0, 'Mathematical constant', 401651, 401718).
370
predicate(e, 0, 'Mathematical constant', 401721, 401784).
371
predicate(cputime, 0, 'Get CPU time', 401787, 401967).
372
predicate(eval, 1, 'Evaluate term as expression', 401970, 402599).
373
predicate(msb, 1, 'Most significant bit', 402602, 402929).
374
predicate(lsb, 1, 'Least significant bit', 402932, 403245).
375
predicate(popcount, 1, 'Count 1s in a bitvector', 403248, 403424).
376
predicate(arithmetic_function, 1, 'Register an evaluable function', 404171, 405077).
377
predicate(current_arithmetic_function, 1, 'Examine evaluable functions', 405080, 405298).
378
predicate(is_list, 1, 'Type check for a list', 405577, 406071).
379
predicate(memberchk, 2, 'Deterministic member/2', 406074, 406198).
380
predicate(length, 2, 'Length of a list', 406201, 406394).
381
predicate(sort, 2, 'Sort elements in a list', 406397, 406849).
382
predicate(msort, 2, 'Sort, do not remove duplicates', 406852, 407050).
383
predicate(keysort, 2, 'Sort, using a key', 407053, 408082).
384
predicate(predsort, 3, 'Sort, using a predicate to determine the order', 408085, 408485).
385
predicate(merge, 3, 'Merge two sorted lists', 408488, 408860).
386
predicate(merge_set, 3, 'Merge two sorted sets', 408863, 409203).
387
predicate(findall, 3, 'Find all solutions to a goal', 409306, 409867).
388
predicate(findall, 4, 'Difference list version of findall/3', 409870, 410194).
389
predicate(bagof, 3, 'Find all solutions to a goal', 410197, 411416).
390
predicate(setof, 3, 'Find all unique solutions to a goal', 411419, 411680).
391
predicate(maplist, 2, 'Apply predicate on all elements', 412469, 412700).
392
predicate(maplist, 3, 'Map elements pairwise', 412703, 412991).
393
predicate(maplist, 4, 'Map triples of elements', 412994, 413314).
394
predicate(forall, 2, 'Prove goal for all solutions of another goal', 413352, 413825).
395
predicate(writeln, 1, 'Write term, followed by a newline', 414415, 414493).
396
predicate(writef, 1, 'Formatted write', 414496, 414572).
397
predicate(writef, 2, 'Formatted write on stream', 414575, 417732).
398
predicate(swritef, 3, 'Formatted write on a string', 417735, 418054).
399
predicate(swritef, 2, 'Formatted write on a string', 418057, 418178).
400
predicate(format, 1, 'Formatted output', 418222, 418323).
401
predicate(format, 2, 'Formatted output with arguments', 418326, 423894).
402
predicate(format, 3, 'Formatted output on a stream', 423897, 424324).
403
predicate(format_predicate, 2, 'Program format/[1,2]', 424402, 425662).
404
predicate(current_format_predicate, 2, 'Enumerate user-defined format codes', 425665, 426141).
405
predicate(tty_get_capability, 3, 'Get terminal parameter', 426490, 427120).
406
predicate(tty_goto, 2, 'Goto position on screen', 427123, 427362).
407
predicate(tty_put, 2, 'Write control string to terminal', 427365, 427773).
408
predicate(set_tty, 2, 'Set `tty\' stream', 427776, 427987).
409
predicate(tty_size, 2, 'Get row/column size of the terminal', 427990, 428850).
410
predicate(shell, 2, 'Execute OS command', 428950, 429944).
411
predicate(shell, 1, 'Execute OS command', 429947, 430032).
412
predicate(shell, 0, 'Execute interactive subshell', 430035, 430222).
413
predicate(win_exec, 2, 'Win32: spawn Windows task', 430225, 430711).
414
predicate(win_shell, 3, 'Win32: open document through Shell', 430714, 431404).
415
predicate(win_shell, 2, 'Win32: open document through Shell', 431407, 431579).
416
predicate(win_registry_get_value, 3, 'Win32: get registry value', 431582, 432645).
417
predicate(win_folder, 2, 'Win32: get special folder by CSIDL', 432648, 433313).
418
predicate(getenv, 2, 'Get shell environment variable', 433316, 433592).
419
predicate(setenv, 2, 'Set shell environment variable', 433595, 434226).
420
predicate(unsetenv, 1, 'Delete shell environment variable', 434229, 434475).
421
predicate(setlocale, 3, 'Set/query C-library regional information', 434478, 435332).
422
predicate(unix, 1, 'OS interaction', 435335, 437117).
423
predicate(get_time, 1, 'Get current time', 440918, 441108).
424
predicate(stamp_date_time, 3, 'Convert time-stamp to date structure', 441111, 441633).
425
predicate(date_time_stamp, 2, 'Convert sate structure to time-stamp', 441636, 442320).
426
predicate(date_time_value, 3, 'Extract info from a date structure', 442323, 443430).
427
predicate(format_time, 3, 'C strftime() like date/time formatter', 443433, 448454).
428
predicate(format_time, 4, 'date/time formatter with explicit locale', 448457, 449159).
429
predicate(parse_time, 2, 'Parse text to a time-stamp', 449162, 449622).
430
predicate(window_title, 2, 'Win32: change title of window', 450051, 450225).
431
predicate(win_window_pos, 1, 'Win32: change size and position of window', 450228, 451259).
432
predicate(win_has_menu, 0, 'Win32: true if console menu is available', 451262, 451368).
433
predicate(win_insert_menu, 2, 'plwin.exe: add menu', 451371, 452021).
434
predicate(win_insert_menu_item, 4, 'plwin.exe: add item to menu', 452024, 452456).
435
predicate(access_file, 2, 'Check access permissions of a file', 452541, 453147).
436
predicate(exists_file, 1, 'Check existence of file', 453150, 453342).
437
predicate(file_directory_name, 2, 'Get directory part of path', 453345, 453750).
438
predicate(file_base_name, 2, 'Get file part of path', 453753, 453997).
439
predicate(same_file, 2, 'Succeeds if arguments refer to same file', 454000, 454348).
440
predicate(exists_directory, 1, 'Check existence of directory', 454351, 454615).
441
predicate(delete_file, 1, 'Remove a file from the file system', 454618, 454719).
442
predicate(rename_file, 2, 'Change name of file', 454722, 454908).
443
predicate(size_file, 2, 'Get size of a file in characters', 454911, 455047).
444
predicate(time_file, 2, 'Get last modification time of file', 455050, 455343).
445
predicate(absolute_file_name, 2, 'Get absolute path name', 455346, 455946).
446
predicate(absolute_file_name, 3, 'Get absolute path name with options', 455949, 458989).
447
predicate(is_absolute_file_name, 1, 'True if arg defines an absolute path', 458992, 459491).
448
predicate(file_name_extension, 3, 'Add, remove or test file extensions', 459494, 460117).
449
predicate(expand_file_name, 2, 'Wildcard expansion of file names', 460120, 461184).
450
predicate(prolog_to_os_filename, 2, 'Convert between Prolog and OS filenames', 461187, 461697).
451
predicate(read_link, 3, 'Read a symbolic link', 461700, 462181).
452
predicate(tmp_file, 2, 'Create a temporary filename', 462184, 462510).
453
predicate(make_directory, 1, 'Create a folder on the file system', 462513, 462817).
454
predicate(delete_directory, 1, 'Remove a folder from the file system', 462820, 463085).
455
predicate(working_directory, 2, 'Query/change CWD', 463088, 463527).
456
predicate(chdir, 1, 'Compatibility: change working directory', 463530, 463638).
457
predicate(break, 0, 'Start interactive top-level', 463735, 464259).
458
predicate(abort, 0, 'Abort execution, return to top level', 464262, 465225).
459
predicate(halt, 0, 'Exit from Prolog', 465228, 465647).
460
predicate(halt, 1, 'Exit from Prolog with status', 465650, 465862).
461
predicate(prolog, 0, 'Run interactive top-level', 465865, 466346).
462
predicate(expand_query, 4, 'Expanded entered query', 466349, 467061).
463
predicate(expand_answer, 2, 'Expand answer of query', 467064, 467537).
464
predicate(protocol, 1, 'Make a log of the user interaction', 467863, 468066).
465
predicate(protocola, 1, 'Append log of the user interaction to file', 468069, 468211).
466
predicate(noprotocol, 0, 'Disable logging of user interaction', 468214, 468343).
467
predicate(protocolling, 1, 'On what file is user interaction logged', 468346, 468541).
468
predicate(trace, 0, 'Start the tracer', 468925, 469114).
469
predicate(tracing, 0, 'Query status of the tracer', 469117, 469243).
470
predicate(notrace, 0, 'Stop tracing', 469246, 469337).
471
predicate(guitracer, 0, 'Install hooks for the graphical debugger', 469340, 469639).
472
predicate(noguitracer, 0, 'Disable the graphical debugger', 469642, 469716).
473
predicate(trace, 1, 'Set trace-point on predicate', 469719, 469801).
474
predicate(trace, 2, 'Set/Clear trace-point on ports', 469804, 470890).
475
predicate(notrace, 1, 'Do not debug argument goal', 470893, 471213).
476
predicate(debug, 0, 'Test for debugging mode', 471216, 471506).
477
predicate(nodebug, 0, 'Disable debugging', 471509, 471617).
478
predicate(debugging, 0, 'Show debugger status', 471620, 471753).
479
predicate(spy, 1, 'Force tracer on specified predicate', 471756, 471901).
480
predicate(nospy, 1, 'Remove spy point', 471904, 472046).
481
predicate(nospyall, 0, 'Remove all spy points', 472049, 472125).
482
predicate(leash, 1, 'Change ports visited by the tracer', 472128, 472737).
483
predicate(visible, 1, 'Ports that are visible in the tracer', 472740, 472908).
484
predicate(unknown, 2, 'Trap undefined predicates', 472911, 473200).
485
predicate(style_check, 1, 'Change level of warnings', 473203, 475668).
486
predicate(statistics, 2, 'Obtain collected statistics', 475768, 480720).
487
predicate(statistics, 0, 'Show execution statistics', 480723, 480825).
488
predicate(time, 1, 'Determine time needed to execute goal', 480828, 481273).
489
predicate(profile, 1, 'Obtain execution statistics', 482224, 482494).
490
predicate(profile, 3, 'Obtain execution statistics', 482497, 483111).
491
predicate(show_profile, 2, 'Show results of the profiler', 483114, 483726).
492
predicate(show_profile, 1, 'Show results of the profiler', 483729, 483874).
493
predicate(profiler, 2, 'Obtain/change status of the profiler', 483877, 484189).
494
predicate(reset_profiler, 0, 'Clear statistics obtained by the profiler', 484192, 484307).
495
predicate(noprofile, 1, 'Hide (meta-) predicate for the profiler', 484310, 484731).
496
predicate(garbage_collect, 0, 'Invoke the garbage collector', 490271, 490714).
497
predicate(garbage_collect_atoms, 0, 'Invoke the atom garbage collector', 490717, 491270).
498
predicate(trim_stacks, 0, 'Release unused memory resources', 491273, 491989).
499
predicate(stack_parameter, 4, 'Some systems: Query/Set runtime stack parameter', 491992, 492745).
500
predicate(open_dde_conversation, 3, 'Win32: Open DDE channel', 493874, 494276).
501
predicate(close_dde_conversation, 1, 'Win32: Close DDE channel', 494279, 494621).
502
predicate(dde_request, 3, 'Win32: Make a DDE request', 494624, 495312).
503
predicate(dde_execute, 2, 'Win32: Execute command on DDE server', 495315, 495573).
504
predicate(dde_poke, 3, 'Win32: POKE operation on DDE server', 495576, 495795).
505
predicate(dde_register_service, 2, 'Win32: Become a DDE server', 496210, 497868).
506
predicate(dde_unregister_service, 1, 'Win32: Terminate a DDE service', 497871, 498105).
507
predicate(dde_current_service, 2, 'Win32: Examine DDE services provided', 498108, 498288).
508
predicate(dde_current_connection, 2, 'Win32: Examine open DDE connections', 498291, 498449).
509
predicate(dwim_match, 2, 'Atoms match in ``Do What I Mean\'\' sense', 498508, 499144).
510
predicate(dwim_match, 3, 'Atoms match in ``Do What I Mean\'\' sense', 499147, 499588).
511
predicate(wildcard_match, 2, 'Csh(1) style wildcard match', 499591, 500301).
512
predicate(sleep, 1, 'Suspend execution for specified time', 500304, 500947).
513
predicate(use_module, 1, 'Import a module', 506220, 506624).
514
predicate(use_module, 2, 'Import predicates from a module', 506627, 507983).
515
predicate(import, 1, 'Import a predicate from a module', 507986, 509299).
516
predicate(reexport, 1, 'Load files and re-export the imported predicates', 510876, 511106).
517
predicate(reexport, 2, 'Load predicates from a file and re-export it', 511109, 511358).
518
predicate(module, 2, 'Declare a module', 520628, 521359).
519
predicate((module_transparent), 1, 'Indicate module based meta-predicate', 521362, 521686).
520
predicate((meta_predicate), 1, 'Quintus compatibility', 521689, 521910).
521
predicate(current_module, 1, 'Examine existing modules', 521913, 522026).
522
predicate(current_module, 2, 'Examine existing modules', 522029, 522285).
523
predicate(context_module, 1, 'Get context module of current goal', 522288, 522487).
524
predicate(strip_module, 3, 'Extract context module and term', 522490, 522993).
525
predicate(export, 1, 'Export a predicate from a module', 522996, 523439).
526
predicate(export_list, 2, 'List of public predicates of a module', 523442, 523983).
527
predicate(import_module, 2, 'Query import modules', 523986, 524361).
528
predicate(add_import_module, 3, 'Add module to the auto-import list', 524364, 524743).
529
predicate(delete_import_module, 2, 'Remove module from import list', 524746, 525011).
530
predicate(default_module, 2, 'Get the default modules of a module', 525014, 525495).
531
predicate(module, 1, 'Query/set current type-in module', 525498, 525905).
532
predicate(attvar, 1, 'Type test for attributed variable', 532593, 532808).
533
predicate(put_attr, 3, 'Put attribute on a variable', 532811, 533418).
534
predicate(get_attr, 3, 'Fetch named attribute from a variable', 533421, 533813).
535
predicate(del_attr, 2, 'Delete attribute from variable', 533816, 534207).
536
predicate(attr_unify_hook, 2, 'Attributed variable unification hook', 534210, 535083).
537
predicate(attr_portray_hook, 2, 'Attributed variable print hook', 535086, 535465).
538
predicate(attribute_goals, 3, 'Project attributes to goals', 535468, 535812).
539
predicate(get_attrs, 2, 'Fetch all attributes of a variable', 536220, 536581).
540
predicate(put_attrs, 2, 'Set/replace all attributes on a variable', 536584, 536782).
541
predicate(copy_term, 3, 'Copy a term and obtain attribute-goals', 536785, 537221).
542
predicate(copy_term_nat, 2, 'Make a copy of a term without attributes', 537224, 537404).
543
predicate(freeze, 2, 'Delay execution until variable is bound', 538060, 538531).
544
predicate(frozen, 2, 'Query delayed goals on var', 538534, 538751).
545
predicate(when, 2, 'Execute goal when condition becomes true', 538754, 539337).
546
predicate(dif, 2, 'Constrain two terms to be different', 539340, 540045).
547
predicate(call_residue_vars, 2, 'Find residual attributed variables', 540048, 541307).
548
predicate(b_setval, 2, 'Assign backtrackable global variable', 543208, 543618).
549
predicate(b_getval, 2, 'Fetch backtrackable global variable', 543621, 544119).
550
predicate(nb_setval, 2, 'Assign non-backtrackable global variable', 544122, 544410).
551
predicate(nb_getval, 2, 'Fetch non-backtrackable global variable', 544413, 544825).
552
predicate(nb_linkval, 2, 'Assign non-backtrackable global variable', 544828, 545790).
553
predicate(nb_current, 2, 'Enumerate non-backtrackable global variables', 545793, 545970).
554
predicate(nb_delete, 1, 'Delete a non-backtrackable global variable', 545973, 546060).
555
predicate(chr_option, 2, 'Specify CHR compilation options', 554433, 556291).
556
predicate(chr_constraint, 1, 'CHR Constraint declaration', 556740, 559230).
557
predicate(chr_type, 1, 'CHR Type declaration', 559233, 563466).
558
predicate(chr_trace, 0, 'Start CHR tracer', 567291, 567480).
559
predicate(chr_notrace, 0, 'Stop CHR tracer', 567483, 567678).
560
predicate(chr_leash, 1, 'Define CHR leashed ports', 567681, 568121).
561
predicate(chr_show_store, 1, 'List suspended CHR constraints', 568124, 568595).
562
predicate(find_chr_constraint, 1, '', 568598, 568820).
563
predicate(thread_create, 3, 'Create a new Prolog task', 581003, 584624).
564
predicate(thread_self, 1, 'Get identifier of current thread', 584627, 584802).
565
predicate(thread_join, 2, 'Wait for Prolog task-completion', 584805, 586044).
566
predicate(thread_detach, 1, 'Make thread cleanup after completion', 586047, 586840).
567
predicate(thread_exit, 1, 'Terminate Prolog task with value', 586843, 587590).
568
predicate((thread_initialization), 1, 'Run action at start of thread', 587593, 588263).
569
predicate(thread_at_exit, 1, 'Register goal to be called at exit', 588266, 588818).
570
predicate(thread_setconcurrency, 2, 'Number of active threads', 588821, 589352).
571
predicate(thread_property, 2, 'Examine Prolog threads', 589943, 591699).
572
predicate(thread_statistics, 3, 'Get statistics of another thread', 591702, 592068).
573
predicate(mutex_statistics, 0, 'Print statistics on mutex usage', 592071, 592576).
574
predicate(thread_send_message, 2, 'Send message to another thread', 593228, 594342).
575
predicate(thread_get_message, 1, 'Wait for message', 594345, 595086).
576
predicate(thread_peek_message, 1, 'Test for message', 595089, 595487).
577
predicate(message_queue_create, 1, 'Create queue for thread communication', 595490, 595864).
578
predicate(message_queue_create, 2, 'Create queue for thread communication', 595867, 596582).
579
predicate(message_queue_destroy, 1, 'Destroy queue for thread communication', 596585, 596888).
580
predicate(thread_get_message, 2, 'Wait for message in a queue', 596891, 597134).
581
predicate(thread_peek_message, 2, 'Test for message in a queue', 597137, 597473).
582
predicate(message_queue_property, 2, 'Query message queue properties', 597476, 599102).
583
predicate(thread_signal, 2, 'Execute goal in another thread', 599802, 600910).
584
predicate((thread_local), 1, 'Declare thread-specific clauses for a predicate', 601907, 603316).
585
predicate(mutex_create, 1, 'Create a thread-synchronisation device', 604684, 604989).
586
predicate(mutex_create, 2, 'Create a thread-synchronisation device', 604992, 605354).
587
predicate(mutex_destroy, 1, 'Destroy a mutex', 605357, 605573).
588
predicate(with_mutex, 2, 'Run goal while holding mutex', 605576, 606228).
589
predicate(mutex_lock, 1, 'Become owner of a mutex', 606231, 607351).
590
predicate(mutex_trylock, 1, 'Become owner of a mutex (non-blocking)', 607354, 607532).
591
predicate(mutex_unlock, 1, 'Release ownership of mutex', 607535, 607773).
592
predicate(mutex_unlock_all, 0, 'Release ownership of all mutexes', 607776, 608014).
593
predicate(mutex_property, 2, 'Query mutex properties', 608017, 608832).
594
predicate(threads, 0, 'List running threads', 609110, 609180).
595
predicate(join_threads, 0, 'Join all terminated threads interactively', 609183, 609609).
596
predicate(interactor, 0, 'Start new thread with console and top-level', 609612, 609854).
597
predicate(attach_console, 0, 'Attach I/O console to thread', 610495, 611242).
598
predicate(tdebug, 1, 'Switch a thread into debug mode', 611245, 611769).
599
predicate(tdebug, 0, 'Switch all threads into debug mode', 611772, 611833).
600
predicate(tnodebug, 1, 'Switch off debug mode in a thread', 611836, 611949).
601
predicate(tnodebug, 0, 'Switch off debug mode in all threads', 611952, 612015).
602
predicate(tspy, 2, 'Set spy point and enable debugging in a thread', 612018, 612393).
603
predicate(tspy, 1, 'Set spy point and enable debugging in all threads', 612396, 612665).
604
predicate(tprofile, 1, 'Profile a thread for some period', 613036, 613292).
605
predicate(in_pce_thread, 1, 'Run goal in XPCE thread', 626099, 626745).
606
predicate(pce_dispatch, 1, 'Run XPCE GUI in separate thread', 626748, 627236).
607
predicate(pce_call, 1, 'Run goal in XPCE GUI thread', 627239, 627748).
608
predicate(open_shared_object, 2, 'UNIX: Open shared library (.so file)', 632142, 632752).
609
predicate(open_shared_object, 3, 'UNIX: Open shared library (.so file)', 632755, 633435).
610
predicate(close_shared_object, 1, 'UNIX: Close shared library (.so file)', 633438, 633586).
611
predicate(call_shared_object_function, 2, 'UNIX: Call C-function in shared (.so) file', 633589, 633984).
612
predicate(load_foreign_library, 2, 'library(shlib) Load shared library (.so file)', 634318, 635418).
613
predicate(load_foreign_library, 1, 'library(shlib) Load shared library (.so file)', 635421, 635872).
614
predicate(unload_foreign_library, 1, 'library(shlib) Detach shared library (.so file)', 635875, 636310).
615
predicate(current_foreign_library, 2, 'library(shlib) Examine loaded shared libraries (.so files)', 636313, 637260).
616
predicate(qsave_program, 2, 'Create runtime application', 782677, 786492).
617
predicate(qsave_program, 1, 'Create runtime application', 786495, 786599).
618
predicate(autoload, 0, 'Autoload all predicates now', 786602, 788266).
619
predicate((volatile), 1, 'Predicates that are not saved', 788269, 788622).
620
predicate(resource, 3, 'Declare a program resource', 793449, 795231).
621
predicate(open_resource, 3, 'Open a program resource as a stream', 795234, 796377).
622
predicate(aggregate, 3, 'Aggregate bindings in Goal according to Template.', 807084, 807383).
623
predicate(aggregate, 4, 'Aggregate bindings in Goal according to Template.', 807386, 807715).
624
predicate(aggregate_all, 3, 'Aggregate bindings in Goal according to Template.', 807718, 808046).
625
predicate(aggregate_all, 4, 'Aggregate bindings in Goal according to Template.', 808049, 808434).
626
predicate(foreach, 2, 'True if the conjunction of instances of Goal using the bindings from Generator is true.', 808437, 809469).
627
predicate(free_variables, 4, 'In order to handle variables properly, we have to find all the universally quantified variables in the Generator.', 809472, 810527).
628
predicate(include, 3, 'Filter elements for which Goal succeed.', 811068, 811511).
629
predicate(exclude, 3, 'Filter elements for which Goal fails.', 811514, 811818).
630
predicate(partition, 4, 'Filter elements of List according to Pred.', 811821, 812226).
631
predicate(partition, 5, 'Filter list according to Pred in three sets.', 812229, 812677).
632
predicate(assoc_to_list, 2, 'Convert association tree to list', 813455, 813670).
633
predicate(assoc_to_keys, 2, 'Translate assoc into a key list', 813673, 813871).
634
predicate(assoc_to_values, 2, 'Translate assoc into a value list', 813874, 814113).
635
predicate(empty_assoc, 1, 'Create/test empty association tree', 814116, 814237).
636
predicate(gen_assoc, 3, 'Enumerate members of association tree', 814240, 814440).
637
predicate(get_assoc, 3, 'Fetch key from association tree', 814443, 814643).
638
predicate(get_assoc, 5, 'Fetch key from association tree', 814646, 814947).
639
predicate(list_to_assoc, 2, 'Create association tree from list', 814950, 815137).
640
predicate(map_assoc, 2, 'Map association tree', 815140, 815283).
641
predicate(map_assoc, 3, 'Map association tree', 815286, 815517).
642
predicate(max_assoc, 3, 'Highest key in association tree', 815520, 815723).
643
predicate(min_assoc, 3, 'Lowest key in association tree', 815726, 815933).
644
predicate(ord_list_to_assoc, 2, 'Convert ordered list to assoc', 815936, 816183).
645
predicate(put_assoc, 4, 'Add Key-Value to association tree', 816186, 816513).
646
predicate(broadcast, 1, 'Send event notification', 817595, 817990).
647
predicate(broadcast_request, 1, 'Request all agents', 817993, 818639).
648
predicate(listen, 2, 'Listen to event notifications', 818642, 819119).
649
predicate(listen, 3, 'Listen to event notifications', 819122, 820300).
650
predicate(unlisten, 1, 'Stop listening to event notifications', 820303, 820448).
651
predicate(unlisten, 2, 'Stop listening to event notifications', 820451, 820665).
652
predicate(unlisten, 3, 'Stop listening to event notifications', 820668, 820918).
653
predicate(listening, 3, 'Who is listening to event notifications?', 820921, 821129).
654
predicate(check, 0, 'Program completeness and consistency', 821360, 821738).
655
predicate(list_undefined, 0, 'List undefined predicates', 821741, 823038).
656
predicate(list_autoload, 0, 'List predicates that require autoload', 823041, 823283).
657
predicate(list_redefined, 0, 'List locally redefined predicates', 823286, 823531).
658
predicate(all_distinct, 1, 'Demand distinct values', 823862, 824121).
659
predicate(vars_in, 2, 'Declare domain of variable as set', 824124, 824393).
660
predicate(vars_in, 3, 'Declare domain of variable as interval', 824396, 824647).
661
predicate(in, 2, 'Constrain Var to elements of Domain.', 830049, 830500).
662
predicate(ins, 2, 'Constrain the variables in the list Vars to elements of Domain.', 830503, 830639).
663
predicate(indomain, 1, 'Bind Var to all feasible values of its domain on backtracking.', 830642, 830804).
664
predicate(label, 1, 'Equivalent to labeling([], Vars).', 830807, 830890).
665
predicate(labeling, 2, 'Labeling means systematically trying out values for the finite domain variables Vars until all of them are ground.', 830893, 833937).
666
predicate(all_different, 1, 'Constrain Vars to be pairwise distinct.', 833940, 834053).
667
predicate(sum, 3, 'Constrain the sum of a list.', 834056, 834277).
668
predicate(#>=, 2, 'X is greater than or equal to Y.', 834280, 834339).
669
predicate(#=<, 2, 'X is less than or equal to Y.', 834342, 834398).
670
predicate(#=, 2, 'X equals Y.', 834401, 834438).
671
predicate(#\=, 2, 'X is not Y.', 834441, 834479).
672
predicate(#>, 2, 'X is greater than Y.', 834482, 834528).
673
predicate(#<, 2, 'X is less than Y.', 834531, 834574).
674
predicate(#\, 1, 'The reifiable constraint Q does _not_ hold.', 834577, 834641).
675
predicate(#<==>, 2, 'P and Q are equivalent.', 834644, 834696).
676
predicate(#==>, 2, 'P implies Q.', 834699, 834739).
677
predicate(#<==, 2, 'Q implies P.', 834742, 834782).
678
predicate(#/\, 2, 'P and Q hold.', 834785, 834825).
679
predicate(#\/, 2, 'P or Q holds.', 834828, 834868).
680
predicate(lex_chain, 1, 'Constrains Lists to be lexicographically non-decreasing.', 834871, 834994).
681
predicate(tuples_in, 2, 'Relation is a ground list of lists of integers.', 834997, 835264).
682
predicate(all_distinct, 1, 'Demand distinct values', 835267, 835372).
683
predicate(serialized, 2, 'Constrain a set of intervals to a non-overlapping sequence.', 835375, 836031).
684
predicate(fd_var, 1, 'True iff Var is a CLP(FD) variable.', 836034, 836117).
685
predicate(fd_inf, 2, 'Inf is the infimum of the current domain of Var.', 836120, 836238).
686
predicate(fd_sup, 2, 'Sup is the supremum of the current domain of Var.', 836241, 836360).
687
predicate(fd_size, 2, 'Size is the number of elements of the current domain of Var, or the atom *sup* if the domain is unbounded.', 836363, 836556).
688
predicate(fd_dom, 2, 'Dom is the current domain (see in/2) of Var.', 836559, 836673).
689
predicate(entailed, 1, 'Check if constraint is entailed', 838274, 838552).
690
predicate(inf, 2, 'Find the infimum of an expression', 838555, 838834).
691
predicate(sup, 2, 'Find the supremum of an expression', 838837, 839116).
692
predicate(minimize, 1, 'Minimizes an expression', 839119, 839367).
693
predicate(maximize, 1, 'Maximizes an expression', 839370, 839619).
694
predicate(bb_inf, 5, 'Infimum of expression for mixed-integer problems', 839622, 840366).
695
predicate(bb_inf, 4, 'Infimum of expression for mixed-integer problems', 840369, 840607).
696
predicate(bb_inf, 3, 'Infimum of expression for mixed-integer problems', 840610, 840843).
697
predicate(dump, 3, 'Dump constraints on variables', 840846, 841371).
698
predicate(debug, 3, 'Print debugging message on topic', 848130, 848690).
699
predicate(debugging, 1, 'Test where we are debugging topic', 848693, 849036).
700
predicate(debug, 1, 'Select topic for debugging', 849039, 849479).
701
predicate(nodebug, 1, 'Disable debug-topic', 849482, 849598).
702
predicate(list_debug_topics, 0, 'List registered topics for debugging', 849601, 849743).
703
predicate(assertion, 1, 'Make assertions about your program', 849746, 850519).
704
predicate(gensym, 2, 'Generate unique atoms from a base', 851153, 851509).
705
predicate(reset_gensym, 1, 'Reset a gensym key', 851512, 851751).
706
predicate(reset_gensym, 0, 'Reset all gensym keys', 851754, 852077).
707
predicate(append, 3, 'Concatenate lists', 852373, 852664).
708
predicate(append, 2, 'Concatenate a list of lists', 852667, 852973).
709
predicate(member, 2, 'Element is member of a list', 852976, 853186).
710
predicate(nextto, 3, 'Y follows X in List', 853189, 853311).
711
predicate(delete, 3, 'Delete all matching members from a list', 853314, 853532).
712
predicate(select, 3, 'Select element of a list', 853535, 853878).
713
predicate(nth0, 3, 'N-th element of a list (0-based)', 853881, 854081).
714
predicate(nth1, 3, 'N-th element of a list (1-based)', 854084, 854284).
715
predicate(last, 2, 'Last element of a list', 854287, 854574).
716
predicate(reverse, 2, 'Inverse the order of the elements in a list', 854577, 854770).
717
predicate(permutation, 2, 'Test/generate permutations of a list', 854773, 855134).
718
predicate(flatten, 2, 'Transform nested list into flat list', 855137, 855487).
719
predicate(sumlist, 2, 'Add all numbers in a list', 855490, 855744).
720
predicate(max_list, 2, 'Largest number in a list', 855747, 855907).
721
predicate(min_list, 2, 'Smallest number in a list', 855910, 856070).
722
predicate(numlist, 3, 'Create list of integers in interval', 856073, 856294).
723
predicate(is_set, 1, 'Type check for a set', 856675, 856784).
724
predicate(list_to_set, 2, 'Remove duplicates from a list', 856787, 857115).
725
predicate(intersection, 3, 'Set intersection', 857118, 857413).
726
predicate(subtract, 3, 'Delete elements that do not satisfy condition', 857416, 857615).
727
predicate(union, 3, 'Union of two sets', 857618, 857872).
728
predicate(subset, 2, 'Check subset relation for unordered sets', 857875, 858023).
729
predicate(empty_nb_set, 1, 'Test/create an empty non-backtrackable set', 859192, 859303).
730
predicate(add_nb_set, 2, 'Add term to a non-backtrackable set', 859306, 859510).
731
predicate(add_nb_set, 3, 'Add term to a non-backtrackable set', 859513, 859988).
732
predicate(gen_nb_set, 2, 'Generate members of non-backtrackable set', 859991, 860188).
733
predicate(size_nb_set, 2, 'Determine size of non-backtrackable set', 860191, 860327).
734
predicate(nb_set_to_list, 2, 'Convert non-backtrackable set to list', 860330, 860551).
735
predicate(www_open_url, 1, 'Open a web-page in a browser', 860796, 861947).
736
predicate(option, 3, 'Get an option from a OptionList.', 863567, 863965).
737
predicate(option, 2, 'Get an option from a OptionList.', 863968, 864430).
738
predicate(select_option, 3, 'Get and remove option from an option list.', 864433, 864816).
739
predicate(select_option, 4, 'Get and remove option with default value.', 864819, 865260).
740
predicate(merge_options, 3, 'Merge two option lists.', 865263, 865640).
741
predicate(meta_options, 3, 'Perform meta-expansion on options that are module-sensitive.', 865643, 866105).
742
predicate(ord_empty, 1, 'Test empty ordered set', 867009, 867150).
743
predicate(list_to_ord_set, 2, 'Create ordered set', 867153, 867308).
744
predicate(ord_add_element, 3, 'Add element to ordered set', 867311, 867575).
745
predicate(ord_del_element, 3, 'Delete element from ordered set', 867578, 867839).
746
predicate(ord_intersect, 2, 'Test non-empty intersection', 867842, 867998).
747
predicate(ord_intersection, 3, 'Compute intersection', 868001, 868236).
748
predicate(ord_disjoint, 2, 'Test empty intersection', 868239, 868426).
749
predicate(ord_subtract, 3, 'Delete set from set', 868429, 868664).
750
predicate(ord_union, 3, 'Union of two ordered sets', 868667, 868842).
751
predicate(ord_union, 4, 'Union and difference of two ordered sets', 868845, 869096).
752
predicate(ord_subset, 2, 'Test subset', 869099, 869232).
753
predicate(ord_memberchk, 2, 'Deterministically test membership', 869235, 869431).
754
predicate(pairs_keys_values, 3, 'True if Keys holds the keys of Pairs and Values the values.', 870011, 870388).
755
predicate(pairs_values, 2, 'Remove the keys from a list of Key-Value pairs.', 870391, 870665).
756
predicate(pairs_keys, 2, 'Remove the values from a list of Key-Value pairs.', 870668, 870928).
757
predicate(group_pairs_by_key, 2, 'Group values with the same key.', 870931, 871564).
758
predicate(transpose_pairs, 2, 'Swap Key-Value to Value-Key and sort the result on Value (the new key) using keysort/2.', 871567, 871819).
759
predicate(map_list_to_pairs, 3, 'Create a key-value list by mapping each element of List.', 871822, 872192).
760
predicate(xref_source, 1, 'Cross-reference analysis of source', 874160, 874497).
761
predicate(xref_current_source, 1, 'Examine cross-referenced sources', 874500, 874628).
762
predicate(xref_clean, 1, 'Remove analysis of source', 874631, 874748).
763
predicate(xref_defined, 3, 'Examine defined predicates', 874751, 875467).
764
predicate(xref_called, 3, 'Examine called predicates', 875470, 875647).
765
predicate(xref_exported, 2, 'Examine exported predicates', 875650, 875815).
766
predicate(xref_module, 2, 'Module defined by source', 875818, 875971).
767
predicate(xref_built_in, 1, 'Examine defined built-ins', 875974, 876296).
768
predicate(called_by, 2, 'Hook (prolog) Extend cross-referencer', 876507, 877319).
769
predicate(read_line_to_codes, 2, 'Read line from a stream', 877895, 878403).
770
predicate(read_line_to_codes, 3, 'Read line from a stream', 878406, 879336).
771
predicate(read_stream_to_codes, 2, 'Read contents of stream', 879339, 879527).
772
predicate(read_stream_to_codes, 3, 'Read contents of stream', 879530, 879714).
773
predicate(read_file_to_codes, 3, 'Read contents of file', 879717, 880199).
774
predicate(read_file_to_terms, 3, 'Read contents of file to Prolog terms', 880202, 880715).
775
predicate(record, 1, 'Define named fields in a term', 885729, 886019).
776
predicate(registry_get_key, 2, 'Get principal value of key', 886927, 887132).
777
predicate(registry_get_key, 3, 'Get associated value of key', 887135, 887292).
778
predicate(registry_set_key, 2, 'Set principal value of key', 887295, 887504).
779
predicate(registry_set_key, 3, 'Set associated value of key', 887507, 887727).
780
predicate(registry_delete_key, 1, 'Remove a key', 887730, 887839).
781
predicate(shell_register_file_type, 4, 'Register a file-type', 887842, 888378).
782
predicate(shell_register_dde, 6, 'Register DDE action', 888381, 889091).
783
predicate(shell_register_prolog, 1, 'Register Prolog', 889094, 889898).
784
predicate(assignment, 2, 'Solve assignment problem', 891000, 891421).
785
predicate(constraint, 3, 'Add linear constraint to state', 891424, 892120).
786
predicate(constraint, 4, 'Add named linear constraint to state', 892123, 892349).
787
predicate(constraint_add, 4, 'Extend a named constraint', 892352, 892652).
788
predicate(gen_state, 1, 'Create empty linear program', 892655, 892793).
789
predicate(maximize, 3, 'Maximize objective function in to linear constraints', 892796, 893173).
790
predicate(minimize, 3, 'Minimize objective function in to linear constraints', 893176, 893289).
791
predicate(objective, 2, 'Fetch value of objective function', 893292, 893547).
792
predicate(shadow_price, 3, 'Fetch shadow price in solved state', 893550, 893840).
793
predicate(transportation, 4, 'Solve transportation problem', 893843, 894561).
794
predicate(variable_value, 3, 'Fetch value of variable in solved state', 894564, 895189).
795
predicate(vertices_edges_to_ugraph, 3, 'Create unweighted graph', 900856, 901705).
796
predicate(vertices, 2, 'Find vertices in graph', 901708, 901978).
797
predicate(edges, 2, 'Find edges in graph', 901981, 902229).
798
predicate(add_vertices, 3, 'Add vertices to graph', 902232, 902597).
799
predicate(del_vertices, 3, 'Delete vertices from graph', 902600, 903131).
800
predicate(add_edges, 3, 'Add edges to graph', 903134, 903595).
801
predicate(del_edges, 3, 'Delete edges from graph', 903598, 904092).
802
predicate(transpose, 2, 'Invert the direction of all edges', 904095, 904564).
803
predicate(neighbours, 3, 'Find neighbors of vertice', 904567, 904931).
804
predicate(neighbors, 3, 'Find neighbors of vertice', 904934, 905080).
805
predicate(complement, 2, 'Inverse presense of edges', 905083, 905526).
806
predicate(compose, 3, '', 905529, 905903).
807
predicate(ugraph_union, 3, 'Union of two graphs', 905906, 906217).
808
predicate(top_sort, 2, 'Sort graph topologically', 906220, 906636).
809
predicate(top_sort, 3, 'Sort graph topologically', 906639, 906849).
810
predicate(transitive_closure, 2, 'Create transitive closure of graph', 906852, 907161).
811
predicate(reachable, 3, 'Find all reachable vertices', 907164, 907494).
812
predicate(global_url, 3, 'Translate a possibly relative URL into an absolute one.', 908322, 908613).
813
predicate(is_absolute_url, 1, 'True if URL is an absolute URL.', 908616, 908796).
814
predicate(http_location, 2, 'Construct or analyze an HTTP location.', 908799, 909337).
815
predicate(parse_url, 2, 'Construct or analyse a URL.', 909340, 909477).
816
predicate(parse_url, 3, '', 909480, 912024).
817
predicate(www_form_encode, 2, 'En/Decode between native value and application/x-www-form-encoded.', 912027, 912190).
818
predicate(www_form_encode, 2, 'En/Decode between native value and application/x-www-form-encoded.', 912193, 912603).
819
predicate(url_iri, 2, 'Convert between a URL, encoding in US-ASCII and an IRI.', 912606, 912741).
820
predicate(url_iri, 2, 'Convert between a URL, encoding in US-ASCII and an IRI.', 912744, 913077).
821
predicate(parse_url_search, 2, 'Construct or analyze an HTTP search specification.', 913080, 913439).
822
predicate(file_name_to_url, 2, 'Translate between a filename and a file:Sidiv{} URL.', 913442, 913582).
823
predicate(file_name_to_url, 2, 'Translate between a filename and a file:Sidiv{} URL.', 913585, 913923).
824
predicate(prolog_current_frame, 1, 'Reference to goal\'s environment stack', 914524, 914933).
825
predicate(prolog_frame_attribute, 3, 'Obtain information on a goal environment', 914936, 918962).
826
predicate(prolog_choice_attribute, 3, 'Examine the choice-point stack', 918965, 920014).
827
predicate(deterministic, 1, 'Test deterministicy of current clause', 920017, 920500).
828
predicate(prolog_trace_interception, 4, 'library(user) Intercept the Prolog tracer', 920585, 924114).
829
predicate(prolog_skip_level, 2, 'Indicate deepest recursion to trace', 924117, 924777).
830
predicate(prolog_exception_hook, 4, 'Rewrite exceptions', 925218, 927964).
831
predicate(exception, 3, 'Hook (user) Handle runtime exceptions', 928612, 930192).
832
predicate(prolog_list_goal, 1, 'Hook (user) Intercept tracer \'L\' command', 930681, 931100).
833
predicate(debug_control_hook, 1, 'Hook (prolog) Extend spy/1, etc.', 931103, 932346).
834
predicate(help_hook, 1, 'Hook (prolog) User-hook in the help-system', 932349, 933005).
835
predicate(prolog_load_file, 2, 'Hook (user) Program load_files/2', 933300, 933776).
836
predicate(comment_hook, 3, 'Hook (prolog) handle comments in sources', 933779, 934502).
837
predicate(rl_read_init_file, 1, 'Read readline(3) init file', 934812, 935066).
838
predicate(rl_add_history, 1, 'Add line to readline(3) history', 935069, 935228).
839
predicate(rl_write_history, 1, 'Write readline(3) history', 935231, 935424).
840
predicate(rl_read_history, 1, 'Read readline(3) history', 935427, 935588).
841
predicate(expects_dialect, 1, 'For which Prolog dialect is this code written?', 937627, 939032).
842
predicate(exists_source, 1, 'Check existence of a Prolog source', 939035, 939278).
843
predicate(source_exports, 2, 'Check whether source exports a predicate', 939281, 939498).
844
predicate(eval_license, 0, 'Evaluate licenses of loaded modules', 964053, 964432).
845
predicate(license, 2, 'Define license for named module', 964435, 967635).
846
predicate(license, 1, 'Define license for current file', 967638, 967811).
847
847
848
848
849
849
% Predicate section/4
850
850
851
section([0], 'Title Page', 1, 1900).
852
section([1], 'INTRODUCTION', 1902, 32775).
853
section([1, 1], 'SWI-Prolog', 1972, 4996).
854
section([1, 1, 1], 'Books about Prolog', 4103, 4996).
855
section([1, 2], 'Status', 4998, 5685).
856
section([1, 3], 'Compliance to the ISO standard', 5687, 6547).
857
section([1, 4], 'Should you be using SWI-Prolog?', 6549, 9962).
858
section([1, 5], 'The XPCE GUI system for Prolog', 9964, 12903).
859
section([1, 6], 'Release Notes', 12905, 30117).
860
section([1, 6, 1], 'Version 1.8 Release Notes', 13163, 13426).
861
section([1, 6, 2], 'Version 1.9 Release Notes', 13428, 14397).
862
section([1, 6, 3], 'Version 2.0 Release Notes', 14399, 15355).
863
section([1, 6, 4], 'Version 2.5 Release Notes', 15357, 17011).
864
section([1, 6, 5], 'Version 2.6 Release Notes', 17013, 18296).
865
section([1, 6, 6], 'Version 2.7 Release Notes', 18298, 18983).
866
section([1, 6, 7], 'Version 2.8 Release Notes', 18985, 19521).
867
section([1, 6, 8], 'Version 2.9 Release Notes', 19523, 20344).
868
section([1, 6, 9], 'Version 3.0 Release Notes', 20346, 20605).
869
section([1, 6, 10], 'Version 3.1 Release Notes', 20607, 21000).
870
section([1, 6, 11], 'Version 3.3 Release Notes', 21002, 25520).
871
section([1, 6, 11, 1], 'Incompatible changes', 22811, 25520).
872
section([1, 6, 12], 'Version 3.4 Release Notes', 25522, 26573).
873
section([1, 6, 13], 'Version 4.0 Release Notes', 26575, 27421).
874
section([1, 6, 14], 'Version 5.0 Release Notes', 27423, 28118).
875
section([1, 6, 15], 'Version 5.1 Release Notes', 28120, 28494).
876
section([1, 6, 16], 'Version 5.2 Release Notes', 28496, 28716).
877
section([1, 6, 17], 'Version 5.3 Release Notes', 28718, 29118).
878
section([1, 6, 18], 'Version 5.4 Release Notes', 29120, 29259).
879
section([1, 6, 19], 'Version 5.5 Release Notes', 29261, 29976).
880
section([1, 6, 20], 'Version 5.6 Release Notes', 29978, 30117).
881
section([1, 7], 'Donate to the SWI-Prolog project', 30119, 30498).
882
section([1, 8], 'Acknowledgements', 30500, 32775).
883
section([2], 'OVERVIEW', 32777, 138366).
884
section([2, 1], 'Getting started quickly', 32835, 35980).
885
section([2, 1, 1], 'Starting SWI-Prolog', 32914, 35277).
886
section([2, 1, 1, 1], 'Starting SWI-Prolog on Unix', 32989, 34268).
887
section([2, 1, 1, 2], 'Starting SWI-Prolog on Windows', 34270, 35277).
888
section([2, 1, 2], 'Executing a query', 35279, 35980).
889
section([2, 2], 'The user\'s initialisation file', 35982, 37530).
890
section([2, 3], 'Initialisation files and goals', 37532, 39072).
891
section([2, 4], 'Command-line options', 39074, 47167).
892
section([2, 5], 'GNU Emacs Interface', 47169, 47929).
893
section([2, 6], 'Online Help', 47931, 51354).
894
section([2, 7], 'Command-line history', 51356, 52545).
895
section([2, 8], 'Reuse of top-level bindings', 52547, 53588).
896
section([2, 9], 'Overview of the Debugger', 53590, 59784).
897
section([2, 10], 'Compilation', 59786, 66046).
898
section([2, 10, 1], 'During program development', 59836, 60811).
899
section([2, 10, 2], 'For running the result', 60813, 66046).
900
section([2, 10, 2, 1], 'Using PrologScript', 61181, 63355).
901
section([2, 10, 2, 2], 'Creating a shell-script', 63357, 64358).
902
section([2, 10, 2, 3], 'Creating a saved-state', 64360, 65046).
903
section([2, 10, 2, 4], 'Compilation using the -c command-line option', 65048, 66046).
904
section([2, 11], 'Environment Control (Prolog flags)', 66048, 97297).
905
section([2, 12], 'An overview of hook predicates', 97299, 100190).
906
section([2, 13], 'Automatic loading of libraries', 100192, 104991).
907
section([2, 14], 'Garbage Collection', 104993, 105236).
908
section([2, 15], 'Syntax Notes', 105238, 114843).
909
section([2, 15, 1], 'ISO Syntax Support', 105771, 114843).
910
section([2, 15, 1, 1], 'Processor Character Set', 105914, 106250).
911
section([2, 15, 1, 2], 'Character Escape Syntax', 106252, 109593).
912
section([2, 15, 1, 3], 'Syntax for non-decimal numbers', 109595, 110138).
913
section([2, 15, 1, 4], 'Unicode Prolog source', 110140, 112317).
914
section([2, 15, 1, 5], 'Singleton variable checking', 112319, 114843).
915
section([2, 16], 'Infinite trees (cyclic terms)', 114845, 115622).
916
section([2, 17], 'Wide character support', 115624, 122340).
917
section([2, 17, 1], 'Wide character encodings on streams', 117212, 122340).
918
section([2, 17, 1, 1], 'BOM: Byte Order Mark', 120805, 122340).
919
section([2, 18], 'System limits', 122342, 132571).
920
section([2, 18, 1], 'Limits on memory areas', 122396, 129609).
921
section([2, 18, 1, 1], 'The heap', 128918, 129609).
922
section([2, 18, 2], 'Other Limits', 129611, 132116).
923
section([2, 18, 3], 'Reserved Names', 132118, 132571).
924
section([2, 19], 'SWI-Prolog and 64-bit machines', 132573, 138366).
925
section([2, 19, 1], 'Supported platforms', 133257, 133710).
926
section([2, 19, 2], 'Comparing 32- and 64-bits Prolog', 133712, 135803).
927
section([2, 19, 3], 'Choosing between 32- and 64-bits Prolog', 135805, 138366).
928
section([3], 'INITIALISING AND MANAGING A PROLOG PROJECT', 138368, 174481).
929
section([3, 1], 'The project source-files', 139186, 147187).
930
section([3, 1, 1], 'File Names and Locations', 139682, 143295).
931
section([3, 1, 1, 1], 'File Name Extensions', 139768, 140797).
932
section([3, 1, 1, 2], 'Project Directories', 140799, 141884).
933
section([3, 1, 1, 3], 'Sub-projects using search-paths', 141886, 143295).
934
section([3, 1, 2], 'Project Special Files', 143297, 144721).
935
section([3, 1, 3], 'International source files', 144723, 147187).
936
section([3, 2], 'Using modules', 147189, 149330).
937
section([3, 3], 'The test-edit-reload cycle', 149332, 152280).
938
section([3, 3, 1], 'Locating things to edit', 150203, 150860).
939
section([3, 3, 2], 'Editing and incremental compilation', 150862, 152280).
940
section([3, 4], 'Using the PceEmacs built-in editor', 152282, 163535).
941
section([3, 4, 1], 'Activating PceEmacs', 152390, 152748).
942
section([3, 4, 2], 'Bluffing through PceEmacs', 152750, 158253).
943
section([3, 4, 2, 1], 'Edit modes', 153370, 154392).
944
section([3, 4, 2, 2], 'Frequently used editor commands', 154394, 158253).
945
section([3, 4, 3], 'Prolog Mode', 158255, 163535).
946
section([3, 4, 3, 1], 'Finding your way around', 162900, 163535).
947
section([3, 5], 'The Graphical Debugger', 163537, 165822).
948
section([3, 5, 1], 'Invoking the window-based debugger', 164391, 165822).
949
section([3, 6], 'The Prolog Navigator', 165824, 166155).
950
section([3, 7], 'Cross referencer', 166157, 170976).
951
section([3, 8], 'Accessing the IDE from your program', 170978, 172758).
952
section([3, 9], 'Summary of the iDE', 172760, 174481).
953
section([4], 'BUILT-IN PREDICATES', 174483, 500408).
954
section([4, 1], 'Notation of Predicate Descriptions', 174572, 177093).
955
section([4, 2], 'Character representation', 177095, 179984).
956
section([4, 3], 'Loading Prolog source files', 179986, 210678).
957
section([4, 3, 1], 'Conditional compilation and program transformation', 198561, 205546).
958
section([4, 3, 1, 1], 'Conditional compilation', 203742, 205546).
959
section([4, 3, 2], 'Loading files, active code and threads', 205548, 208582).
960
section([4, 3, 2, 1], 'Threads and reloading running code', 207091, 208582).
961
section([4, 3, 3], 'Quick load files', 208584, 210678).
962
section([4, 4], 'Listing and Editor Interface', 210680, 217867).
963
section([4, 5], 'Verify Type of a Term', 217869, 221382).
964
section([4, 6], 'Comparison and Unification of Terms', 221384, 228645).
965
section([4, 6, 1], 'Standard Order of Terms', 222130, 224676).
966
section([4, 6, 2], 'Special unification and comparison predicates', 224678, 228645).
967
section([4, 7], 'Control Predicates', 228647, 233147).
968
section([4, 8], 'Meta-Call Predicates', 233149, 240707).
969
section([4, 9], 'ISO compliant Exception handling', 240709, 250641).
970
section([4, 9, 1], 'Debugging and exceptions', 243346, 245610).
971
section([4, 9, 2], 'The exception term', 245612, 246465).
972
section([4, 9, 3], 'Printing messages', 246467, 250641).
973
section([4, 10], 'Handling signals', 250643, 256398).
974
section([4, 10, 1], 'Notes on signal handling', 254542, 256398).
975
section([4, 11], 'The `block\' control-structure', 256400, 257908).
976
section([4, 12], 'DCG Grammar rules', 257910, 260058).
977
section([4, 13], 'Database', 260060, 269747).
978
section([4, 13, 1], 'Update view', 267335, 268540).
979
section([4, 13, 2], 'Indexing databases', 268542, 269747).
980
section([4, 14], 'Declaring predicates properties', 269749, 275024).
981
section([4, 15], 'Examining the program', 275026, 284779).
982
section([4, 16], 'Input and output', 284781, 312556).
983
section([4, 16, 1], 'ISO Input and Output Streams', 285458, 304623).
984
section([4, 16, 2], 'Edinburgh-style I/O', 304625, 308984).
985
section([4, 16, 3], 'Switching Between Edinburgh and ISO I/O', 308986, 310147).
986
section([4, 16, 4], 'Write onto atoms, code-lists, etc.', 310149, 312556).
987
section([4, 17], 'Status of streams', 312558, 316595).
988
section([4, 18], 'Primitive character I/O', 316597, 327561).
989
section([4, 19], 'Term reading and writing', 327563, 344046).
990
section([4, 20], 'Analysing and Constructing Terms', 344048, 352622).
991
section([4, 20, 1], 'Non-logical operations on terms', 349015, 352622).
992
section([4, 21], 'Analysing and Constructing Atoms', 352624, 360619).
993
section([4, 22], 'Character properties', 360621, 367904).
994
section([4, 22, 1], 'Case conversion', 365243, 366103).
995
section([4, 22, 2], 'White space normalization', 366105, 366570).
996
section([4, 22, 3], 'Language specific comparison', 366572, 367904).
997
section([4, 23], 'Representing text in strings', 367906, 372242).
998
section([4, 24], 'Operators', 372244, 376794).
999
section([4, 25], 'Character Conversion', 376796, 377802).
1000
section([4, 26], 'Arithmetic', 377804, 401978).
1001
section([4, 26, 1], 'Special purpose integer arithmetic', 378290, 379831).
1002
section([4, 26, 2], 'General purpose arithmetic', 379833, 401978).
1003
section([4, 26, 2, 1], 'Arithmetic types', 382324, 385385).
1004
section([4, 26, 2, 2], 'Rational number examples', 385387, 386847).
1005
section([4, 26, 2, 3], 'Arithmetic Functions', 386849, 401978).
1006
section([4, 27], 'Adding Arithmetic Functions', 401980, 403852).
1007
section([4, 28], 'Built-in list operations', 403854, 407757).
1008
section([4, 29], 'Finding all Solutions to a Goal', 407759, 410234).
1009
section([4, 30], 'Invoking Predicates on all Members of a List', 410236, 411868).
1010
section([4, 31], 'Forall', 411870, 412379).
1011
section([4, 32], 'Formatted Write', 412381, 424695).
1012
section([4, 32, 1], 'Writef', 412927, 416732).
1013
section([4, 32, 2], 'Format', 416734, 422878).
1014
section([4, 32, 3], 'Programming Format', 422880, 424695).
1015
section([4, 33], 'Terminal Control', 424697, 427404).
1016
section([4, 34], 'Operating System Interaction', 427406, 451010).
1017
section([4, 34, 1], 'Dealing with time and date', 435673, 448176).
1018
section([4, 34, 1, 1], 'Time and date data-structures', 437923, 439374).
1019
section([4, 34, 1, 2], 'Time and date predicates', 439376, 448176).
1020
section([4, 34, 2], 'Controlling the PLWIN.EXE console window', 448178, 451010).
1021
section([4, 35], 'File System Interaction', 451012, 462192).
1022
section([4, 36], 'User Top-level Manipulation', 462194, 466091).
1023
section([4, 37], 'Creating a Protocol of the User Interaction', 466093, 467095).
1024
section([4, 38], 'Debugging and Tracing Programs', 467097, 474222).
1025
section([4, 39], 'Obtaining Runtime Statistics', 474224, 479827).
1026
section([4, 40], 'Execution profiling', 479829, 488756).
1027
section([4, 40, 1], 'Profiling predicates', 480413, 483285).
1028
section([4, 40, 2], 'Visualizing profiling data', 483287, 485747).
1029
section([4, 40, 3], 'Information gathering', 485749, 488756).
1030
section([4, 40, 3, 1], 'Profiling in the Windows Implementation', 487780, 488756).
1031
section([4, 41], 'Memory Management', 488758, 492206).
1032
section([4, 42], 'Windows DDE interface', 492208, 497910).
1033
section([4, 42, 1], 'DDE client interface', 492606, 495256).
1034
section([4, 42, 2], 'DDE server mode', 495258, 497910).
1035
section([4, 43], 'Miscellaneous', 497912, 500408).
1036
section([5], 'USING MODULES', 500410, 528904).
1037
section([5, 1], 'Why Using Modules?', 500481, 501711).
1038
section([5, 2], 'Name-based versus Predicate-based Modules', 501713, 504306).
1039
section([5, 3], 'Defining a Module', 504308, 504936).
1040
section([5, 4], 'Importing Predicates into a Module', 504938, 509555).
1041
section([5, 4, 1], 'Reserved Modules', 508762, 509555).
1042
section([5, 5], 'Composing modules from other modules', 509557, 510819).
1043
section([5, 6], 'Using the Module System', 510821, 514436).
1044
section([5, 6, 1], 'Object Oriented Programming', 512807, 514436).
1045
section([5, 7], 'Meta-Predicates in Modules', 514438, 518454).
1046
section([5, 7, 1], 'Definition and Context Module', 515524, 517112).
1047
section([5, 7, 2], 'Overruling Module Boundaries', 517114, 518454).
1048
section([5, 8], 'Dynamic Modules', 518456, 519892).
1049
section([5, 9], 'Module Handling Predicates', 519894, 525366).
1050
section([5, 10], 'Compatibility of the Module System', 525368, 528904).
1051
section([5, 10, 1], 'Emulating meta_predicate', 527945, 528904).
1052
section([6], 'SPECIAL VARIABLES AND COROUTINING', 528906, 546335).
1053
section([6, 1], 'Attributed variables', 529143, 536865).
1054
section([6, 1, 1], 'Special purpose predicates for attributes', 535275, 536865).
1055
section([6, 2], 'Coroutining', 536867, 540777).
1056
section([6, 3], 'Global variables', 540779, 546335).
1057
section([6, 3, 1], 'Compatibility of SWI-Prolog Global Variables', 545532, 546335).
1058
section([7], 'CHR: CONSTRAINT HANDLING RULES', 546337, 578238).
1059
section([7, 1], 'Introduction', 547447, 549010).
1060
section([7, 2], 'Syntax and Semantics', 549012, 555761).
1061
section([7, 2, 1], 'Syntax', 549082, 550487).
1062
section([7, 2, 2], 'Semantics', 550489, 555761).
1063
section([7, 3], 'CHR in SWI-Prolog Programs', 555763, 563761).
1064
section([7, 3, 1], 'Embedding in Prolog Programs', 555849, 556123).
1065
section([7, 3, 2], 'Constraint declaration', 556125, 562936).
1066
section([7, 3, 3], 'Compilation', 562938, 563761).
1067
section([7, 4], 'Debugging', 563763, 568290).
1068
section([7, 4, 1], 'Ports', 564209, 565390).
1069
section([7, 4, 2], 'Tracing', 565392, 566550).
1070
section([7, 4, 3], 'CHR Debugging Predicates', 566552, 568290).
1071
section([7, 5], 'Examples', 568292, 570059).
1072
section([7, 6], 'Backwards Compatibility', 570061, 573187).
1073
section([7, 6, 1], 'The Old SICStus CHR implemenation', 570142, 572310).
1074
section([7, 6, 2], 'The Old ECLiPSe CHR implemenation', 572312, 573187).
1075
section([7, 7], 'Programming Tips and Tricks', 573189, 575499).
1076
section([7, 8], 'Compiler Errors and Warnings', 575501, 578238).
1077
section([7, 8, 1], 'CHR Compiler Errors', 575697, 578238).
1078
section([8], 'MULTI-THREADED APPLICATIONS', 578240, 627218).
1079
section([8, 1], 'Creating and destroying Prolog threads', 580352, 588822).
1080
section([8, 2], 'Monitoring threads', 588824, 592046).
1081
section([8, 3], 'Thread communication', 592048, 602786).
1082
section([8, 3, 1], 'Message queues', 592120, 598572).
1083
section([8, 3, 2], 'Signalling threads', 598574, 600380).
1084
section([8, 3, 3], 'Threads and dynamic predicates', 600382, 602786).
1085
section([8, 4], 'Thread synchronisation', 602788, 608302).
1086
section([8, 5], 'Thread-support library(threadutil)', 608304, 612762).
1087
section([8, 5, 1], 'Debugging threads', 609326, 612135).
1088
section([8, 5, 2], 'Profiling threads', 612137, 612762).
1089
section([8, 6], 'Unbounded thread creation', 612764, 614262).
1090
section([8, 7], 'Multi-threaded mixed C and Prolog applications', 614264, 623904).
1091
section([8, 7, 1], 'A Prolog thread for each native thread (one-to-one)', 615888, 619610).
1092
section([8, 7, 2], 'Pooling Prolog engines (many-to-many)', 619612, 623904).
1093
section([8, 7, 2, 1], 'Engines in single-threaded SWI-Prolog', 623545, 623904).
1094
section([8, 8], 'Multithreading and the XPCE graphics system', 623906, 627218).
1095
section([9], 'FOREIGN LANGUAGE INTERFACE', 627220, 779871).
1096
section([9, 1], 'Overview of the Interface', 628266, 629114).
1097
section([9, 2], 'Linking Foreign Modules', 629116, 631099).
1098
section([9, 2, 1], 'What linking is provided?', 629744, 630236).
1099
section([9, 2, 2], 'What kind of loading should I be using?', 630238, 631099).
1100
section([9, 3], 'Dynamic Linking of shared libraries', 631101, 633454).
1101
section([9, 4], 'Using the library shlib for .DLL and .so files', 633456, 638833).
1102
section([9, 4, 1], 'Static Linking', 636732, 638833).
1103
section([9, 5], 'Interface Data types', 638835, 647486).
1104
section([9, 5, 1], 'Type term_t: a reference to a Prolog term', 638905, 644872).
1105
section([9, 5, 1, 1], 'Interaction with the garbage collector and stack-shifter', 644084, 644872).
1106
section([9, 5, 2], 'Other foreign interface types', 644874, 647486).
1107
section([9, 6], 'The Foreign Include File', 647488, 764067).
1108
section([9, 6, 1], 'Argument Passing and Control', 647568, 653492).
1109
section([9, 6, 1, 1], 'Non-deterministic Foreign Predicates', 648413, 653492).
1110
section([9, 6, 2], 'Atoms and functors', 653494, 656565).
1111
section([9, 6, 2, 1], 'Atoms and atom-garbage collection', 655059, 656565).
1112
section([9, 6, 3], 'Analysing Terms via the Foreign Interface', 656567, 678513).
1113
section([9, 6, 3, 1], 'Testing the type of a term', 657320, 660973).
1114
section([9, 6, 3, 2], 'Reading data from a term', 660975, 669849).
1115
section([9, 6, 3, 3], 'Exchanging text using length and string', 669851, 672907).
1116
section([9, 6, 3, 4], 'Wide character versions', 672909, 676001).
1117
section([9, 6, 3, 5], 'Reading a list', 676003, 677311).
1118
section([9, 6, 3, 6], 'An example: defining write/1 in C', 677313, 678513).
1119
section([9, 6, 4], 'Constructing Terms', 678515, 684328).
1120
section([9, 6, 5], 'Unifying data', 684330, 698247).
1121
section([9, 6, 6], 'BLOBS: Using atoms to store arbitrary binary data', 698249, 705907).
1122
section([9, 6, 6, 1], 'Defining a BLOB type', 699523, 703702).
1123
section([9, 6, 6, 2], 'Accessing blobs', 703704, 705907).
1124
section([9, 6, 7], 'Exchanging GMP numbers', 705909, 709210).
1125
section([9, 6, 8], 'Calling Prolog from C', 709212, 716263).
1126
section([9, 6, 8, 1], 'Predicate references', 709874, 711461).
1127
section([9, 6, 8, 2], 'Initiating a query from C', 711463, 716263).
1128
section([9, 6, 9], 'Discarding Data', 716265, 718574).
1129
section([9, 6, 10], 'Foreign Code and Modules', 718576, 720279).
1130
section([9, 6, 11], 'Prolog exceptions in foreign code', 720281, 724488).
1131
section([9, 6, 12], 'Catching Signals (Software Interrupts)', 724490, 727959).
1132
section([9, 6, 13], 'Miscellaneous', 727961, 734408).
1133
section([9, 6, 13, 1], 'Term Comparison', 728023, 728515).
1134
section([9, 6, 13, 2], 'Recorded database', 728517, 732806).
1135
section([9, 6, 13, 3], 'Getting file names', 732808, 734408).
1136
section([9, 6, 14], 'Errors and warnings', 734410, 735081).
1137
section([9, 6, 15], 'Environment Control from Foreign Code', 735083, 738756).
1138
section([9, 6, 16], 'Querying Prolog', 738758, 740968).
1139
section([9, 6, 17], 'Registering Foreign Predicates', 740970, 745769).
1140
section([9, 6, 18], 'Foreign Code Hooks', 745771, 748714).
1141
section([9, 6, 19], 'Storing foreign data', 748716, 756150).
1142
section([9, 6, 19, 1], 'Examples for storing foreign data', 752227, 756150).
1143
section([9, 6, 20], 'Embedding SWI-Prolog in other applications', 756152, 764067).
1144
section([9, 6, 20, 1], 'Threading, Signals and embedded Prolog', 761765, 764067).
1145
section([9, 7], 'Linking embedded applications using plld', 764069, 771292).
1146
section([9, 7, 1], 'A simple example', 769622, 771292).
1147
section([9, 8], 'The Prolog `home\' directory', 771294, 772771).
1148
section([9, 9], 'Example of Using the Foreign Interface', 772773, 774249).
1149
section([9, 10], 'Notes on Using Foreign Code', 774251, 779871).
1150
section([9, 10, 1], 'Memory Allocation', 774341, 775888).
1151
section([9, 10, 2], 'Compatibility between Prolog versions', 775890, 776577).
1152
section([9, 10, 3], 'Debugging and profiling foreign code (valgrind)', 776579, 777590).
1153
section([9, 10, 4], 'Name Conflicts in C modules', 777592, 778463).
1154
section([9, 10, 5], 'Compatibility of the Foreign Interface', 778465, 779871).
1155
section([10], 'GENERATING RUNTIME APPLICATIONS', 779873, 800332).
1156
section([10, 1], 'Limitations of qsave_program', 787101, 787903).
1157
section([10, 2], 'Runtimes and Foreign Code', 787905, 790316).
1158
section([10, 3], 'Using program resources', 790318, 795815).
1159
section([10, 3, 1], 'Predicates Definitions', 791838, 794854).
1160
section([10, 3, 2], 'The plrc program', 794856, 795815).
1161
section([10, 4], 'Finding Application files', 795817, 797683).
1162
section([10, 4, 1], 'Passing a path to the application', 797097, 797683).
1163
section([10, 5], 'The Runtime Environment', 797685, 800332).
1164
section([10, 5, 1], 'The Runtime Emulator', 797767, 800332).
1165
section([11], 'THE SWI-PROLOG LIBRARY', 800334, 912055).
1166
section([11, 1], 'aggregate.pl -- Aggregation operators on backtrackable predicates', 801791, 809004).
1167
section([11, 1, 0, 1], 'Acknowledgements', 805276, 809004).
1168
section([11, 2], 'apply.pl -- Apply predicates on a list', 809006, 811154).
1169
section([11, 3], 'assoc: Association lists', 811156, 814990).
1170
section([11, 4], 'broadcast: Broadcast and receive event notifications', 814992, 819606).
1171
section([11, 5], 'check: Elementary completeness checks', 819608, 822008).
1172
section([11, 6], 'clp/clp_distinct: Weak arc consistent `all_distinct\' constraint', 822010, 823960).
1173
section([11, 6, 1], 'Example 1', 823126, 823295).
1174
section([11, 6, 2], 'Example 2', 823297, 823524).
1175
section([11, 6, 3], 'Example 3', 823526, 823960).
1176
section([11, 7], 'clpfd.pl -- Constraint Logic Programming over Finite Domains', 823962, 834937).
1177
section([11, 8], 'clpqr: Constraint Logic Programming over Rationals and Reals', 834939, 845519).
1178
section([11, 8, 1], 'Solver predicates', 836259, 839635).
1179
section([11, 8, 2], 'Syntax of the predicate arguments', 839637, 843563).
1180
section([11, 8, 3], 'Use of unification', 843565, 844049).
1181
section([11, 8, 4], 'Non-linear constraints', 844051, 845519).
1182
section([11, 9], 'debug: Some reusable code to help debugging applications', 845521, 848783).
1183
section([11, 10], 'gensym: Generate unique identifiers', 848785, 850341).
1184
section([11, 11], 'lists: List Manipulation', 850343, 856287).
1185
section([11, 11, 1], 'Set Manipulation', 854560, 856287).
1186
section([11, 12], 'nbset: Non-backtrackable set', 856289, 858815).
1187
section([11, 13], 'www_browser: Activating your Web-browser', 858817, 860211).
1188
section([11, 14], 'option.pl -- Option list processing', 860213, 864369).
1189
section([11, 15], 'ordsets: Ordered Set Manipulation', 864371, 867695).
1190
section([11, 16], 'pairs.pl -- Operations on key-value lists', 867697, 870456).
1191
section([11, 17], 'prologxref: Cross-reference data collection library', 870458, 875583).
1192
section([11, 17, 1], 'Extending the library', 874562, 875583).
1193
section([11, 18], 'readutil: Reading lines, streams and files', 875585, 878979).
1194
section([11, 19], 'record: Access named fields in a term', 878981, 884283).
1195
section([11, 20], 'registry: Manipulating the Windows registry', 884285, 888162).
1196
section([11, 21], 'simplex: Solve linear programming problems', 888164, 896789).
1197
section([11, 21, 1], 'Example 1', 893455, 894208).
1198
section([11, 21, 2], 'Example 2', 894210, 895823).
1199
section([11, 21, 3], 'Example 3', 895825, 896789).
1200
section([11, 22], 'ugraphs: Unweighted Graphs', 896791, 905758).
1201
section([11, 23], 'url.pl -- Analysing and constructing URL', 905760, 912055).
1202
section([12], 'HACKERS CORNER', 912057, 933720).
1203
section([12, 1], 'Examining the Environment Stack', 912551, 918632).
1204
section([12, 2], 'Intercepting the Tracer', 918634, 922909).
1205
section([12, 3], 'Adding context to errors: prolog_exception_hook', 922911, 926096).
1206
section([12, 4], 'Hooks using the exception predicate', 926098, 928324).
1207
section([12, 5], 'Hooks for integrating libraries', 928326, 931137).
1208
section([12, 6], 'Hooks for loading files', 931139, 932634).
1209
section([12, 7], 'Readline Interaction', 932636, 933720).
1210
section([13], 'COMPATIBILITY WITH OTHER PROLOG DIALECTS', 933722, 943687).
1211
section([13, 1], 'Some considerations for writing portable code', 937632, 943687).
1212
section([14], 'GLOSSARY OF TERMS', 943689, 956958).
1213
section([15], 'SWI-PROLOG LICENSE CONDITIONS AND TOOLS', 956960, 976822).
1214
section([15, 1], 'The SWI-Prolog kernel and foreign libraries', 958448, 960948).
1215
section([15, 1, 1], 'The SWI-Prolog Prolog libraries', 959267, 960948).
1216
section([15, 2], 'Contributing to the SWI-Prolog project', 960950, 961516).
1217
section([15, 3], 'Software support to keep track of license conditions', 961518, 966236).
1218
section([15, 4], 'Library predicates', 966238, 976822).
1219
section([15, 4, 1], aggregate, 966307, 966848).
1220
section([15, 4, 2], apply, 966850, 967099).
1221
section([15, 4, 3], assoc, 967101, 967811).
1222
section([15, 4, 4], broadcast, 967813, 968271).
1223
section([15, 4, 5], check, 968273, 968508).
1224
section([15, 4, 6], lists, 968510, 969514).
1225
section([15, 4, 7], option, 969516, 969882).
1226
section([15, 4, 8], ordsets, 969884, 970462).
1227
section([15, 4, 9], prologxref, 970464, 970961).
1228
section([15, 4, 10], pairs, 970963, 971454).
1229
section([15, 4, 11], readutil, 971456, 971784).
1230
section([15, 4, 12], record, 971786, 971858).
1231
section([15, 4, 13], registry, 971860, 972341).
1232
section([15, 4, 14], ugraphs, 972343, 973224).
1233
section([15, 4, 15], url, 973226, 973792).
1234
section([15, 4, 16], www_browser, 973794, 973875).
1235
section([15, 4, 17], 'clp/clp_distinct', 973877, 974062).
1236
section([15, 4, 18], 'clp/clpfd', 974064, 975707).
1237
section([15, 4, 19], clpqr, 975709, 976183).
1238
section([15, 4, 20], 'clp/simplex', 976185, 976822).
1239
section([16], 'Bibliography', 976824, 1021784).
851
section([0], 'Title Page', 1, 1895).
852
section([1], 'INTRODUCTION', 1897, 32770).
853
section([1, 1], 'SWI-Prolog', 1967, 4991).
854
section([1, 1, 1], 'Books about Prolog', 4098, 4991).
855
section([1, 2], 'Status', 4993, 5680).
856
section([1, 3], 'Compliance to the ISO standard', 5682, 6542).
857
section([1, 4], 'Should you be using SWI-Prolog?', 6544, 9957).
858
section([1, 5], 'The XPCE GUI system for Prolog', 9959, 12898).
859
section([1, 6], 'Release Notes', 12900, 30112).
860
section([1, 6, 1], 'Version 1.8 Release Notes', 13158, 13421).
861
section([1, 6, 2], 'Version 1.9 Release Notes', 13423, 14392).
862
section([1, 6, 3], 'Version 2.0 Release Notes', 14394, 15350).
863
section([1, 6, 4], 'Version 2.5 Release Notes', 15352, 17006).
864
section([1, 6, 5], 'Version 2.6 Release Notes', 17008, 18291).
865
section([1, 6, 6], 'Version 2.7 Release Notes', 18293, 18978).
866
section([1, 6, 7], 'Version 2.8 Release Notes', 18980, 19516).
867
section([1, 6, 8], 'Version 2.9 Release Notes', 19518, 20339).
868
section([1, 6, 9], 'Version 3.0 Release Notes', 20341, 20600).
869
section([1, 6, 10], 'Version 3.1 Release Notes', 20602, 20995).
870
section([1, 6, 11], 'Version 3.3 Release Notes', 20997, 25515).
871
section([1, 6, 11, 1], 'Incompatible changes', 22806, 25515).
872
section([1, 6, 12], 'Version 3.4 Release Notes', 25517, 26568).
873
section([1, 6, 13], 'Version 4.0 Release Notes', 26570, 27416).
874
section([1, 6, 14], 'Version 5.0 Release Notes', 27418, 28113).
875
section([1, 6, 15], 'Version 5.1 Release Notes', 28115, 28489).
876
section([1, 6, 16], 'Version 5.2 Release Notes', 28491, 28711).
877
section([1, 6, 17], 'Version 5.3 Release Notes', 28713, 29113).
878
section([1, 6, 18], 'Version 5.4 Release Notes', 29115, 29254).
879
section([1, 6, 19], 'Version 5.5 Release Notes', 29256, 29971).
880
section([1, 6, 20], 'Version 5.6 Release Notes', 29973, 30112).
881
section([1, 7], 'Donate to the SWI-Prolog project', 30114, 30493).
882
section([1, 8], 'Acknowledgements', 30495, 32770).
883
section([2], 'OVERVIEW', 32772, 138460).
884
section([2, 1], 'Getting started quickly', 32830, 35975).
885
section([2, 1, 1], 'Starting SWI-Prolog', 32909, 35272).
886
section([2, 1, 1, 1], 'Starting SWI-Prolog on Unix', 32984, 34263).
887
section([2, 1, 1, 2], 'Starting SWI-Prolog on Windows', 34265, 35272).
888
section([2, 1, 2], 'Executing a query', 35274, 35975).
889
section([2, 2], 'The user\'s initialisation file', 35977, 37525).
890
section([2, 3], 'Initialisation files and goals', 37527, 39067).
891
section([2, 4], 'Command-line options', 39069, 47261).
892
section([2, 5], 'GNU Emacs Interface', 47263, 48023).
893
section([2, 6], 'Online Help', 48025, 51448).
894
section([2, 7], 'Command-line history', 51450, 52639).
895
section([2, 8], 'Reuse of top-level bindings', 52641, 53682).
896
section([2, 9], 'Overview of the Debugger', 53684, 59878).
897
section([2, 10], 'Compilation', 59880, 66140).
898
section([2, 10, 1], 'During program development', 59930, 60905).
899
section([2, 10, 2], 'For running the result', 60907, 66140).
900
section([2, 10, 2, 1], 'Using PrologScript', 61275, 63449).
901
section([2, 10, 2, 2], 'Creating a shell-script', 63451, 64452).
902
section([2, 10, 2, 3], 'Creating a saved-state', 64454, 65140).
903
section([2, 10, 2, 4], 'Compilation using the -c command-line option', 65142, 66140).
904
section([2, 11], 'Environment Control (Prolog flags)', 66142, 97391).
905
section([2, 12], 'An overview of hook predicates', 97393, 100284).
906
section([2, 13], 'Automatic loading of libraries', 100286, 105085).
907
section([2, 14], 'Garbage Collection', 105087, 105330).
908
section([2, 15], 'Syntax Notes', 105332, 114937).
909
section([2, 15, 1], 'ISO Syntax Support', 105865, 114937).
910
section([2, 15, 1, 1], 'Processor Character Set', 106008, 106344).
911
section([2, 15, 1, 2], 'Character Escape Syntax', 106346, 109687).
912
section([2, 15, 1, 3], 'Syntax for non-decimal numbers', 109689, 110232).
913
section([2, 15, 1, 4], 'Unicode Prolog source', 110234, 112411).
914
section([2, 15, 1, 5], 'Singleton variable checking', 112413, 114937).
915
section([2, 16], 'Infinite trees (cyclic terms)', 114939, 115716).
916
section([2, 17], 'Wide character support', 115718, 122434).
917
section([2, 17, 1], 'Wide character encodings on streams', 117306, 122434).
918
section([2, 17, 1, 1], 'BOM: Byte Order Mark', 120899, 122434).
919
section([2, 18], 'System limits', 122436, 132665).
920
section([2, 18, 1], 'Limits on memory areas', 122490, 129703).
921
section([2, 18, 1, 1], 'The heap', 129012, 129703).
922
section([2, 18, 2], 'Other Limits', 129705, 132210).
923
section([2, 18, 3], 'Reserved Names', 132212, 132665).
924
section([2, 19], 'SWI-Prolog and 64-bit machines', 132667, 138460).
925
section([2, 19, 1], 'Supported platforms', 133351, 133804).
926
section([2, 19, 2], 'Comparing 32- and 64-bits Prolog', 133806, 135897).
927
section([2, 19, 3], 'Choosing between 32- and 64-bits Prolog', 135899, 138460).
928
section([3], 'INITIALISING AND MANAGING A PROLOG PROJECT', 138462, 174575).
929
section([3, 1], 'The project source-files', 139280, 147281).
930
section([3, 1, 1], 'File Names and Locations', 139776, 143389).
931
section([3, 1, 1, 1], 'File Name Extensions', 139862, 140891).
932
section([3, 1, 1, 2], 'Project Directories', 140893, 141978).
933
section([3, 1, 1, 3], 'Sub-projects using search-paths', 141980, 143389).
934
section([3, 1, 2], 'Project Special Files', 143391, 144815).
935
section([3, 1, 3], 'International source files', 144817, 147281).
936
section([3, 2], 'Using modules', 147283, 149424).
937
section([3, 3], 'The test-edit-reload cycle', 149426, 152374).
938
section([3, 3, 1], 'Locating things to edit', 150297, 150954).
939
section([3, 3, 2], 'Editing and incremental compilation', 150956, 152374).
940
section([3, 4], 'Using the PceEmacs built-in editor', 152376, 163629).
941
section([3, 4, 1], 'Activating PceEmacs', 152484, 152842).
942
section([3, 4, 2], 'Bluffing through PceEmacs', 152844, 158347).
943
section([3, 4, 2, 1], 'Edit modes', 153464, 154486).
944
section([3, 4, 2, 2], 'Frequently used editor commands', 154488, 158347).
945
section([3, 4, 3], 'Prolog Mode', 158349, 163629).
946
section([3, 4, 3, 1], 'Finding your way around', 162994, 163629).
947
section([3, 5], 'The Graphical Debugger', 163631, 165916).
948
section([3, 5, 1], 'Invoking the window-based debugger', 164485, 165916).
949
section([3, 6], 'The Prolog Navigator', 165918, 166249).
950
section([3, 7], 'Cross referencer', 166251, 171070).
951
section([3, 8], 'Accessing the IDE from your program', 171072, 172852).
952
section([3, 9], 'Summary of the iDE', 172854, 174575).
953
section([4], 'BUILT-IN PREDICATES', 174577, 500948).
954
section([4, 1], 'Notation of Predicate Descriptions', 174666, 177187).
955
section([4, 2], 'Character representation', 177189, 180078).
956
section([4, 3], 'Loading Prolog source files', 180080, 211161).
957
section([4, 3, 1], 'Conditional compilation and program transformation', 199044, 206029).
958
section([4, 3, 1, 1], 'Conditional compilation', 204225, 206029).
959
section([4, 3, 2], 'Loading files, active code and threads', 206031, 209065).
960
section([4, 3, 2, 1], 'Threads and reloading running code', 207574, 209065).
961
section([4, 3, 3], 'Quick load files', 209067, 211161).
962
section([4, 4], 'Listing and Editor Interface', 211163, 218350).
963
section([4, 5], 'Verify Type of a Term', 218352, 221865).
964
section([4, 6], 'Comparison and Unification of Terms', 221867, 229128).
965
section([4, 6, 1], 'Standard Order of Terms', 222613, 225159).
966
section([4, 6, 2], 'Special unification and comparison predicates', 225161, 229128).
967
section([4, 7], 'Control Predicates', 229130, 233630).
968
section([4, 8], 'Meta-Call Predicates', 233632, 241190).
969
section([4, 9], 'ISO compliant Exception handling', 241192, 251124).
970
section([4, 9, 1], 'Debugging and exceptions', 243829, 246093).
971
section([4, 9, 2], 'The exception term', 246095, 246948).
972
section([4, 9, 3], 'Printing messages', 246950, 251124).
973
section([4, 10], 'Handling signals', 251126, 256881).
974
section([4, 10, 1], 'Notes on signal handling', 255025, 256881).
975
section([4, 11], 'The `block\' control-structure', 256883, 258391).
976
section([4, 12], 'DCG Grammar rules', 258393, 260541).
977
section([4, 13], 'Database', 260543, 271194).
978
section([4, 13, 1], 'Update view', 267818, 269023).
979
section([4, 13, 2], 'Indexing databases', 269025, 271194).
980
section([4, 14], 'Declaring predicates properties', 271196, 276471).
981
section([4, 15], 'Examining the program', 276473, 286226).
982
section([4, 16], 'Input and output', 286228, 314003).
983
section([4, 16, 1], 'ISO Input and Output Streams', 286905, 306070).
984
section([4, 16, 2], 'Edinburgh-style I/O', 306072, 310431).
985
section([4, 16, 3], 'Switching Between Edinburgh and ISO I/O', 310433, 311594).
986
section([4, 16, 4], 'Write onto atoms, code-lists, etc.', 311596, 314003).
987
section([4, 17], 'Status of streams', 314005, 318042).
988
section([4, 18], 'Primitive character I/O', 318044, 329008).
989
section([4, 19], 'Term reading and writing', 329010, 345493).
990
section([4, 20], 'Analysing and Constructing Terms', 345495, 354069).
991
section([4, 20, 1], 'Non-logical operations on terms', 350462, 354069).
992
section([4, 21], 'Analysing and Constructing Atoms', 354071, 362066).
993
section([4, 22], 'Character properties', 362068, 369351).
994
section([4, 22, 1], 'Case conversion', 366690, 367550).
995
section([4, 22, 2], 'White space normalization', 367552, 368017).
996
section([4, 22, 3], 'Language specific comparison', 368019, 369351).
997
section([4, 23], 'Representing text in strings', 369353, 373689).
998
section([4, 24], 'Operators', 373691, 378241).
999
section([4, 25], 'Character Conversion', 378243, 379249).
1000
section([4, 26], 'Arithmetic', 379251, 403425).
1001
section([4, 26, 1], 'Special purpose integer arithmetic', 379737, 381278).
1002
section([4, 26, 2], 'General purpose arithmetic', 381280, 403425).
1003
section([4, 26, 2, 1], 'Arithmetic types', 383771, 386832).
1004
section([4, 26, 2, 2], 'Rational number examples', 386834, 388294).
1005
section([4, 26, 2, 3], 'Arithmetic Functions', 388296, 403425).
1006
section([4, 27], 'Adding Arithmetic Functions', 403427, 405299).
1007
section([4, 28], 'Built-in list operations', 405301, 409204).
1008
section([4, 29], 'Finding all Solutions to a Goal', 409206, 411681).
1009
section([4, 30], 'Invoking Predicates on all Members of a List', 411683, 413315).
1010
section([4, 31], 'Forall', 413317, 413826).
1011
section([4, 32], 'Formatted Write', 413828, 426142).
1012
section([4, 32, 1], 'Writef', 414374, 418179).
1013
section([4, 32, 2], 'Format', 418181, 424325).
1014
section([4, 32, 3], 'Programming Format', 424327, 426142).
1015
section([4, 33], 'Terminal Control', 426144, 428851).
1016
section([4, 34], 'Operating System Interaction', 428853, 452457).
1017
section([4, 34, 1], 'Dealing with time and date', 437120, 449623).
1018
section([4, 34, 1, 1], 'Time and date data-structures', 439370, 440821).
1019
section([4, 34, 1, 2], 'Time and date predicates', 440823, 449623).
1020
section([4, 34, 2], 'Controlling the PLWIN.EXE console window', 449625, 452457).
1021
section([4, 35], 'File System Interaction', 452459, 463639).
1022
section([4, 36], 'User Top-level Manipulation', 463641, 467538).
1023
section([4, 37], 'Creating a Protocol of the User Interaction', 467540, 468542).
1024
section([4, 38], 'Debugging and Tracing Programs', 468544, 475669).
1025
section([4, 39], 'Obtaining Runtime Statistics', 475671, 481274).
1026
section([4, 40], 'Execution profiling', 481276, 490203).
1027
section([4, 40, 1], 'Profiling predicates', 481860, 484732).
1028
section([4, 40, 2], 'Visualizing profiling data', 484734, 487194).
1029
section([4, 40, 3], 'Information gathering', 487196, 490203).
1030
section([4, 40, 3, 1], 'Profiling in the Windows Implementation', 489227, 490203).
1031
section([4, 41], 'Memory Management', 490205, 492746).
1032
section([4, 42], 'Windows DDE interface', 492748, 498450).
1033
section([4, 42, 1], 'DDE client interface', 493146, 495796).
1034
section([4, 42, 2], 'DDE server mode', 495798, 498450).
1035
section([4, 43], 'Miscellaneous', 498452, 500948).
1036
section([5], 'USING MODULES', 500950, 529444).
1037
section([5, 1], 'Why Using Modules?', 501021, 502251).
1038
section([5, 2], 'Name-based versus Predicate-based Modules', 502253, 504846).
1039
section([5, 3], 'Defining a Module', 504848, 505476).
1040
section([5, 4], 'Importing Predicates into a Module', 505478, 510095).
1041
section([5, 4, 1], 'Reserved Modules', 509302, 510095).
1042
section([5, 5], 'Composing modules from other modules', 510097, 511359).
1043
section([5, 6], 'Using the Module System', 511361, 514976).
1044
section([5, 6, 1], 'Object Oriented Programming', 513347, 514976).
1045
section([5, 7], 'Meta-Predicates in Modules', 514978, 518994).
1046
section([5, 7, 1], 'Definition and Context Module', 516064, 517652).
1047
section([5, 7, 2], 'Overruling Module Boundaries', 517654, 518994).
1048
section([5, 8], 'Dynamic Modules', 518996, 520432).
1049
section([5, 9], 'Module Handling Predicates', 520434, 525906).
1050
section([5, 10], 'Compatibility of the Module System', 525908, 529444).
1051
section([5, 10, 1], 'Emulating meta_predicate', 528485, 529444).
1052
section([6], 'SPECIAL VARIABLES AND COROUTINING', 529446, 546866).
1053
section([6, 1], 'Attributed variables', 529683, 537405).
1054
section([6, 1, 1], 'Special purpose predicates for attributes', 535815, 537405).
1055
section([6, 2], 'Coroutining', 537407, 541308).
1056
section([6, 3], 'Global variables', 541310, 546866).
1057
section([6, 3, 1], 'Compatibility of SWI-Prolog Global Variables', 546063, 546866).
1058
section([7], 'CHR: CONSTRAINT HANDLING RULES', 546868, 578769).
1059
section([7, 1], 'Introduction', 547978, 549541).
1060
section([7, 2], 'Syntax and Semantics', 549543, 556292).
1061
section([7, 2, 1], 'Syntax', 549613, 551018).
1062
section([7, 2, 2], 'Semantics', 551020, 556292).
1063
section([7, 3], 'CHR in SWI-Prolog Programs', 556294, 564292).
1064
section([7, 3, 1], 'Embedding in Prolog Programs', 556380, 556654).
1065
section([7, 3, 2], 'Constraint declaration', 556656, 563467).
1066
section([7, 3, 3], 'Compilation', 563469, 564292).
1067
section([7, 4], 'Debugging', 564294, 568821).
1068
section([7, 4, 1], 'Ports', 564740, 565921).
1069
section([7, 4, 2], 'Tracing', 565923, 567081).
1070
section([7, 4, 3], 'CHR Debugging Predicates', 567083, 568821).
1071
section([7, 5], 'Examples', 568823, 570590).
1072
section([7, 6], 'Backwards Compatibility', 570592, 573718).
1073
section([7, 6, 1], 'The Old SICStus CHR implemenation', 570673, 572841).
1074
section([7, 6, 2], 'The Old ECLiPSe CHR implemenation', 572843, 573718).
1075
section([7, 7], 'Programming Tips and Tricks', 573720, 576030).
1076
section([7, 8], 'Compiler Errors and Warnings', 576032, 578769).
1077
section([7, 8, 1], 'CHR Compiler Errors', 576228, 578769).
1078
section([8], 'MULTI-THREADED APPLICATIONS', 578771, 627749).
1079
section([8, 1], 'Creating and destroying Prolog threads', 580883, 589353).
1080
section([8, 2], 'Monitoring threads', 589355, 592577).
1081
section([8, 3], 'Thread communication', 592579, 603317).
1082
section([8, 3, 1], 'Message queues', 592651, 599103).
1083
section([8, 3, 2], 'Signalling threads', 599105, 600911).
1084
section([8, 3, 3], 'Threads and dynamic predicates', 600913, 603317).
1085
section([8, 4], 'Thread synchronisation', 603319, 608833).
1086
section([8, 5], 'Thread-support library(threadutil)', 608835, 613293).
1087
section([8, 5, 1], 'Debugging threads', 609857, 612666).
1088
section([8, 5, 2], 'Profiling threads', 612668, 613293).
1089
section([8, 6], 'Unbounded thread creation', 613295, 614793).
1090
section([8, 7], 'Multi-threaded mixed C and Prolog applications', 614795, 624435).
1091
section([8, 7, 1], 'A Prolog thread for each native thread (one-to-one)', 616419, 620141).
1092
section([8, 7, 2], 'Pooling Prolog engines (many-to-many)', 620143, 624435).
1093
section([8, 7, 2, 1], 'Engines in single-threaded SWI-Prolog', 624076, 624435).
1094
section([8, 8], 'Multithreading and the XPCE graphics system', 624437, 627749).
1095
section([9], 'FOREIGN LANGUAGE INTERFACE', 627751, 781395).
1096
section([9, 1], 'Overview of the Interface', 628797, 629645).
1097
section([9, 2], 'Linking Foreign Modules', 629647, 631630).
1098
section([9, 2, 1], 'What linking is provided?', 630275, 630767).
1099
section([9, 2, 2], 'What kind of loading should I be using?', 630769, 631630).
1100
section([9, 3], 'Dynamic Linking of shared libraries', 631632, 633985).
1101
section([9, 4], 'Using the library shlib for .DLL and .so files', 633987, 639364).
1102
section([9, 4, 1], 'Static Linking', 637263, 639364).
1103
section([9, 5], 'Interface Data types', 639366, 648017).
1104
section([9, 5, 1], 'Type term_t: a reference to a Prolog term', 639436, 645403).
1105
section([9, 5, 1, 1], 'Interaction with the garbage collector and stack-shifter', 644615, 645403).
1106
section([9, 5, 2], 'Other foreign interface types', 645405, 648017).
1107
section([9, 6], 'The Foreign Include File', 648019, 765545).
1108
section([9, 6, 1], 'Argument Passing and Control', 648099, 654023).
1109
section([9, 6, 1, 1], 'Non-deterministic Foreign Predicates', 648944, 654023).
1110
section([9, 6, 2], 'Atoms and functors', 654025, 657096).
1111
section([9, 6, 2, 1], 'Atoms and atom-garbage collection', 655590, 657096).
1112
section([9, 6, 3], 'Analysing Terms via the Foreign Interface', 657098, 679044).
1113
section([9, 6, 3, 1], 'Testing the type of a term', 657851, 661504).
1114
section([9, 6, 3, 2], 'Reading data from a term', 661506, 670380).
1115
section([9, 6, 3, 3], 'Exchanging text using length and string', 670382, 673438).
1116
section([9, 6, 3, 4], 'Wide character versions', 673440, 676532).
1117
section([9, 6, 3, 5], 'Reading a list', 676534, 677842).
1118
section([9, 6, 3, 6], 'An example: defining write/1 in C', 677844, 679044).
1119
section([9, 6, 4], 'Constructing Terms', 679046, 684859).
1120
section([9, 6, 5], 'Unifying data', 684861, 698778).
1121
section([9, 6, 6], 'BLOBS: Using atoms to store arbitrary binary data', 698780, 706438).
1122
section([9, 6, 6, 1], 'Defining a BLOB type', 700054, 704233).
1123
section([9, 6, 6, 2], 'Accessing blobs', 704235, 706438).
1124
section([9, 6, 7], 'Exchanging GMP numbers', 706440, 709741).
1125
section([9, 6, 8], 'Calling Prolog from C', 709743, 716794).
1126
section([9, 6, 8, 1], 'Predicate references', 710405, 711992).
1127
section([9, 6, 8, 2], 'Initiating a query from C', 711994, 716794).
1128
section([9, 6, 9], 'Discarding Data', 716796, 719105).
1129
section([9, 6, 10], 'Foreign Code and Modules', 719107, 720810).
1130
section([9, 6, 11], 'Prolog exceptions in foreign code', 720812, 725019).
1131
section([9, 6, 12], 'Catching Signals (Software Interrupts)', 725021, 728943).
1132
section([9, 6, 13], 'Miscellaneous', 728945, 735392).
1133
section([9, 6, 13, 1], 'Term Comparison', 729007, 729499).
1134
section([9, 6, 13, 2], 'Recorded database', 729501, 733790).
1135
section([9, 6, 13, 3], 'Getting file names', 733792, 735392).
1136
section([9, 6, 14], 'Errors and warnings', 735394, 736065).
1137
section([9, 6, 15], 'Environment Control from Foreign Code', 736067, 739740).
1138
section([9, 6, 16], 'Querying Prolog', 739742, 741952).
1139
section([9, 6, 17], 'Registering Foreign Predicates', 741954, 746753).
1140
section([9, 6, 18], 'Foreign Code Hooks', 746755, 749698).
1141
section([9, 6, 19], 'Storing foreign data', 749700, 757134).
1142
section([9, 6, 19, 1], 'Examples for storing foreign data', 753211, 757134).
1143
section([9, 6, 20], 'Embedding SWI-Prolog in other applications', 757136, 765545).
1144
section([9, 6, 20, 1], 'Threading, Signals and embedded Prolog', 763243, 765545).
1145
section([9, 7], 'Linking embedded applications using plld', 765547, 772770).
1146
section([9, 7, 1], 'A simple example', 771100, 772770).
1147
section([9, 8], 'The Prolog `home\' directory', 772772, 774295).
1148
section([9, 9], 'Example of Using the Foreign Interface', 774297, 775773).
1149
section([9, 10], 'Notes on Using Foreign Code', 775775, 781395).
1150
section([9, 10, 1], 'Memory Allocation', 775865, 777412).
1151
section([9, 10, 2], 'Compatibility between Prolog versions', 777414, 778101).
1152
section([9, 10, 3], 'Debugging and profiling foreign code (valgrind)', 778103, 779114).
1153
section([9, 10, 4], 'Name Conflicts in C modules', 779116, 779987).
1154
section([9, 10, 5], 'Compatibility of the Foreign Interface', 779989, 781395).
1155
section([10], 'GENERATING RUNTIME APPLICATIONS', 781397, 801856).
1156
section([10, 1], 'Limitations of qsave_program', 788625, 789427).
1157
section([10, 2], 'Runtimes and Foreign Code', 789429, 791840).
1158
section([10, 3], 'Using program resources', 791842, 797339).
1159
section([10, 3, 1], 'Predicates Definitions', 793362, 796378).
1160
section([10, 3, 2], 'The plrc program', 796380, 797339).
1161
section([10, 4], 'Finding Application files', 797341, 799207).
1162
section([10, 4, 1], 'Passing a path to the application', 798621, 799207).
1163
section([10, 5], 'The Runtime Environment', 799209, 801856).
1164
section([10, 5, 1], 'The Runtime Emulator', 799291, 801856).
1165
section([11], 'THE SWI-PROLOG LIBRARY', 801858, 913924).
1166
section([11, 1], 'aggregate.pl -- Aggregation operators on backtrackable predicates', 803315, 810528).
1167
section([11, 1, 0, 1], 'Acknowledgements', 806800, 810528).
1168
section([11, 2], 'apply.pl -- Apply predicates on a list', 810530, 812678).
1169
section([11, 3], 'assoc: Association lists', 812680, 816514).
1170
section([11, 4], 'broadcast: Broadcast and receive event notifications', 816516, 821130).
1171
section([11, 5], 'check: Elementary completeness checks', 821132, 823532).
1172
section([11, 6], 'clp/clp_distinct: Weak arc consistent `all_distinct\' constraint', 823534, 825484).
1173
section([11, 6, 1], 'Example 1', 824650, 824819).
1174
section([11, 6, 2], 'Example 2', 824821, 825048).
1175
section([11, 6, 3], 'Example 3', 825050, 825484).
1176
section([11, 7], 'clpfd.pl -- Constraint Logic Programming over Finite Domains', 825486, 836674).
1177
section([11, 8], 'clpqr: Constraint Logic Programming over Rationals and Reals', 836676, 847256).
1178
section([11, 8, 1], 'Solver predicates', 837996, 841372).
1179
section([11, 8, 2], 'Syntax of the predicate arguments', 841374, 845300).
1180
section([11, 8, 3], 'Use of unification', 845302, 845786).
1181
section([11, 8, 4], 'Non-linear constraints', 845788, 847256).
1182
section([11, 9], 'debug: Some reusable code to help debugging applications', 847258, 850520).
1183
section([11, 10], 'gensym: Generate unique identifiers', 850522, 852078).
1184
section([11, 11], 'lists: List Manipulation', 852080, 858024).
1185
section([11, 11, 1], 'Set Manipulation', 856297, 858024).
1186
section([11, 12], 'nbset: Non-backtrackable set', 858026, 860552).
1187
section([11, 13], 'www_browser: Activating your Web-browser', 860554, 861948).
1188
section([11, 14], 'option.pl -- Option list processing', 861950, 866106).
1189
section([11, 15], 'ordsets: Ordered Set Manipulation', 866108, 869432).
1190
section([11, 16], 'pairs.pl -- Operations on key-value lists', 869434, 872193).
1191
section([11, 17], 'prologxref: Cross-reference data collection library', 872195, 877320).
1192
section([11, 17, 1], 'Extending the library', 876299, 877320).
1193
section([11, 18], 'readutil: Reading lines, streams and files', 877322, 880716).
1194
section([11, 19], 'record: Access named fields in a term', 880718, 886020).
1195
section([11, 20], 'registry: Manipulating the Windows registry', 886022, 889899).
1196
section([11, 21], 'simplex: Solve linear programming problems', 889901, 898526).
1197
section([11, 21, 1], 'Example 1', 895192, 895945).
1198
section([11, 21, 2], 'Example 2', 895947, 897560).
1199
section([11, 21, 3], 'Example 3', 897562, 898526).
1200
section([11, 22], 'ugraphs: Unweighted Graphs', 898528, 907495).
1201
section([11, 23], 'url.pl -- Analysing and constructing URL', 907497, 913924).
1202
section([12], 'HACKERS CORNER', 913926, 935589).
1203
section([12, 1], 'Examining the Environment Stack', 914420, 920501).
1204
section([12, 2], 'Intercepting the Tracer', 920503, 924778).
1205
section([12, 3], 'Adding context to errors: prolog_exception_hook', 924780, 927965).
1206
section([12, 4], 'Hooks using the exception predicate', 927967, 930193).
1207
section([12, 5], 'Hooks for integrating libraries', 930195, 933006).
1208
section([12, 6], 'Hooks for loading files', 933008, 934503).
1209
section([12, 7], 'Readline Interaction', 934505, 935589).
1210
section([13], 'COMPATIBILITY WITH OTHER PROLOG DIALECTS', 935591, 945556).
1211
section([13, 1], 'Some considerations for writing portable code', 939501, 945556).
1212
section([14], 'GLOSSARY OF TERMS', 945558, 958827).
1213
section([15], 'SWI-PROLOG LICENSE CONDITIONS AND TOOLS', 958829, 978691).
1214
section([15, 1], 'The SWI-Prolog kernel and foreign libraries', 960317, 962817).
1215
section([15, 1, 1], 'The SWI-Prolog Prolog libraries', 961136, 962817).
1216
section([15, 2], 'Contributing to the SWI-Prolog project', 962819, 963385).
1217
section([15, 3], 'Software support to keep track of license conditions', 963387, 968105).
1218
section([15, 4], 'Library predicates', 968107, 978691).
1219
section([15, 4, 1], aggregate, 968176, 968717).
1220
section([15, 4, 2], apply, 968719, 968968).
1221
section([15, 4, 3], assoc, 968970, 969680).
1222
section([15, 4, 4], broadcast, 969682, 970140).
1223
section([15, 4, 5], check, 970142, 970377).
1224
section([15, 4, 6], lists, 970379, 971383).
1225
section([15, 4, 7], option, 971385, 971751).
1226
section([15, 4, 8], ordsets, 971753, 972331).
1227
section([15, 4, 9], prologxref, 972333, 972830).
1228
section([15, 4, 10], pairs, 972832, 973323).
1229
section([15, 4, 11], readutil, 973325, 973653).
1230
section([15, 4, 12], record, 973655, 973727).
1231
section([15, 4, 13], registry, 973729, 974210).
1232
section([15, 4, 14], ugraphs, 974212, 975093).
1233
section([15, 4, 15], url, 975095, 975661).
1234
section([15, 4, 16], www_browser, 975663, 975744).
1235
section([15, 4, 17], 'clp/clp_distinct', 975746, 975931).
1236
section([15, 4, 18], 'clp/clpfd', 975933, 977576).
1237
section([15, 4, 19], clpqr, 977578, 978052).
1238
section([15, 4, 20], 'clp/simplex', 978054, 978691).
1239
section([16], 'Bibliography', 978693, 1023712).
1240
1240
1241
1241
1242
1242
% Predicate function/3
1243
1243
1244
function('PL_thread_self', 616545, 616829).
1245
function('PL_thread_attach_engine', 616832, 618250).
1246
function('PL_thread_destroy_engine', 618253, 618866).
1247
function('PL_thread_at_exit', 618869, 619609).
1248
function('PL_create_engine', 621238, 621823).
1249
function('PL_destroy_engine', 621826, 622167).
1250
function('PL_set_engine', 622170, 623542).
1251
function('PL_new_term_ref', 642161, 642534).
1252
function('PL_new_term_refs', 642537, 643097).
1253
function('PL_copy_term_ref', 643100, 643397).
1254
function('PL_reset_term_refs', 643400, 644081).
1255
function('PL_succeed', 648075, 648235).
1256
function('PL_fail', 648238, 648410).
1257
function('PL_retry', 650717, 651276).
1258
function('PL_retry_address', 651279, 651610).
1259
function('PL_foreign_control', 651613, 651978).
1260
function('PL_foreign_context', 651981, 652346).
1261
function('PL_foreign_context_address', 652349, 653491).
1262
function('PL_new_atom', 653648, 653907).
1263
function('PL_atom_chars', 653910, 654483).
1264
function('PL_new_functor', 654486, 654772).
1265
function('PL_functor_name', 654775, 654924).
1266
function('PL_functor_arity', 654927, 655056).
1267
function('PL_register_atom', 655701, 655962).
1268
function('PL_unregister_atom', 655965, 656564).
1269
function('PL_term_type', 657414, 659229).
1270
function('PL_is_variable', 659232, 659351).
1271
function('PL_is_ground', 659354, 659529).
1272
function('PL_is_atom', 659532, 659636).
1273
function('PL_is_string', 659639, 659750).
1274
function('PL_is_integer', 659753, 659869).
1275
function('PL_is_float', 659872, 659979).
1276
function('PL_is_compound', 659982, 660106).
1277
function('PL_is_functor', 660109, 660419).
1278
function('PL_is_list', 660422, 660571).
1279
function('PL_is_atomic', 660574, 660710).
1280
function('PL_is_number', 660713, 660835).
1281
function('PL_is_acyclic', 660838, 660972).
1282
function('PL_get_atom', 661263, 661784).
1283
function('PL_get_atom_chars', 661787, 662185).
1284
function('PL_get_string_chars', 662188, 662692).
1285
function('PL_get_chars', 662695, 666171).
1286
function('PL_get_list_chars', 666174, 666452).
1287
function('PL_get_integer', 666455, 666749).
1288
function('PL_get_long', 666752, 667175).
1289
function('PL_get_int64', 667178, 667547).
1290
function('PL_get_bool', 667550, 667779).
1291
function('PL_get_pointer', 667782, 668227).
1292
function('PL_get_float', 668230, 668393).
1293
function('PL_get_functor', 668396, 668703).
1294
function('PL_get_name_arity', 668706, 669048).
1295
function('PL_get_module', 669051, 669319).
1296
function('PL_get_arg', 669322, 669571).
1297
function('_PL_get_arg', 669574, 669848).
1298
function('PL_get_atom_nchars', 670360, 670533).
1299
function('PL_get_list_nchars', 670536, 670709).
1300
function('PL_get_nchars', 670712, 670919).
1301
function('PL_put_atom_nchars', 670922, 671105).
1302
function('PL_put_string_nchars', 671108, 671299).
1303
function('PL_put_list_ncodes', 671302, 671485).
1304
function('PL_put_list_nchars', 671488, 671671).
1305
function('PL_unify_atom_nchars', 671674, 671865).
1306
function('PL_unify_string_nchars', 671868, 672067).
1307
function('PL_unify_list_ncodes', 672070, 672256).
1308
function('PL_unify_list_nchars', 672259, 672542).
1309
function('PL_new_atom_nchars', 672545, 672748).
1310
function('PL_atom_nchars', 672751, 672906).
1311
function('PL_new_atom_wchars', 673644, 673984).
1312
function('PL_atom_wchars', 673987, 674567).
1313
function('PL_get_wchars', 674570, 674878).
1314
function('PL_unify_wchars', 674881, 675287).
1315
function('PL_unify_wchars_diff', 675290, 676000).
1316
function('PL_get_list', 676630, 676858).
1317
function('PL_get_head', 676861, 677031).
1318
function('PL_get_tail', 677034, 677204).
1319
function('PL_get_nil', 677207, 677310).
1320
function('PL_put_variable', 679115, 679473).
1321
function('PL_put_atom', 679476, 679680).
1322
function('PL_put_atom_chars', 679683, 679983).
1323
function('PL_put_string_chars', 679986, 680249).
1324
function('PL_put_string_nchars', 680252, 680632).
1325
function('PL_put_list_chars', 680635, 680824).
1326
function('PL_put_integer', 680827, 680970).
1327
function('PL_put_int64', 680973, 681119).
1328
function('PL_put_pointer', 681122, 681364).
1329
function('PL_put_float', 681367, 681516).
1330
function('PL_put_functor', 681519, 681935).
1331
function('PL_put_list', 681938, 682072).
1332
function('PL_put_nil', 682075, 682175).
1333
function('PL_put_term', 682178, 682329).
1334
function('PL_cons_functor', 682332, 683173).
1335
function('PL_cons_functor_v', 683176, 683564).
1336
function('PL_cons_list', 683567, 684327).
1337
function('PL_unify', 685372, 685522).
1338
function('PL_unify_atom', 685525, 685686).
1339
function('PL_unify_chars', 685689, 686701).
1340
function('PL_unify_atom_chars', 686704, 686942).
1341
function('PL_unify_list_chars', 686945, 687165).
1342
function('PL_unify_string_chars', 687168, 687503).
1343
function('PL_unify_string_nchars', 687506, 687919).
1344
function('PL_unify_integer', 687922, 688068).
1345
function('PL_unify_int64', 688071, 688220).
1346
function('PL_unify_float', 688223, 688367).
1347
function('PL_unify_pointer', 688370, 688597).
1348
function('PL_unify_functor', 688600, 688962).
1349
function('PL_unify_list', 688965, 690242).
1350
function('PL_unify_nil', 690245, 690345).
1351
function('PL_unify_arg', 690348, 690551).
1352
function('PL_unify_term', 690554, 696645).
1353
function('PL_chars_to_term', 696648, 697644).
1354
function('PL_quote', 697647, 698246).
1355
function('PL_unregister_blob_type', 703112, 703701).
1356
function('PL_is_blob', 704018, 704236).
1357
function('PL_unify_blob', 704239, 704561).
1358
function('PL_put_blob', 704564, 705203).
1359
function('PL_get_blob', 705206, 705583).
1360
function('PL_blob_data', 705586, 705906).
1361
function('PL_get_mpz', 707680, 708125).
1362
function('PL_get_mpq', 708128, 708644).
1363
function('PL_unify_mpz', 708647, 708886).
1364
function('PL_unify_mpq', 708889, 709209).
1365
function('PL_pred', 710224, 710604).
1366
function('PL_predicate', 710607, 710877).
1367
function('PL_predicate_info', 710880, 711460).
1368
function('PL_open_query', 712131, 714659).
1369
function('PL_next_solution', 714662, 715020).
1370
function('PL_cut_query', 715023, 715265).
1371
function('PL_close_query', 715268, 715421).
1372
function('PL_call_predicate', 715424, 715844).
1373
function('PL_call', 715847, 716262).
1374
function('PL_open_foreign_frame', 716681, 717060).
1375
function('PL_close_foreign_frame', 717063, 717376).
1376
function('PL_discard_foreign_frame', 717379, 717603).
1377
function('PL_rewind_foreign_frame', 717606, 718573).
1378
function('PL_context', 718786, 718931).
1379
function('PL_strip_module', 718934, 719964).
1380
function('PL_module_name', 719967, 720097).
1381
function('PL_new_module', 720100, 720278).
1382
function('PL_raise_exception', 723246, 723920).
1383
function('PL_throw', 723923, 724124).
1384
function('PL_exception', 724127, 724487).
1385
function('PL_signal', 725459, 727021).
1386
function('PL_raise', 727024, 727300).
1387
function('PL_handle_signals', 727303, 727958).
1388
function('PL_compare', 728095, 728296).
1389
function('PL_same_compound', 728299, 728514).
1390
function('PL_record', 729352, 729684).
1391
function('PL_recorded', 729687, 729987).
1392
function('PL_erase', 729990, 731584).
1393
function('PL_record_external', 731587, 732250).
1394
function('PL_recorded_external', 732253, 732604).
1395
function('PL_erase_external', 732607, 732805).
1396
function('PL_get_file_name', 733177, 734407).
1397
function('PL_warning', 734721, 735080).
1398
function('PL_action', 735209, 738755).
1399
function('PL_query', 738824, 740967).
1400
function('PL_register_foreign_in_module', 741079, 743889).
1401
function('PL_register_foreign', 743892, 744215).
1402
function('PL_register_extensions_in_module', 744218, 745545).
1403
function('PL_register_extensions', 745548, 745768).
1404
function('PL_dispatch_hook', 745903, 746506).
1405
function('PL_abort_hook', 746509, 746981).
1406
function('PL_abort_unhook', 746984, 747196).
1407
function('PL_on_halt', 747199, 747662).
1408
function('PL_agc_hook', 747665, 748713).
1409
function('PL_initialise', 757491, 759764).
1410
function('PL_is_initialised', 759767, 760222).
1411
function('PL_install_readline', 760225, 760548).
1412
function('PL_toplevel', 760551, 760706).
1413
function('PL_cleanup', 760709, 761446).
1414
function('PL_halt', 761449, 761762).
1415
function('PL_malloc', 775096, 775435).
1416
function('PL_realloc', 775438, 775713).
1417
function('PL_free', 775716, 775887).
1418
function('PL_license', 965945, 966235).
1244
function('PL_thread_self', 617076, 617360).
1245
function('PL_thread_attach_engine', 617363, 618781).
1246
function('PL_thread_destroy_engine', 618784, 619397).
1247
function('PL_thread_at_exit', 619400, 620140).
1248
function('PL_create_engine', 621769, 622354).
1249
function('PL_destroy_engine', 622357, 622698).
1250
function('PL_set_engine', 622701, 624073).
1251
function('PL_new_term_ref', 642692, 643065).
1252
function('PL_new_term_refs', 643068, 643628).
1253
function('PL_copy_term_ref', 643631, 643928).
1254
function('PL_reset_term_refs', 643931, 644612).
1255
function('PL_succeed', 648606, 648766).
1256
function('PL_fail', 648769, 648941).
1257
function('PL_retry', 651248, 651807).
1258
function('PL_retry_address', 651810, 652141).
1259
function('PL_foreign_control', 652144, 652509).
1260
function('PL_foreign_context', 652512, 652877).
1261
function('PL_foreign_context_address', 652880, 654022).
1262
function('PL_new_atom', 654179, 654438).
1263
function('PL_atom_chars', 654441, 655014).
1264
function('PL_new_functor', 655017, 655303).
1265
function('PL_functor_name', 655306, 655455).
1266
function('PL_functor_arity', 655458, 655587).
1267
function('PL_register_atom', 656232, 656493).
1268
function('PL_unregister_atom', 656496, 657095).
1269
function('PL_term_type', 657945, 659760).
1270
function('PL_is_variable', 659763, 659882).
1271
function('PL_is_ground', 659885, 660060).
1272
function('PL_is_atom', 660063, 660167).
1273
function('PL_is_string', 660170, 660281).
1274
function('PL_is_integer', 660284, 660400).
1275
function('PL_is_float', 660403, 660510).
1276
function('PL_is_compound', 660513, 660637).
1277
function('PL_is_functor', 660640, 660950).
1278
function('PL_is_list', 660953, 661102).
1279
function('PL_is_atomic', 661105, 661241).
1280
function('PL_is_number', 661244, 661366).
1281
function('PL_is_acyclic', 661369, 661503).
1282
function('PL_get_atom', 661794, 662315).
1283
function('PL_get_atom_chars', 662318, 662716).
1284
function('PL_get_string_chars', 662719, 663223).
1285
function('PL_get_chars', 663226, 666702).
1286
function('PL_get_list_chars', 666705, 666983).
1287
function('PL_get_integer', 666986, 667280).
1288
function('PL_get_long', 667283, 667706).
1289
function('PL_get_int64', 667709, 668078).
1290
function('PL_get_bool', 668081, 668310).
1291
function('PL_get_pointer', 668313, 668758).
1292
function('PL_get_float', 668761, 668924).
1293
function('PL_get_functor', 668927, 669234).
1294
function('PL_get_name_arity', 669237, 669579).
1295
function('PL_get_module', 669582, 669850).
1296
function('PL_get_arg', 669853, 670102).
1297
function('_PL_get_arg', 670105, 670379).
1298
function('PL_get_atom_nchars', 670891, 671064).
1299
function('PL_get_list_nchars', 671067, 671240).
1300
function('PL_get_nchars', 671243, 671450).
1301
function('PL_put_atom_nchars', 671453, 671636).
1302
function('PL_put_string_nchars', 671639, 671830).
1303
function('PL_put_list_ncodes', 671833, 672016).
1304
function('PL_put_list_nchars', 672019, 672202).
1305
function('PL_unify_atom_nchars', 672205, 672396).
1306
function('PL_unify_string_nchars', 672399, 672598).
1307
function('PL_unify_list_ncodes', 672601, 672787).
1308
function('PL_unify_list_nchars', 672790, 673073).
1309
function('PL_new_atom_nchars', 673076, 673279).
1310
function('PL_atom_nchars', 673282, 673437).
1311
function('PL_new_atom_wchars', 674175, 674515).
1312
function('PL_atom_wchars', 674518, 675098).
1313
function('PL_get_wchars', 675101, 675409).
1314
function('PL_unify_wchars', 675412, 675818).
1315
function('PL_unify_wchars_diff', 675821, 676531).
1316
function('PL_get_list', 677161, 677389).
1317
function('PL_get_head', 677392, 677562).
1318
function('PL_get_tail', 677565, 677735).
1319
function('PL_get_nil', 677738, 677841).
1320
function('PL_put_variable', 679646, 680004).
1321
function('PL_put_atom', 680007, 680211).
1322
function('PL_put_atom_chars', 680214, 680514).
1323
function('PL_put_string_chars', 680517, 680780).
1324
function('PL_put_string_nchars', 680783, 681163).
1325
function('PL_put_list_chars', 681166, 681355).
1326
function('PL_put_integer', 681358, 681501).
1327
function('PL_put_int64', 681504, 681650).
1328
function('PL_put_pointer', 681653, 681895).
1329
function('PL_put_float', 681898, 682047).
1330
function('PL_put_functor', 682050, 682466).
1331
function('PL_put_list', 682469, 682603).
1332
function('PL_put_nil', 682606, 682706).
1333
function('PL_put_term', 682709, 682860).
1334
function('PL_cons_functor', 682863, 683704).
1335
function('PL_cons_functor_v', 683707, 684095).
1336
function('PL_cons_list', 684098, 684858).
1337
function('PL_unify', 685903, 686053).
1338
function('PL_unify_atom', 686056, 686217).
1339
function('PL_unify_chars', 686220, 687232).
1340
function('PL_unify_atom_chars', 687235, 687473).
1341
function('PL_unify_list_chars', 687476, 687696).
1342
function('PL_unify_string_chars', 687699, 688034).
1343
function('PL_unify_string_nchars', 688037, 688450).
1344
function('PL_unify_integer', 688453, 688599).
1345
function('PL_unify_int64', 688602, 688751).
1346
function('PL_unify_float', 688754, 688898).
1347
function('PL_unify_pointer', 688901, 689128).
1348
function('PL_unify_functor', 689131, 689493).
1349
function('PL_unify_list', 689496, 690773).
1350
function('PL_unify_nil', 690776, 690876).
1351
function('PL_unify_arg', 690879, 691082).
1352
function('PL_unify_term', 691085, 697176).
1353
function('PL_chars_to_term', 697179, 698175).
1354
function('PL_quote', 698178, 698777).
1355
function('PL_unregister_blob_type', 703643, 704232).
1356
function('PL_is_blob', 704549, 704767).
1357
function('PL_unify_blob', 704770, 705092).
1358
function('PL_put_blob', 705095, 705734).
1359
function('PL_get_blob', 705737, 706114).
1360
function('PL_blob_data', 706117, 706437).
1361
function('PL_get_mpz', 708211, 708656).
1362
function('PL_get_mpq', 708659, 709175).
1363
function('PL_unify_mpz', 709178, 709417).
1364
function('PL_unify_mpq', 709420, 709740).
1365
function('PL_pred', 710755, 711135).
1366
function('PL_predicate', 711138, 711408).
1367
function('PL_predicate_info', 711411, 711991).
1368
function('PL_open_query', 712662, 715190).
1369
function('PL_next_solution', 715193, 715551).
1370
function('PL_cut_query', 715554, 715796).
1371
function('PL_close_query', 715799, 715952).
1372
function('PL_call_predicate', 715955, 716375).
1373
function('PL_call', 716378, 716793).
1374
function('PL_open_foreign_frame', 717212, 717591).
1375
function('PL_close_foreign_frame', 717594, 717907).
1376
function('PL_discard_foreign_frame', 717910, 718134).
1377
function('PL_rewind_foreign_frame', 718137, 719104).
1378
function('PL_context', 719317, 719462).
1379
function('PL_strip_module', 719465, 720495).
1380
function('PL_module_name', 720498, 720628).
1381
function('PL_new_module', 720631, 720809).
1382
function('PL_raise_exception', 723777, 724451).
1383
function('PL_throw', 724454, 724655).
1384
function('PL_exception', 724658, 725018).
1385
function('PL_signal', 725990, 727552).
1386
function('PL_raise', 727555, 727831).
1387
function('PL_handle_signals', 727834, 728489).
1388
function('PL_get_signum_ex', 728492, 728942).
1389
function('PL_compare', 729079, 729280).
1390
function('PL_same_compound', 729283, 729498).
1391
function('PL_record', 730336, 730668).
1392
function('PL_recorded', 730671, 730971).
1393
function('PL_erase', 730974, 732568).
1394
function('PL_record_external', 732571, 733234).
1395
function('PL_recorded_external', 733237, 733588).
1396
function('PL_erase_external', 733591, 733789).
1397
function('PL_get_file_name', 734161, 735391).
1398
function('PL_warning', 735705, 736064).
1399
function('PL_action', 736193, 739739).
1400
function('PL_query', 739808, 741951).
1401
function('PL_register_foreign_in_module', 742063, 744873).
1402
function('PL_register_foreign', 744876, 745199).
1403
function('PL_register_extensions_in_module', 745202, 746529).
1404
function('PL_register_extensions', 746532, 746752).
1405
function('PL_dispatch_hook', 746887, 747490).
1406
function('PL_abort_hook', 747493, 747965).
1407
function('PL_abort_unhook', 747968, 748180).
1408
function('PL_on_halt', 748183, 748646).
1409
function('PL_agc_hook', 748649, 749697).
1410
function('PL_initialise', 758475, 760748).
1411
function('PL_is_initialised', 760751, 761206).
1412
function('PL_install_readline', 761209, 761532).
1413
function('PL_toplevel', 761535, 761690).
1414
function('PL_cleanup', 761693, 762430).
1415
function('PL_cleanup_fork', 762433, 762924).
1416
function('PL_halt', 762927, 763240).
1417
function('PL_malloc', 776620, 776959).
1418
function('PL_realloc', 776962, 777237).
1419
function('PL_free', 777240, 777411).
1420
function('PL_license', 967814, 968104).
1419
1421
1420
1422
Loggerhead is a web-based interface for Breezy
Version: 2.0.1