1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
|
module_io
predicate_io_xwait__and__print_4
predicate_io_xwaitAll_5
predicate_io_xtestok_2
predicate_io_xputs_5
predicate_io_xoutstreamq_2
predicate_io_xoutstream_2
predicate_io_xoutstream_1
predicate_io_xout_2
predicate_io_xinstreamq_2
predicate_io_xinstream_2
predicate_io_xinstream_1
predicate_io_xin_2
predicate_io_xerrstream_1
module_unix
predicate_unix_xwrite__open_2
predicate_unix_xupdate__open_2
predicate_unix_xunlink_2
predicate_unix_xunix_1
predicate_unix_xumask_2
predicate_unix_xumask_1
predicate_unix_xtimes_4
predicate_unix_xsystem_2
predicate_unix_xstdout_1
predicate_unix_xstdio_1
predicate_unix_xstdin_1
predicate_unix_xstderr_1
predicate_unix_xsignal__stream_3
predicate_unix_xsignal__stream_2
predicate_unix_xread__open_2
predicate_unix_xputenv_2
predicate_unix_xpipe_1
predicate_unix_xnet__convert_3
predicate_unix_xmktemp_2
predicate_unix_xmake__argv__list_3
predicate_unix_xkill_3
predicate_unix_xgetenv_2
predicate_unix_xfork__with__pipes_2F1_240_6
predicate_unix_xfork__with__pipes_1
predicate_unix_xfork_1
predicate_unix_xexit_1
predicate_unix_xdummy_0
predicate_unix_xcont_3
predicate_unix_xconnect__sub_5
predicate_unix_xconnect__sub_4
predicate_unix_xconnect_4
predicate_unix_xconnect_2
predicate_unix_xchmod_3
predicate_unix_xcd_2
predicate_unix_xbound__sock_4
predicate_unix_xbind_4
predicate_unix_xbind_2
predicate_unix_xasync__io_5
predicate_unix_xargv_1
predicate_unix_xargc_1
predicate_unix_xappend__open_2
predicate_unix_xaccess_3
ref_class_file__io
ref_class_byte__string
ref_class_vector
ref_module_timer
module_builtin
predicate_builtin_xstart__measure_0
predicate_builtin_xreport__measure_1
predicate_builtin_xreadint_1
predicate_builtin_xputc_2
predicate_builtin_xprint_2
predicate_builtin_xprint_1
predicate_builtin_xidle_0
predicate_builtin_xcurrent__node_2
module_timer
predicate_timer_xtimer__loop_5
predicate_timer_xsub_3
predicate_timer_xinstantiate__every_3
predicate_timer_xinstantiate__at_2
predicate_timer_xinstantiate__after_3
predicate_timer_xinstantiate__after_2
predicate_timer_xget__time__of__day_1
predicate_timer_xcompare_3
predicate_timer_xadd_3
ref_module_timer
module_comparator
predicate_comparator_xsort_5
module_splay__tree
predicate_splay__tree_xupdate__right_2F11_240_15
predicate_splay__tree_xupdate__right_11
predicate_splay__tree_xupdate__left_2F11_240_15
predicate_splay__tree_xupdate__left_11
predicate_splay__tree_xupdate_8
predicate_splay__tree_xupdate_6
predicate_splay__tree_xupdate_5
predicate_splay__tree_xupdate_2F8_240_12
predicate_splay__tree_xreform__tree_3
predicate_splay__tree_xrefer_5
predicate_splay__tree_xput_4
predicate_splay__tree_xget__min__sub_4
predicate_splay__tree_xget__min_4
predicate_splay__tree_xget__max__sub_4
predicate_splay__tree_xget__max_4
predicate_splay__tree_xget__all__sub_3
predicate_splay__tree_xget__all_3
predicate_splay__tree_xget_5
predicate_splay__tree_xget_4
predicate_splay__tree_xget_2F5_241_3
predicate_splay__tree_xget_2F5_240_9
predicate_splay__tree_xempty__sub_4
predicate_splay__tree_xempty__sub_2F4_240_6
predicate_splay__tree_xempty_4
predicate_splay__tree_xempty_3
predicate_splay__tree_xempty_2F3_240_3
predicate_splay__tree_xdefault__comparator_1
predicate_splay__tree_xcreate_2
predicate_splay__tree_xcreate_1
ref_class_predicate
ref_module_comparator
module_keyed__sorted__set
predicate_keyed__sorted__set_xmessage_3
predicate_keyed__sorted__set_xmessage_2F3_246_5
predicate_keyed__sorted__set_xmessage_2F3_245_5
predicate_keyed__sorted__set_xmessage_2F3_244_5
predicate_keyed__sorted__set_xmessage_2F3_243_6
predicate_keyed__sorted__set_xmessage_2F3_242_7
predicate_keyed__sorted__set_xmessage_2F3_241_4
predicate_keyed__sorted__set_xmessage_2F3_240_4
predicate_keyed__sorted__set_xmain_3
predicate_keyed__sorted__set_xcreate_2
predicate_keyed__sorted__set_xcreate_1
predicate_keyed__sorted__set_xconvert_2
ref_class_vector
ref_module_splay__tree
module_keyed__set
predicate_keyed__set_xcreate_3
predicate_keyed__set_xcreate_2
predicate_keyed__set_xcreate_1
ref_module_keyed__sorted__set
module_keyed__sorted__bag
predicate_keyed__sorted__bag_xmessage_3
predicate_keyed__sorted__bag_xmessage_2F3_247_5
predicate_keyed__sorted__bag_xmessage_2F3_246_4
predicate_keyed__sorted__bag_xmessage_2F3_245_5
predicate_keyed__sorted__bag_xmessage_2F3_244_5
predicate_keyed__sorted__bag_xmessage_2F3_243_6
predicate_keyed__sorted__bag_xmessage_2F3_242_7
predicate_keyed__sorted__bag_xmessage_2F3_241_4
predicate_keyed__sorted__bag_xmessage_2F3_241_2F4_240_4
predicate_keyed__sorted__bag_xmessage_2F3_240_4
predicate_keyed__sorted__bag_xmessage_2F3_240_2F4_240_4
predicate_keyed__sorted__bag_xmain_3
predicate_keyed__sorted__bag_xlast__elem_3
predicate_keyed__sorted__bag_xflatten_4
predicate_keyed__sorted__bag_xflatten_2
predicate_keyed__sorted__bag_xcreate_2
predicate_keyed__sorted__bag_xcreate_1
predicate_keyed__sorted__bag_xappend_3
ref_class_vector
ref_module_splay__tree
module_keyed__bag
predicate_keyed__bag_xcreate_3
predicate_keyed__bag_xcreate_2
predicate_keyed__bag_xcreate_1
ref_module_keyed__sorted__bag
module_sorted__bag
predicate_sorted__bag_xmessage_3
predicate_sorted__bag_xmessage_2F3_243_4
predicate_sorted__bag_xmessage_2F3_242_4
predicate_sorted__bag_xmessage_2F3_242_2F4_240_4
predicate_sorted__bag_xmessage_2F3_241_4
predicate_sorted__bag_xmessage_2F3_241_2F4_240_4
predicate_sorted__bag_xmessage_2F3_240_4
predicate_sorted__bag_xmessage_2F3_240_2F4_240_4
predicate_sorted__bag_xmain_3
predicate_sorted__bag_xlast__elem_3
predicate_sorted__bag_xflatten_4
predicate_sorted__bag_xflatten_2
predicate_sorted__bag_xcreate_2
predicate_sorted__bag_xcreate_1
predicate_sorted__bag_xappend_3
ref_class_vector
ref_module_splay__tree
module_bag
predicate_bag_xcreate_1
ref_module_sorted__bag
module_queue
predicate_queue_xmessage_7
predicate_queue_xmain_5
predicate_queue_xget__all_4
predicate_queue_xdlist_3
predicate_queue_xcreate_1
ref_class_vector
module_stack
predicate_stack_xmessage_3
predicate_stack_xmain_3
predicate_stack_xcreate_1
ref_class_vector
module_unparser
predicate_unparser_xunwparse__cons_5
predicate_unparser_xunwparse__cdr_5
predicate_unparser_xunwparse_6
predicate_unparser_xunwparse_4
predicate_unparser_xunscan__after__op_4
predicate_unparser_xunscan_4
predicate_unparser_xunparse__with__op_10
predicate_unparser_xunparse__vector_5
predicate_unparser_xunparse__vecelems_7
predicate_unparser_xunparse__string_3
predicate_unparser_xunparse__int_3
predicate_unparser_xunparse__general_6
predicate_unparser_xunparse__float_3
predicate_unparser_xunparse__elems_7
predicate_unparser_xunparse__cons_5
predicate_unparser_xunparse__comma__list__elem_5
predicate_unparser_xunparse__cdr_5
predicate_unparser_xunparse__bin__op_3
predicate_unparser_xunparse__atom_3
predicate_unparser_xunparse_6
predicate_unparser_xunparse_4
predicate_unparser_xstr__elem__chars_3
predicate_unparser_xstr__chars_5
predicate_unparser_xquoted__atom__chars_4
predicate_unparser_xquoted__atom__chars_2F4_240_3
predicate_unparser_xmax__op_4
predicate_unparser_xmax_3
predicate_unparser_xmake__atom__string_4
predicate_unparser_xjudge__quoted_6
predicate_unparser_xint__chars_3
predicate_unparser_xins__if__greater__than_5
predicate_unparser_xins__backslash_3
predicate_unparser_xfirst__char__kind_2
predicate_unparser_xfind__operator_3
predicate_unparser_xdelimit_4
predicate_unparser_xchartype_2F2_240_2
predicate_unparser_xchartype_2
predicate_unparser_xchar__kind_2
predicate_unparser_xcall__unparser_6
predicate_unparser_xatom__kind_3
predicate_unparser_xatom__kind_2F3_240_4
ref_class_byte__string
ref_class_predicate
ref_class_string
ref_module_scanner
ref_module_atom__table
ref_module_functor__table
ref_module_generic
ref_module_unparser
module_klicio
predicate_klicio_xupdt_3
predicate_klicio_xupdate__lc_3
predicate_klicio_xtermupdt_2
predicate_klicio_xtermout_2
predicate_klicio_xtermin_2
predicate_klicio_xstring__output_4
predicate_klicio_xstring__input_5
predicate_klicio_xset__string__elements_6
predicate_klicio_xsend__unix_3
predicate_klicio_xrmop_4
predicate_klicio_xrmop2_4
predicate_klicio_xoutput__stream_2
predicate_klicio_xout_3
predicate_klicio_xklicio_2
predicate_klicio_xklicio_1
predicate_klicio_xin_3
predicate_klicio_xfill__string_4
predicate_klicio_xdefault__operator__table_1
predicate_klicio_xcompute__string__length_3
predicate_klicio_xclose__unix_1
predicate_klicio_xaddop_5
predicate_klicio_xaddop2_5
ref_class_string
ref_module_klic__reader
ref_module_klicio
ref_module_integer__arithmetics
ref_module_unparser
ref_module_unix
module_variable
predicate_variable_xwrap__vec__elems_4
predicate_variable_xwrap__funct__elems_6
predicate_variable_xwrap__bound_2
predicate_variable_xwrap_2F2_240_3
predicate_variable_xwrap_2
predicate_variable_xunwrap__vector_6
predicate_variable_xunwrap__functor_8
predicate_variable_xunwrap_4
predicate_variable_xunwrap_3
predicate_variable_xunwrap_2
predicate_variable_xunbound_2
predicate_variable_xget__variable_4
predicate_variable_xget__variable2_4
ref_class_byte__string
ref_module_functor__table
ref_module_integer__arithmetics
ref_module_variable
module_klic__reader
predicate_klic__reader_xwrite__tokens_4
predicate_klic__reader_xwrite__string_3
predicate_klic__reader_xwrite__one__token_3
predicate_klic__reader_xwrite__number_3
predicate_klic__reader_xwrite__decimal_3
predicate_klic__reader_xwrite__char_3
predicate_klic__reader_xwrite__atom_3
predicate_klic__reader_xwparse__one__term__reporting__errors_4
predicate_klic__reader_xwparse__one__term__reporting__errors_2F4_240_8
predicate_klic__reader_xreport__syntax__error_7
predicate_klic__reader_xreport__syntax__error_2F7_240_2
predicate_klic__reader_xparse__one__term__reporting__errors_4
predicate_klic__reader_xparse__one__term__reporting__errors_2F4_240_8
predicate_klic__reader_xlength_3
predicate_klic__reader_xlength_2
predicate_klic__reader_xblank_2
ref_class_byte__string
ref_module_atom__table
ref_module_parser
ref_module_scanner
ref_module_integer__arithmetics
ref_module_unix
module_scanner
predicate_scanner_xungetc_3
predicate_scanner_xscan__unsigned__exponent_9
predicate_scanner_xscan__string_8
predicate_scanner_xscan__string_2F8_240_8
predicate_scanner_xscan__sname_7
predicate_scanner_xscan__rest_4
predicate_scanner_xscan__octal__escape__2_9
predicate_scanner_xscan__octal__escape__2_2F9_240_9
predicate_scanner_xscan__octal__escape_9
predicate_scanner_xscan__number_9
predicate_scanner_xscan__number_2F9_241_8
predicate_scanner_xscan__number_2F9_240_9
predicate_scanner_xscan__name_7
predicate_scanner_xscan__hex__escape_9
predicate_scanner_xscan__fraction_9
predicate_scanner_xscan__fraction_2F9_240_11
predicate_scanner_xscan__exponent_9
predicate_scanner_xscan__escape_8
predicate_scanner_xscan__comment__line_5
predicate_scanner_xscan__comment_5
predicate_scanner_xscan__comment_2F5_240_5
predicate_scanner_xscan__based__number_9
predicate_scanner_xscan__based__number_2F9_242_9
predicate_scanner_xscan__based__number_2F9_241_9
predicate_scanner_xscan__based__number_2F9_240_9
predicate_scanner_xscan__after__atom_8
predicate_scanner_xscan_6
predicate_scanner_xscan_3
predicate_scanner_xscan_2F6_243_7
predicate_scanner_xscan_2F6_243_2F7_240_7
predicate_scanner_xscan_2F6_242_8
predicate_scanner_xscan_2F6_241_8
predicate_scanner_xscan_2F6_240_6
predicate_scanner_xmake__new__string_2
predicate_scanner_xlookup__var_8
predicate_scanner_xgetchar_4
predicate_scanner_xget0_3
predicate_scanner_xfinalize__vars_2F1_240_2
predicate_scanner_xfinalize__vars_1
predicate_scanner_xescape__char_2
predicate_scanner_xchartype_2
predicate_scanner_xchar__list__to__int_3
predicate_scanner_xchar__list__to__float_3
predicate_scanner_xatom__chars_2
ref_class_byte__string
ref_class_float
ref_class_string
ref_class_vector
ref_module_atom__table
ref_module_integer__arithmetics
module_parser
predicate_parser_xwrap__list_2
predicate_parser_xwrap__functor_2
predicate_parser_xwrap__functor1_2
predicate_parser_xwparse_5
predicate_parser_xwparse_4
predicate_parser_xwparse_3
predicate_parser_xwparse_2F5_244_5
predicate_parser_xwparse_2F5_244_2F5_242_2
predicate_parser_xwparse_2F5_244_2F5_241_5
predicate_parser_xwparse_2F5_244_2F5_240_6
predicate_parser_xwparse_2F5_244_2F5_240_2F6_240_6
predicate_parser_xwparse_2F5_243_5
predicate_parser_xwparse_2F5_242_4
predicate_parser_xwparse_2F5_242_2F4_240_4
predicate_parser_xwparse_2F5_241_4
predicate_parser_xwparse_2F5_241_2F4_240_4
predicate_parser_xwparse_2F5_240_4
predicate_parser_xwparse_2F5_240_2F4_240_5
predicate_parser_xwait__parse_2F2_240_2
predicate_parser_xwait__parse_2
predicate_parser_xunwrap_2
predicate_parser_xselect__better_3
predicate_parser_xselect__better_2F3_241_4
predicate_parser_xselect__better_2F3_240_4
predicate_parser_xprefixop_4
predicate_parser_xprefixop_2F4_240_4
predicate_parser_xpostfixop_5
predicate_parser_xpostfixop_2F5_240_5
predicate_parser_xparse__comma__list_8
predicate_parser_xparse__comma__list_6
predicate_parser_xparse__comma__list_2F8_240_8
predicate_parser_xparse__comma__list_2F8_240_2F8_240_8
predicate_parser_xparse__comma__list_2F8_240_2F8_240_2F8_240_5
predicate_parser_xparse__comma__list_2F8_240_2F8_240_2F8_240_2F5_240_4
predicate_parser_xparse_3
predicate_parser_xlookup__op_4
predicate_parser_xlonger_3
predicate_parser_xlist__to__comma__list_2
predicate_parser_xlast__check_2
predicate_parser_xinfixop_5
predicate_parser_xinfixop_2F5_240_5
predicate_parser_xafter__term_6
predicate_parser_xafter__term_2F6_242_8
predicate_parser_xafter__term_2F6_242_2F8_241_7
predicate_parser_xafter__term_2F6_242_2F8_240_9
predicate_parser_xafter__term_2F6_242_2F8_240_2F9_240_7
predicate_parser_xafter__term_2F6_241_5
predicate_parser_xafter__term_2F6_240_5
ref_class_byte__string
ref_class_float
ref_class_vector
ref_module_functor__table
ref_module_variable
module_system__control
predicate_system__control_xregister__postmortem_3
predicate_system__control_xpostmortem_3
predicate_system__control_xgc_2
predicate_system__control_xafter__gc_1
ref_class_predicate
ref_class_module
module_unify__term__dcode
predicate_unify__term__dcode_xunify__pf_2
predicate_unify__term__dcode_xunify__goal_2
predicate_unify__term__dcode_xunify__args_3
predicate_unify__term__dcode_xunify_2
module_floating__arithmetics
predicate_floating__arithmetics_xfloating__point__to__integer_2
predicate_floating__arithmetics_xfloating__point__tanh_2
predicate_floating__arithmetics_xfloating__point__tan_2
predicate_floating__arithmetics_xfloating__point__subtract_3
predicate_floating__arithmetics_xfloating__point__sqrt_2
predicate_floating__arithmetics_xfloating__point__sinh_2
predicate_floating__arithmetics_xfloating__point__sin_2
predicate_floating__arithmetics_xfloating__point__power_3
predicate_floating__arithmetics_xfloating__point__multiply_3
predicate_floating__arithmetics_xfloating__point__log_2
predicate_floating__arithmetics_xfloating__point__floor_2
predicate_floating__arithmetics_xfloating__point__exp_2
predicate_floating__arithmetics_xfloating__point__divide_3
predicate_floating__arithmetics_xfloating__point__cosh_2
predicate_floating__arithmetics_xfloating__point__cos_2
predicate_floating__arithmetics_xfloating__point__ceil_2
predicate_floating__arithmetics_xfloating__point__atan_2
predicate_floating__arithmetics_xfloating__point__asin_2
predicate_floating__arithmetics_xfloating__point__add_3
predicate_floating__arithmetics_xfloating__point__acos_2
module_integer__arithmetics
predicate_integer__arithmetics_xsubtract_3
predicate_integer__arithmetics_xshift__right_3
predicate_integer__arithmetics_xshift__left_3
predicate_integer__arithmetics_xplus_2
predicate_integer__arithmetics_xor_3
predicate_integer__arithmetics_xmultiply_3
predicate_integer__arithmetics_xmodulo_3
predicate_integer__arithmetics_xminus_2
predicate_integer__arithmetics_xexclusive__or_3
predicate_integer__arithmetics_xdivide_3
predicate_integer__arithmetics_xcomplement_2
predicate_integer__arithmetics_xand_3
predicate_integer__arithmetics_xadd_3
module_generic
predicate_generic_xnew_3
predicate_generic_xgeneric_2
module_gcmerge
predicate_gcmerge_xin_4
module_functor__table
predicate_functor__table_xsetarg_5
predicate_functor__table_xsetarg_4
predicate_functor__table_xnew__functor_3
predicate_functor__table_xlength_3
predicate_functor__table_xfunctor_4
predicate_functor__table_xfunctor_3
predicate_functor__table_xfill__args_4
predicate_functor__table_xarg_4
predicate_functor__table_xarg_3
predicate_functor__table_x_3D_2E_2E_2
ref_module_functor__table
module_atom__table
predicate_atom__table_xset__atom__string_5
predicate_atom__table_xmake__atom_2
predicate_atom__table_xintern_2
predicate_atom__table_xget__atom__string_2
predicate_atom__table_xget__atom__name_2
predicate_atom__table_xcache__table_1
predicate_atom__table_xatom__number_2
ref_class_byte__string
ref_class_string
class_random__numbers
class_pointer
class_goal
class_module
class_predicate
ref_class_module
ref_class_vector
class_merge
ref_class_vector
ref_module_gcmerge
class_float
ref_class_byte__string
class_termarray
class_string
class_byte__string
class_file__io
ref_class_pointer
ref_class_byte__string
class_vector
|
