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
|
module_klic__comp__macro
predicate_klic__comp__macro_xmacro_2
predicate_klic__comp__macro_xmacro_3
predicate_klic__comp__macro_xmacro__1_4
predicate_klic__comp__macro_xexp__one__clause_5
predicate_klic__comp__macro_xdlclause_9
predicate_klic__comp__macro_xdlclause__1_9
predicate_klic__comp__macro_xinitialize__info_7
predicate_klic__comp__macro_xinitialize__info__1_10
predicate_klic__comp__macro_xdlgoals_7
predicate_klic__comp__macro_xdlor_8
predicate_klic__comp__macro_xmerge__vinfo_5
predicate_klic__comp__macro_xdlgoal_7
predicate_klic__comp__macro_xdl__compute_9
predicate_klic__comp__macro_xdl__update_12
predicate_klic__comp__macro_xdl__common_9
predicate_klic__comp__macro_xdlgoal__atom_3
predicate_klic__comp__macro_xdlappend__args_3
predicate_klic__comp__macro_xdlappend__args_2F3_240_4
predicate_klic__comp__macro_xupdate__info_6
predicate_klic__comp__macro_xupdate__info__1_9
predicate_klic__comp__macro_xreplace__vars_3
predicate_klic__comp__macro_xreplace__vars__1_3
predicate_klic__comp__macro_xreplace__vars__elems_3
predicate_klic__comp__macro_xcountvars_2
predicate_klic__comp__macro_xcountvars_3
predicate_klic__comp__macro_xfindvars_3
predicate_klic__comp__macro_xfindvars__elems_3
predicate_klic__comp__macro_xcountsame_5
predicate_klic__comp__macro_xfinalize__vars_4
predicate_klic__comp__macro_xexp__head_6
predicate_klic__comp__macro_xexp__head__and__guard__top_6
predicate_klic__comp__macro_xlinearize__guard_3
predicate_klic__comp__macro_xexp__guard_5
predicate_klic__comp__macro_xexp__body_9
predicate_klic__comp__macro_xexp__body__or_6
predicate_klic__comp__macro_xfind__interface__vars_3
predicate_klic__comp__macro_xfind__interface__vars__1_6
predicate_klic__comp__macro_xbody__or__clauses_6
predicate_klic__comp__macro_xbody__or__one_6
predicate_klic__comp__macro_xmacro__goal_8
predicate_klic__comp__macro_xmacro__goal__functor_8
predicate_klic__comp__macro_xmacro__goal__functor__cmp_9
predicate_klic__comp__macro_xmake__expanded__call_2
predicate_klic__comp__macro_xexpand__goal_3
predicate_klic__comp__macro_xcompar__macro_3
predicate_klic__comp__macro_xmacro__args_9
predicate_klic__comp__macro_xmacro__arg_9
predicate_klic__comp__macro_xmacro__arg__n_8
predicate_klic__comp__macro_xmacro__vector__elems_10
predicate_klic__comp__macro_xmacro__vec__elems_8
predicate_klic__comp__macro_xmacro__arg__functor_9
predicate_klic__comp__macro_xmacro__arg__functor__sharp_10
predicate_klic__comp__macro_xmacro__N__10_4
predicate_klic__comp__macro_xmacro__exp_6
predicate_klic__comp__macro_xmacro__arith__op_2
predicate_klic__comp__macro_xmacro__exp__1_7
predicate_klic__comp__macro_xmacro__exp__args_7
predicate_klic__comp__macro_xmacro__float__exp_6
predicate_klic__comp__macro_xmacro__float__op_2
predicate_klic__comp__macro_xmacro__float__exp__1_7
predicate_klic__comp__macro_xmacro__float__args_7
ref_module_integer__arithmetics
ref_module_functor__table
ref_module_klic__comp__util
ref_module_klic__comp__message
atom_vector
atom_string
atom_less__than
atom_not__less__than
atom_sin
atom_cos
atom_tan
atom_asin
atom_acos
atom_atan
atom_sinh
atom_cosh
atom_tanh
atom_exp
atom_log
atom_sqrt
atom_ceil
atom_floor
atom_plus
atom_minus
atom_add
atom_subtract
atom_multiply
atom_divide
atom_pow
atom_not__greater__than
atom_greater__than
atom_equal
atom_not__equal
atom_float
atom_module
atom_predicate
atom__2D
atom_no
atom_variable
atom__7E
atom__24_7E
atom__23
atom__2A
atom__2B
atom__2F
atom_builtin
atom_modulo
atom_and
atom_or
atom_exclusive__or
atom_shift__left
atom_shift__right
atom_complement
atom_floating__point__to__integer
atom_otherwise
atom_alternatively
atom_inline
atom_new
atom_generic
atom__24macroexpanded
atom_true
atom_functor__table
atom_merge
atom_builtin__utility
atom_g
atom__60
atom__60_60
atom_c
atom_key
atom_lf
atom_cr
atom_b
atom_fix
functor_element_2
functor_element_3
functor_size_2
functor_set__element_4
functor_set__element_5
functor_vector_1
functor_vector_2
functor_vector_3
functor_string_1
functor_string_2
functor_string_3
functor_string_4
functor_less__than_2
functor_not__less__than_2
functor_int_1
functor_int_3
functor_sin_1
functor_cos_1
functor_tan_1
functor_asin_1
functor_acos_1
functor_atan_1
functor_sinh_1
functor_cosh_1
functor_tanh_1
functor_exp_1
functor_log_1
functor_sqrt_1
functor_ceil_1
functor_floor_1
functor_pow_2
functor_float_1
functor_float_3
functor_module_1
functor_module_2
functor_apply_2
functor_predicate_1
functor_predicate_3
functor_arg_3
functor_arg_4
functor_setarg_4
functor_setarg_5
functor__2D_1
functor__2D_2
functor__7C_2
functor__2C_2
functor_yes_1
functor_yes_2
functor_no_1
functor_variable_1
functor_integer_1
functor_atom_1
functor_list_1
functor_functor_1
functor_functor_3
functor_functor_4
functor__3B_2
functor__3D_2
functor__23_2
functor__24_3A_3D_2
functor__24_3C_2
functor__24_3D_3A_3D_2
functor__24_3D_3C_2
functor__24_3D_5C_3D_2
functor__24_3E_2
functor__24_3E_3D_2
functor__2A_2
functor__2B_1
functor__2B_2
functor__2D_3E_2
functor__2F_2
functor__2F_5C_2
functor__3A_2
functor__3A_2D_2
functor__3A_3D_2
functor__3C_2
functor__3C_3C_2
functor__3C_3D_2
functor__3C_3D_3D_2
functor__3D_3A_3D_2
functor__3D_3C_2
functor__3D_3E_2
functor__3D_5C_3D_2
functor__3E_2
functor__3E_3D_2
functor__2B_3D_2
functor__2D_3D_2
functor__2A_3D_2
functor__2F_3D_2
functor__3E_3E_2
functor__40_2
functor__40_3C_2
functor__40_3D_3C_2
functor__40_3E_2
functor__40_3E_3D_2
functor__5C_2F_2
functor__5C_3D_2
functor_mod_2
functor_xor_2
functor_compare_3
functor_vector__element_3
functor_vector__element_4
functor_string__element_3
functor_string__element_4
functor_diff_2
functor_new_3
functor_new_4
functor_clause_4
functor_merge_2
functor_expanded_2
functor_unbound_2
functor_new__functor_3
functor_set__string__element_4
functor_set__vector__element_4
functor_set__vector__element_5
functor_new__string_3
functor_new__vector_2
functor_predicate__to__code_4
functor_string__less__than_2
functor_string__not__less__than_2
functor_code_4
functor_general_3
functor__5C_1
ref_class_vector
ref_class_byte__string
|
