@tuprolog/arg2p 0.13.0 → 0.13.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/2p-core.js +16 -16
- package/2p-dsl-core.js +213 -213
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +7 -7
- package/2p-dsl-theory.js +5 -5
- package/2p-dsl-unify.js +9 -9
- package/2p-parser-core.js +8 -8
- package/2p-parser-js.js +1 -1
- package/2p-solve-classic.js +6 -6
- package/2p-solve.js +50 -34
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +5 -5
- package/2p-unify.js +5 -5
- package/2p-utils.js +8 -8
- package/README.md +1 -1
- package/arg2p-causality-solver.js +4 -4
- package/arg2p-causality-solver.js.map +1 -1
- package/arg2p-core.js +17 -17
- package/arg2p-core.js.map +1 -1
- package/arg2p.js +4 -4
- package/kotlin-kotlin-stdlib.js +143 -127
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kt-math.js +20 -20
- package/package.json +1 -1
package/2p-core.js
CHANGED
|
@@ -24,7 +24,7 @@
|
|
|
24
24
|
var initMetadataForCompanion = kotlin_kotlin.$_$.y5;
|
|
25
25
|
var emptyList = kotlin_kotlin.$_$.l2;
|
|
26
26
|
var emptySequence = kotlin_kotlin.$_$.q7;
|
|
27
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
27
|
+
var THROW_CCE = kotlin_kotlin.$_$.pa;
|
|
28
28
|
var isInterface = kotlin_kotlin.$_$.e6;
|
|
29
29
|
var VOID = kotlin_kotlin.$_$.b;
|
|
30
30
|
var toList = kotlin_kotlin.$_$.e4;
|
|
@@ -36,7 +36,7 @@
|
|
|
36
36
|
var map = kotlin_kotlin.$_$.f8;
|
|
37
37
|
var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.c1;
|
|
38
38
|
var KtMap = kotlin_kotlin.$_$.p1;
|
|
39
|
-
var ensureNotNull = kotlin_kotlin.$_$.
|
|
39
|
+
var ensureNotNull = kotlin_kotlin.$_$.ta;
|
|
40
40
|
var listOf = kotlin_kotlin.$_$.c3;
|
|
41
41
|
var asIterable = kotlin_kotlin.$_$.u1;
|
|
42
42
|
var any = kotlin_kotlin.$_$.t1;
|
|
@@ -55,14 +55,14 @@
|
|
|
55
55
|
var KtList = kotlin_kotlin.$_$.n1;
|
|
56
56
|
var cursor_0 = kotlin_it_unibo_tuprolog_utils.$_$.x;
|
|
57
57
|
var cursor_1 = kotlin_it_unibo_tuprolog_utils.$_$.y;
|
|
58
|
-
var toString_0 = kotlin_kotlin.$_$.
|
|
58
|
+
var toString_0 = kotlin_kotlin.$_$.bb;
|
|
59
59
|
var asReversed = kotlin_kotlin.$_$.w1;
|
|
60
60
|
var last = kotlin_kotlin.$_$.y2;
|
|
61
61
|
var count = kotlin_kotlin.$_$.n7;
|
|
62
|
-
var NumberFormatException = kotlin_kotlin.$_$.
|
|
62
|
+
var NumberFormatException = kotlin_kotlin.$_$.ma;
|
|
63
63
|
var contains = kotlin_kotlin.$_$.c9;
|
|
64
64
|
var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
|
|
65
|
-
var toCharArray = kotlin_kotlin.$_$.
|
|
65
|
+
var toCharArray = kotlin_kotlin.$_$.v9;
|
|
66
66
|
var asSequence = kotlin_kotlin.$_$.x1;
|
|
67
67
|
var emptyMap = kotlin_kotlin.$_$.m2;
|
|
68
68
|
var first = kotlin_kotlin.$_$.p2;
|
|
@@ -73,7 +73,7 @@
|
|
|
73
73
|
var equals = kotlin_kotlin.$_$.r5;
|
|
74
74
|
var flatMap = kotlin_kotlin.$_$.w7;
|
|
75
75
|
var asSequence_0 = kotlin_kotlin.$_$.z1;
|
|
76
|
-
var to = kotlin_kotlin.$_$.
|
|
76
|
+
var to = kotlin_kotlin.$_$.cb;
|
|
77
77
|
var mapOf = kotlin_kotlin.$_$.e3;
|
|
78
78
|
var sequenceOf = kotlin_kotlin.$_$.l8;
|
|
79
79
|
var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
|
|
@@ -104,12 +104,12 @@
|
|
|
104
104
|
var getTag = kotlin_it_unibo_tuprolog_utils.$_$.n;
|
|
105
105
|
var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
|
|
106
106
|
var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
|
|
107
|
-
var Comparable = kotlin_kotlin.$_$.
|
|
108
|
-
var Comparator = kotlin_kotlin.$_$.
|
|
107
|
+
var Comparable = kotlin_kotlin.$_$.ea;
|
|
108
|
+
var Comparator = kotlin_kotlin.$_$.fa;
|
|
109
109
|
var initMetadataForObject = kotlin_kotlin.$_$.b6;
|
|
110
110
|
var compareTo = kotlin_kotlin.$_$.p5;
|
|
111
|
-
var Enum = kotlin_kotlin.$_$.
|
|
112
|
-
var noWhenBranchMatchedException = kotlin_kotlin.$_$.
|
|
111
|
+
var Enum = kotlin_kotlin.$_$.ga;
|
|
112
|
+
var noWhenBranchMatchedException = kotlin_kotlin.$_$.wa;
|
|
113
113
|
var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
|
|
114
114
|
var toString_1 = kotlin_kotlin.$_$.h1;
|
|
115
115
|
var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d1;
|
|
@@ -119,9 +119,9 @@
|
|
|
119
119
|
var captureStack = kotlin_kotlin.$_$.j5;
|
|
120
120
|
var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.b1;
|
|
121
121
|
var RuntimeException_init_$Init$_0 = kotlin_kotlin.$_$.a1;
|
|
122
|
-
var RuntimeException = kotlin_kotlin.$_$.
|
|
122
|
+
var RuntimeException = kotlin_kotlin.$_$.oa;
|
|
123
123
|
var Iterable = kotlin_kotlin.$_$.m1;
|
|
124
|
-
var lazy = kotlin_kotlin.$_$.
|
|
124
|
+
var lazy = kotlin_kotlin.$_$.va;
|
|
125
125
|
var KProperty1 = kotlin_kotlin.$_$.g7;
|
|
126
126
|
var getPropertyCallableRef = kotlin_kotlin.$_$.u5;
|
|
127
127
|
var get_lastIndex_0 = kotlin_kotlin.$_$.x2;
|
|
@@ -157,14 +157,14 @@
|
|
|
157
157
|
var asSequence_2 = kotlin_kotlin.$_$.y1;
|
|
158
158
|
var filter = kotlin_kotlin.$_$.t7;
|
|
159
159
|
var firstOrNull_0 = kotlin_kotlin.$_$.u7;
|
|
160
|
-
var Pair = kotlin_kotlin.$_$.
|
|
160
|
+
var Pair = kotlin_kotlin.$_$.na;
|
|
161
161
|
var setOf = kotlin_kotlin.$_$.z3;
|
|
162
162
|
var setOf_0 = kotlin_kotlin.$_$.y3;
|
|
163
163
|
var defineProp = kotlin_kotlin.$_$.q5;
|
|
164
164
|
var synchronizedOn = kotlin_it_unibo_tuprolog_utils.$_$.o1;
|
|
165
165
|
var add = kotlin_kotlin.$_$.s4;
|
|
166
|
-
var IllegalStateException = kotlin_kotlin.$_$.
|
|
167
|
-
var IllegalArgumentException = kotlin_kotlin.$_$.
|
|
166
|
+
var IllegalStateException = kotlin_kotlin.$_$.ia;
|
|
167
|
+
var IllegalArgumentException = kotlin_kotlin.$_$.ha;
|
|
168
168
|
var asSequence_3 = kotlin_kotlin.$_$.a2;
|
|
169
169
|
var toSet = kotlin_kotlin.$_$.w8;
|
|
170
170
|
var toHashSet = kotlin_kotlin.$_$.t8;
|
|
@@ -173,7 +173,7 @@
|
|
|
173
173
|
var KtSet = kotlin_kotlin.$_$.q1;
|
|
174
174
|
var plus_3 = kotlin_kotlin.$_$.r3;
|
|
175
175
|
var IllegalArgumentException_init_$Create$_0 = kotlin_kotlin.$_$.r;
|
|
176
|
-
var THROW_IAE = kotlin_kotlin.$_$.
|
|
176
|
+
var THROW_IAE = kotlin_kotlin.$_$.qa;
|
|
177
177
|
//endregion
|
|
178
178
|
//region block: pre-declaration
|
|
179
179
|
function apply(substitution, substitutions) {
|
package/2p-dsl-core.js
CHANGED
|
@@ -21,7 +21,7 @@
|
|
|
21
21
|
}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_utils, kotlin_io_github_gciatto_kt_math) {
|
|
22
22
|
'use strict';
|
|
23
23
|
//region block: imports
|
|
24
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
24
|
+
var THROW_CCE = kotlin_kotlin.$_$.pa;
|
|
25
25
|
var Unit_instance = kotlin_kotlin.$_$.k1;
|
|
26
26
|
var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
|
|
27
27
|
var protoOf = kotlin_kotlin.$_$.m6;
|
|
@@ -41,7 +41,7 @@
|
|
|
41
41
|
var assertItemsAreNotNull_0 = kotlin_it_unibo_tuprolog_utils.$_$.r;
|
|
42
42
|
var map = kotlin_kotlin.$_$.f8;
|
|
43
43
|
var assertItemsAreNotNull_1 = kotlin_it_unibo_tuprolog_utils.$_$.t;
|
|
44
|
-
var Char = kotlin_kotlin.$_$.
|
|
44
|
+
var Char = kotlin_kotlin.$_$.da;
|
|
45
45
|
var PrimitiveClasses_getInstance = kotlin_kotlin.$_$.j1;
|
|
46
46
|
var BigInteger = kotlin_io_github_gciatto_kt_math.$_$.g;
|
|
47
47
|
var BigDecimal = kotlin_io_github_gciatto_kt_math.$_$.f;
|
|
@@ -49,8 +49,8 @@
|
|
|
49
49
|
var Iterable = kotlin_kotlin.$_$.m1;
|
|
50
50
|
var KtList = kotlin_kotlin.$_$.n1;
|
|
51
51
|
var KtSet = kotlin_kotlin.$_$.q1;
|
|
52
|
-
var Pair = kotlin_kotlin.$_$.
|
|
53
|
-
var Triple = kotlin_kotlin.$_$.
|
|
52
|
+
var Pair = kotlin_kotlin.$_$.na;
|
|
53
|
+
var Triple = kotlin_kotlin.$_$.ra;
|
|
54
54
|
var Entry = kotlin_kotlin.$_$.o1;
|
|
55
55
|
var KtMap = kotlin_kotlin.$_$.p1;
|
|
56
56
|
var initMetadataForClass = kotlin_kotlin.$_$.x5;
|
|
@@ -104,193 +104,39 @@
|
|
|
104
104
|
}
|
|
105
105
|
initMetadataForInterface(BaseLogicProgrammingScope, 'BaseLogicProgrammingScope', VOID, VOID, [Scope]);
|
|
106
106
|
initMetadataForCompanion(Companion);
|
|
107
|
-
function
|
|
108
|
-
return
|
|
109
|
-
}
|
|
110
|
-
function call1(goal) {
|
|
111
|
-
return this.structOf('call', [this.convertToTerm(goal)]);
|
|
112
|
-
}
|
|
113
|
-
function catch3(goal, error, continuation) {
|
|
114
|
-
return this.structOf('catch', [this.convertToTerm(goal), this.convertToTerm(error), this.convertToTerm(continuation)]);
|
|
115
|
-
}
|
|
116
|
-
function throw1(error) {
|
|
117
|
-
return this.structOf('throw', [this.convertToTerm(error)]);
|
|
118
|
-
}
|
|
119
|
-
function not1(goal) {
|
|
120
|
-
return this.structOf('not', [this.convertToTerm(goal)]);
|
|
121
|
-
}
|
|
122
|
-
function naf1(goal) {
|
|
123
|
-
return this.structOf('\\+', [this.convertToTerm(goal)]);
|
|
124
|
-
}
|
|
125
|
-
function assert1(clause) {
|
|
126
|
-
return this.structOf('assert', [this.convertToTerm(clause)]);
|
|
127
|
-
}
|
|
128
|
-
function asserta1(clause) {
|
|
129
|
-
return this.structOf('asserta', [this.convertToTerm(clause)]);
|
|
130
|
-
}
|
|
131
|
-
function assertz1(clause) {
|
|
132
|
-
return this.structOf('assertz', [this.convertToTerm(clause)]);
|
|
133
|
-
}
|
|
134
|
-
function arg3(index, compound, argument) {
|
|
135
|
-
return this.structOf('arg', [this.convertToTerm(index), this.convertToTerm(compound), this.convertToTerm(argument)]);
|
|
136
|
-
}
|
|
137
|
-
function atom1(atom) {
|
|
138
|
-
return this.structOf('atom', [this.convertToTerm(atom)]);
|
|
139
|
-
}
|
|
140
|
-
function atomic1(atomic) {
|
|
141
|
-
return this.structOf('atomic', [this.convertToTerm(atomic)]);
|
|
142
|
-
}
|
|
143
|
-
function between3(min, max, number) {
|
|
144
|
-
return this.structOf('between', [this.convertToTerm(min), this.convertToTerm(max), this.convertToTerm(number)]);
|
|
145
|
-
}
|
|
146
|
-
function callable1(goal) {
|
|
147
|
-
return this.structOf('callable', [this.convertToTerm(goal)]);
|
|
148
|
-
}
|
|
149
|
-
function compound1(struct) {
|
|
150
|
-
return this.structOf('compound', [this.convertToTerm(struct)]);
|
|
151
|
-
}
|
|
152
|
-
function current_op3(precedence, specifier, functor) {
|
|
153
|
-
return this.structOf('current_op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
|
|
154
|
-
}
|
|
155
|
-
function op3(precedence, specifier, functor) {
|
|
156
|
-
return this.structOf('op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
|
|
157
|
-
}
|
|
158
|
-
function findall3(template, goal, bag) {
|
|
159
|
-
return this.structOf('findall', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
|
|
160
|
-
}
|
|
161
|
-
function float1(number) {
|
|
162
|
-
return this.structOf('float', [this.convertToTerm(number)]);
|
|
163
|
-
}
|
|
164
|
-
function functor3(struct, functor, arity) {
|
|
165
|
-
return this.structOf('functor', [this.convertToTerm(struct), this.convertToTerm(functor), this.convertToTerm(arity)]);
|
|
166
|
-
}
|
|
167
|
-
function ground1(term) {
|
|
168
|
-
return this.structOf('ground', [this.convertToTerm(term)]);
|
|
169
|
-
}
|
|
170
|
-
function integer1(number) {
|
|
171
|
-
return this.structOf('integer', [this.convertToTerm(number)]);
|
|
172
|
-
}
|
|
173
|
-
function natural(number) {
|
|
174
|
-
return this.structOf('natural', [this.convertToTerm(number)]);
|
|
175
|
-
}
|
|
176
|
-
function nonvar1(number) {
|
|
177
|
-
return this.structOf('nonvar', [this.convertToTerm(number)]);
|
|
178
|
-
}
|
|
179
|
-
function number1(number) {
|
|
180
|
-
return this.structOf('number', [this.convertToTerm(number)]);
|
|
181
|
-
}
|
|
182
|
-
function var1(term) {
|
|
183
|
-
return this.structOf('var', [this.convertToTerm(term)]);
|
|
184
|
-
}
|
|
185
|
-
function write1(term) {
|
|
186
|
-
return this.structOf('write', [this.convertToTerm(term)]);
|
|
187
|
-
}
|
|
188
|
-
function univ2(_this__u8e3s4, other) {
|
|
189
|
-
return this.structOf('=..', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
190
|
-
}
|
|
191
|
-
function eq2(_this__u8e3s4, right) {
|
|
192
|
-
return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
193
|
-
}
|
|
194
|
-
function neq2(_this__u8e3s4, right) {
|
|
195
|
-
return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
196
|
-
}
|
|
197
|
-
function id2(_this__u8e3s4, right) {
|
|
198
|
-
return this.structOf('==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
199
|
-
}
|
|
200
|
-
function nid2(_this__u8e3s4, right) {
|
|
201
|
-
return this.structOf('\\==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
202
|
-
}
|
|
203
|
-
function arithEq2(_this__u8e3s4, right) {
|
|
204
|
-
return this.structOf('=:=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
205
|
-
}
|
|
206
|
-
function arithNeq2(_this__u8e3s4, right) {
|
|
207
|
-
return this.structOf('=\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
208
|
-
}
|
|
209
|
-
function member2(item, list) {
|
|
210
|
-
return this.structOf('member', [this.convertToTerm(item), this.convertToTerm(list)]);
|
|
211
|
-
}
|
|
212
|
-
function retract1(clause) {
|
|
213
|
-
return this.structOf('retract', [this.convertToTerm(clause)]);
|
|
214
|
-
}
|
|
215
|
-
function append3(left, right, result) {
|
|
216
|
-
return this.structOf('append', [this.convertToTerm(left), this.convertToTerm(right), this.convertToTerm(result)]);
|
|
217
|
-
}
|
|
218
|
-
function retractall1(clause) {
|
|
219
|
-
return this.structOf('retractall', [this.convertToTerm(clause)]);
|
|
220
|
-
}
|
|
221
|
-
function abolish1(indicator) {
|
|
222
|
-
return this.structOf('abolish', [this.convertToTerm(indicator)]);
|
|
223
|
-
}
|
|
224
|
-
function atom_chars2(atom, chars) {
|
|
225
|
-
return this.structOf('atom_chars', [this.convertToTerm(atom), this.convertToTerm(chars)]);
|
|
226
|
-
}
|
|
227
|
-
function atom_codes2(atom, codes) {
|
|
228
|
-
return this.structOf('atom_codes', [this.convertToTerm(atom), this.convertToTerm(codes)]);
|
|
229
|
-
}
|
|
230
|
-
function atom_concat3(first, second, result) {
|
|
231
|
-
return this.structOf('atom_concat', [this.convertToTerm(first), this.convertToTerm(second), this.convertToTerm(result)]);
|
|
232
|
-
}
|
|
233
|
-
function atom_length2(atom, length) {
|
|
234
|
-
return this.structOf('atom_length', [this.convertToTerm(atom), this.convertToTerm(length)]);
|
|
235
|
-
}
|
|
236
|
-
function char_code2(char, code) {
|
|
237
|
-
return this.structOf('char_code', [this.convertToTerm(char), this.convertToTerm(code)]);
|
|
238
|
-
}
|
|
239
|
-
function clause2(head, body) {
|
|
240
|
-
return this.structOf('clause', [this.convertToTerm(head), this.convertToTerm(body)]);
|
|
241
|
-
}
|
|
242
|
-
function copy_term2(term, copy) {
|
|
243
|
-
return this.structOf('copy_term', [this.convertToTerm(term), this.convertToTerm(copy)]);
|
|
244
|
-
}
|
|
245
|
-
function current_flag2(name, value) {
|
|
246
|
-
return this.structOf('current_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
|
|
247
|
-
}
|
|
248
|
-
function current_prolog_flag2(name, value) {
|
|
249
|
-
return this.structOf('current_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
|
|
250
|
-
}
|
|
251
|
-
function sub_atom5(atom, before, length, after, sub_atom) {
|
|
252
|
-
return this.structOf('sub_atom', [this.convertToTerm(atom), this.convertToTerm(before), this.convertToTerm(length), this.convertToTerm(after), this.convertToTerm(sub_atom)]);
|
|
253
|
-
}
|
|
254
|
-
function number_chars2(first, second) {
|
|
255
|
-
return this.structOf('number_chars', [this.convertToTerm(first), this.convertToTerm(second)]);
|
|
256
|
-
}
|
|
257
|
-
function number_codes2(first, second) {
|
|
258
|
-
return this.structOf('number_codes', [this.convertToTerm(first), this.convertToTerm(second)]);
|
|
259
|
-
}
|
|
260
|
-
function bagof3(template, goal, bag) {
|
|
261
|
-
return this.structOf('bagof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
|
|
262
|
-
}
|
|
263
|
-
function setof3(template, goal, bag) {
|
|
264
|
-
return this.structOf('setof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
|
|
265
|
-
}
|
|
266
|
-
function consult1(url) {
|
|
267
|
-
return this.structOf('consult', [this.convertToTerm(url)]);
|
|
268
|
-
}
|
|
269
|
-
function set_flag2(name, value) {
|
|
270
|
-
return this.structOf('set_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
|
|
271
|
-
}
|
|
272
|
-
function set_prolog_flag2(name, value) {
|
|
273
|
-
return this.structOf('set_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
|
|
274
|
-
}
|
|
275
|
-
function dynamic1(indicator) {
|
|
276
|
-
return this.structOf('dynamic', [this.convertToTerm(indicator)]);
|
|
107
|
+
function varTo(_this__u8e3s4, termObject) {
|
|
108
|
+
return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
|
|
277
109
|
}
|
|
278
|
-
function
|
|
279
|
-
return this.
|
|
110
|
+
function stringTo(_this__u8e3s4, termObject) {
|
|
111
|
+
return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
|
|
280
112
|
}
|
|
281
|
-
function
|
|
282
|
-
|
|
113
|
+
function substitutionGet(_this__u8e3s4, term) {
|
|
114
|
+
var t = this.convertToTerm(term);
|
|
115
|
+
var tmp;
|
|
116
|
+
if (isInterface(t, Var)) {
|
|
117
|
+
tmp = _this__u8e3s4.h2(t);
|
|
118
|
+
} else {
|
|
119
|
+
raiseErrorConvertingTo(term, getKClass(Var));
|
|
120
|
+
}
|
|
121
|
+
return tmp;
|
|
283
122
|
}
|
|
284
|
-
function
|
|
285
|
-
|
|
123
|
+
function substitutionContainsKey(_this__u8e3s4, term) {
|
|
124
|
+
var t = this.convertToTerm(term);
|
|
125
|
+
var tmp;
|
|
126
|
+
if (isInterface(t, Var)) {
|
|
127
|
+
tmp = _this__u8e3s4.f2(t);
|
|
128
|
+
} else {
|
|
129
|
+
raiseErrorConvertingTo(term, getKClass(Var));
|
|
130
|
+
}
|
|
131
|
+
return tmp;
|
|
286
132
|
}
|
|
287
|
-
function
|
|
288
|
-
return this.
|
|
133
|
+
function substitutionContains(_this__u8e3s4, term) {
|
|
134
|
+
return this.substitutionContainsKey(_this__u8e3s4, term);
|
|
289
135
|
}
|
|
290
|
-
function
|
|
291
|
-
return
|
|
136
|
+
function substitutionContainsValue(_this__u8e3s4, term) {
|
|
137
|
+
return _this__u8e3s4.g2(this.convertToTerm(term));
|
|
292
138
|
}
|
|
293
|
-
initMetadataForInterface(
|
|
139
|
+
initMetadataForInterface(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
294
140
|
function termPlus(_this__u8e3s4, other) {
|
|
295
141
|
return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
296
142
|
}
|
|
@@ -583,40 +429,194 @@
|
|
|
583
429
|
return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$factOf$ref(this));
|
|
584
430
|
}
|
|
585
431
|
initMetadataForInterface(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
586
|
-
function
|
|
587
|
-
return
|
|
432
|
+
function at_end_of_stream1(alias) {
|
|
433
|
+
return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
|
|
588
434
|
}
|
|
589
|
-
function
|
|
590
|
-
return
|
|
435
|
+
function call1(goal) {
|
|
436
|
+
return this.structOf('call', [this.convertToTerm(goal)]);
|
|
591
437
|
}
|
|
592
|
-
function
|
|
593
|
-
|
|
594
|
-
var tmp;
|
|
595
|
-
if (isInterface(t, Var)) {
|
|
596
|
-
tmp = _this__u8e3s4.h2(t);
|
|
597
|
-
} else {
|
|
598
|
-
raiseErrorConvertingTo(term, getKClass(Var));
|
|
599
|
-
}
|
|
600
|
-
return tmp;
|
|
438
|
+
function catch3(goal, error, continuation) {
|
|
439
|
+
return this.structOf('catch', [this.convertToTerm(goal), this.convertToTerm(error), this.convertToTerm(continuation)]);
|
|
601
440
|
}
|
|
602
|
-
function
|
|
603
|
-
|
|
604
|
-
var tmp;
|
|
605
|
-
if (isInterface(t, Var)) {
|
|
606
|
-
tmp = _this__u8e3s4.f2(t);
|
|
607
|
-
} else {
|
|
608
|
-
raiseErrorConvertingTo(term, getKClass(Var));
|
|
609
|
-
}
|
|
610
|
-
return tmp;
|
|
441
|
+
function throw1(error) {
|
|
442
|
+
return this.structOf('throw', [this.convertToTerm(error)]);
|
|
611
443
|
}
|
|
612
|
-
function
|
|
613
|
-
return this.
|
|
444
|
+
function not1(goal) {
|
|
445
|
+
return this.structOf('not', [this.convertToTerm(goal)]);
|
|
614
446
|
}
|
|
615
|
-
function
|
|
616
|
-
return
|
|
447
|
+
function naf1(goal) {
|
|
448
|
+
return this.structOf('\\+', [this.convertToTerm(goal)]);
|
|
617
449
|
}
|
|
618
|
-
|
|
619
|
-
|
|
450
|
+
function assert1(clause) {
|
|
451
|
+
return this.structOf('assert', [this.convertToTerm(clause)]);
|
|
452
|
+
}
|
|
453
|
+
function asserta1(clause) {
|
|
454
|
+
return this.structOf('asserta', [this.convertToTerm(clause)]);
|
|
455
|
+
}
|
|
456
|
+
function assertz1(clause) {
|
|
457
|
+
return this.structOf('assertz', [this.convertToTerm(clause)]);
|
|
458
|
+
}
|
|
459
|
+
function arg3(index, compound, argument) {
|
|
460
|
+
return this.structOf('arg', [this.convertToTerm(index), this.convertToTerm(compound), this.convertToTerm(argument)]);
|
|
461
|
+
}
|
|
462
|
+
function atom1(atom) {
|
|
463
|
+
return this.structOf('atom', [this.convertToTerm(atom)]);
|
|
464
|
+
}
|
|
465
|
+
function atomic1(atomic) {
|
|
466
|
+
return this.structOf('atomic', [this.convertToTerm(atomic)]);
|
|
467
|
+
}
|
|
468
|
+
function between3(min, max, number) {
|
|
469
|
+
return this.structOf('between', [this.convertToTerm(min), this.convertToTerm(max), this.convertToTerm(number)]);
|
|
470
|
+
}
|
|
471
|
+
function callable1(goal) {
|
|
472
|
+
return this.structOf('callable', [this.convertToTerm(goal)]);
|
|
473
|
+
}
|
|
474
|
+
function compound1(struct) {
|
|
475
|
+
return this.structOf('compound', [this.convertToTerm(struct)]);
|
|
476
|
+
}
|
|
477
|
+
function current_op3(precedence, specifier, functor) {
|
|
478
|
+
return this.structOf('current_op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
|
|
479
|
+
}
|
|
480
|
+
function op3(precedence, specifier, functor) {
|
|
481
|
+
return this.structOf('op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
|
|
482
|
+
}
|
|
483
|
+
function findall3(template, goal, bag) {
|
|
484
|
+
return this.structOf('findall', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
|
|
485
|
+
}
|
|
486
|
+
function float1(number) {
|
|
487
|
+
return this.structOf('float', [this.convertToTerm(number)]);
|
|
488
|
+
}
|
|
489
|
+
function functor3(struct, functor, arity) {
|
|
490
|
+
return this.structOf('functor', [this.convertToTerm(struct), this.convertToTerm(functor), this.convertToTerm(arity)]);
|
|
491
|
+
}
|
|
492
|
+
function ground1(term) {
|
|
493
|
+
return this.structOf('ground', [this.convertToTerm(term)]);
|
|
494
|
+
}
|
|
495
|
+
function integer1(number) {
|
|
496
|
+
return this.structOf('integer', [this.convertToTerm(number)]);
|
|
497
|
+
}
|
|
498
|
+
function natural(number) {
|
|
499
|
+
return this.structOf('natural', [this.convertToTerm(number)]);
|
|
500
|
+
}
|
|
501
|
+
function nonvar1(number) {
|
|
502
|
+
return this.structOf('nonvar', [this.convertToTerm(number)]);
|
|
503
|
+
}
|
|
504
|
+
function number1(number) {
|
|
505
|
+
return this.structOf('number', [this.convertToTerm(number)]);
|
|
506
|
+
}
|
|
507
|
+
function var1(term) {
|
|
508
|
+
return this.structOf('var', [this.convertToTerm(term)]);
|
|
509
|
+
}
|
|
510
|
+
function write1(term) {
|
|
511
|
+
return this.structOf('write', [this.convertToTerm(term)]);
|
|
512
|
+
}
|
|
513
|
+
function univ2(_this__u8e3s4, other) {
|
|
514
|
+
return this.structOf('=..', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
515
|
+
}
|
|
516
|
+
function eq2(_this__u8e3s4, right) {
|
|
517
|
+
return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
518
|
+
}
|
|
519
|
+
function neq2(_this__u8e3s4, right) {
|
|
520
|
+
return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
521
|
+
}
|
|
522
|
+
function id2(_this__u8e3s4, right) {
|
|
523
|
+
return this.structOf('==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
524
|
+
}
|
|
525
|
+
function nid2(_this__u8e3s4, right) {
|
|
526
|
+
return this.structOf('\\==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
527
|
+
}
|
|
528
|
+
function arithEq2(_this__u8e3s4, right) {
|
|
529
|
+
return this.structOf('=:=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
530
|
+
}
|
|
531
|
+
function arithNeq2(_this__u8e3s4, right) {
|
|
532
|
+
return this.structOf('=\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
533
|
+
}
|
|
534
|
+
function member2(item, list) {
|
|
535
|
+
return this.structOf('member', [this.convertToTerm(item), this.convertToTerm(list)]);
|
|
536
|
+
}
|
|
537
|
+
function retract1(clause) {
|
|
538
|
+
return this.structOf('retract', [this.convertToTerm(clause)]);
|
|
539
|
+
}
|
|
540
|
+
function append3(left, right, result) {
|
|
541
|
+
return this.structOf('append', [this.convertToTerm(left), this.convertToTerm(right), this.convertToTerm(result)]);
|
|
542
|
+
}
|
|
543
|
+
function retractall1(clause) {
|
|
544
|
+
return this.structOf('retractall', [this.convertToTerm(clause)]);
|
|
545
|
+
}
|
|
546
|
+
function abolish1(indicator) {
|
|
547
|
+
return this.structOf('abolish', [this.convertToTerm(indicator)]);
|
|
548
|
+
}
|
|
549
|
+
function atom_chars2(atom, chars) {
|
|
550
|
+
return this.structOf('atom_chars', [this.convertToTerm(atom), this.convertToTerm(chars)]);
|
|
551
|
+
}
|
|
552
|
+
function atom_codes2(atom, codes) {
|
|
553
|
+
return this.structOf('atom_codes', [this.convertToTerm(atom), this.convertToTerm(codes)]);
|
|
554
|
+
}
|
|
555
|
+
function atom_concat3(first, second, result) {
|
|
556
|
+
return this.structOf('atom_concat', [this.convertToTerm(first), this.convertToTerm(second), this.convertToTerm(result)]);
|
|
557
|
+
}
|
|
558
|
+
function atom_length2(atom, length) {
|
|
559
|
+
return this.structOf('atom_length', [this.convertToTerm(atom), this.convertToTerm(length)]);
|
|
560
|
+
}
|
|
561
|
+
function char_code2(char, code) {
|
|
562
|
+
return this.structOf('char_code', [this.convertToTerm(char), this.convertToTerm(code)]);
|
|
563
|
+
}
|
|
564
|
+
function clause2(head, body) {
|
|
565
|
+
return this.structOf('clause', [this.convertToTerm(head), this.convertToTerm(body)]);
|
|
566
|
+
}
|
|
567
|
+
function copy_term2(term, copy) {
|
|
568
|
+
return this.structOf('copy_term', [this.convertToTerm(term), this.convertToTerm(copy)]);
|
|
569
|
+
}
|
|
570
|
+
function current_flag2(name, value) {
|
|
571
|
+
return this.structOf('current_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
|
|
572
|
+
}
|
|
573
|
+
function current_prolog_flag2(name, value) {
|
|
574
|
+
return this.structOf('current_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
|
|
575
|
+
}
|
|
576
|
+
function sub_atom5(atom, before, length, after, sub_atom) {
|
|
577
|
+
return this.structOf('sub_atom', [this.convertToTerm(atom), this.convertToTerm(before), this.convertToTerm(length), this.convertToTerm(after), this.convertToTerm(sub_atom)]);
|
|
578
|
+
}
|
|
579
|
+
function number_chars2(first, second) {
|
|
580
|
+
return this.structOf('number_chars', [this.convertToTerm(first), this.convertToTerm(second)]);
|
|
581
|
+
}
|
|
582
|
+
function number_codes2(first, second) {
|
|
583
|
+
return this.structOf('number_codes', [this.convertToTerm(first), this.convertToTerm(second)]);
|
|
584
|
+
}
|
|
585
|
+
function bagof3(template, goal, bag) {
|
|
586
|
+
return this.structOf('bagof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
|
|
587
|
+
}
|
|
588
|
+
function setof3(template, goal, bag) {
|
|
589
|
+
return this.structOf('setof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
|
|
590
|
+
}
|
|
591
|
+
function consult1(url) {
|
|
592
|
+
return this.structOf('consult', [this.convertToTerm(url)]);
|
|
593
|
+
}
|
|
594
|
+
function set_flag2(name, value) {
|
|
595
|
+
return this.structOf('set_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
|
|
596
|
+
}
|
|
597
|
+
function set_prolog_flag2(name, value) {
|
|
598
|
+
return this.structOf('set_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
|
|
599
|
+
}
|
|
600
|
+
function dynamic1(indicator) {
|
|
601
|
+
return this.structOf('dynamic', [this.convertToTerm(indicator)]);
|
|
602
|
+
}
|
|
603
|
+
function static1(indicator) {
|
|
604
|
+
return this.structOf('static', [this.convertToTerm(indicator)]);
|
|
605
|
+
}
|
|
606
|
+
function solve1(goal) {
|
|
607
|
+
return this.structOf('solve', [this.convertToTerm(goal)]);
|
|
608
|
+
}
|
|
609
|
+
function initialization1(goal) {
|
|
610
|
+
return this.structOf('initialization', [this.convertToTerm(goal)]);
|
|
611
|
+
}
|
|
612
|
+
function load1(url) {
|
|
613
|
+
return this.structOf('load', [this.convertToTerm(url)]);
|
|
614
|
+
}
|
|
615
|
+
function include1(url) {
|
|
616
|
+
return this.structOf('include', [this.convertToTerm(url)]);
|
|
617
|
+
}
|
|
618
|
+
initMetadataForInterface(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', VOID, VOID, [BaseLogicProgrammingScope]);
|
|
619
|
+
initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [Scope, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithOperators, MinimalLogicProgrammingScope, LogicProgrammingScopeWithPrologStandardLibrary, BaseLogicProgrammingScope]);
|
|
620
620
|
initMetadataForCompanion(Companion_0);
|
|
621
621
|
initMetadataForClass(DefaultTermificator, 'DefaultTermificator', VOID, AbstractTermificator);
|
|
622
622
|
//endregion
|