@tuprolog/arg2p-core 0.8.2 → 0.9.0
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-dsl-core.js +294 -294
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +7 -7
- package/2p-dsl-theory.js +6 -6
- package/2p-dsl-unify.js +9 -9
- package/2p-parser-theory.js +4 -4
- package/2p-parser-theory.js.map +1 -1
- package/arg2p-core.js +72 -72
- package/arg2p-core.js.map +1 -1
- package/kotlin-kotlin-stdlib.js +7 -7
- package/package.json +1 -1
package/2p-dsl-core.js
CHANGED
|
@@ -105,200 +105,193 @@
|
|
|
105
105
|
}
|
|
106
106
|
setMetadataFor(BaseLogicProgrammingScope, 'BaseLogicProgrammingScope', interfaceMeta, VOID, [Scope]);
|
|
107
107
|
setMetadataFor(Companion, 'Companion', objectMeta);
|
|
108
|
-
function
|
|
109
|
-
return
|
|
108
|
+
function at_end_of_stream1(alias) {
|
|
109
|
+
return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
|
|
110
110
|
}
|
|
111
|
-
function
|
|
112
|
-
return
|
|
111
|
+
function call1(goal) {
|
|
112
|
+
return this.structOf('call', [this.convertToTerm(goal)]);
|
|
113
113
|
}
|
|
114
|
-
function
|
|
115
|
-
|
|
116
|
-
var tmp;
|
|
117
|
-
if (isInterface(t, Var)) {
|
|
118
|
-
tmp = _this__u8e3s4.x2(t);
|
|
119
|
-
} else {
|
|
120
|
-
raiseErrorConvertingTo(term, getKClass(Var));
|
|
121
|
-
}
|
|
122
|
-
return tmp;
|
|
114
|
+
function catch3(goal, error, continuation) {
|
|
115
|
+
return this.structOf('catch', [this.convertToTerm(goal), this.convertToTerm(error), this.convertToTerm(continuation)]);
|
|
123
116
|
}
|
|
124
|
-
function
|
|
125
|
-
|
|
126
|
-
var tmp;
|
|
127
|
-
if (isInterface(t, Var)) {
|
|
128
|
-
tmp = _this__u8e3s4.u2(t);
|
|
129
|
-
} else {
|
|
130
|
-
raiseErrorConvertingTo(term, getKClass(Var));
|
|
131
|
-
}
|
|
132
|
-
return tmp;
|
|
117
|
+
function throw1(error) {
|
|
118
|
+
return this.structOf('throw', [this.convertToTerm(error)]);
|
|
133
119
|
}
|
|
134
|
-
function
|
|
135
|
-
return this.
|
|
120
|
+
function not1(goal) {
|
|
121
|
+
return this.structOf('not', [this.convertToTerm(goal)]);
|
|
136
122
|
}
|
|
137
|
-
function
|
|
138
|
-
return
|
|
123
|
+
function naf1(goal) {
|
|
124
|
+
return this.structOf('\\+', [this.convertToTerm(goal)]);
|
|
139
125
|
}
|
|
140
|
-
|
|
141
|
-
|
|
142
|
-
return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
126
|
+
function assert1(clause) {
|
|
127
|
+
return this.structOf('assert', [this.convertToTerm(clause)]);
|
|
143
128
|
}
|
|
144
|
-
function
|
|
145
|
-
return this.
|
|
129
|
+
function asserta1(clause) {
|
|
130
|
+
return this.structOf('asserta', [this.convertToTerm(clause)]);
|
|
146
131
|
}
|
|
147
|
-
function
|
|
148
|
-
return this.
|
|
132
|
+
function assertz1(clause) {
|
|
133
|
+
return this.structOf('assertz', [this.convertToTerm(clause)]);
|
|
149
134
|
}
|
|
150
|
-
function
|
|
151
|
-
return this.
|
|
135
|
+
function arg3(index, compound, argument) {
|
|
136
|
+
return this.structOf('arg', [this.convertToTerm(index), this.convertToTerm(compound), this.convertToTerm(argument)]);
|
|
152
137
|
}
|
|
153
|
-
function
|
|
154
|
-
return this.structOf('
|
|
138
|
+
function atom1(atom) {
|
|
139
|
+
return this.structOf('atom', [this.convertToTerm(atom)]);
|
|
155
140
|
}
|
|
156
|
-
function
|
|
157
|
-
return this.
|
|
141
|
+
function atomic1(atomic) {
|
|
142
|
+
return this.structOf('atomic', [this.convertToTerm(atomic)]);
|
|
158
143
|
}
|
|
159
|
-
function
|
|
160
|
-
return this.
|
|
144
|
+
function between3(min, max, number) {
|
|
145
|
+
return this.structOf('between', [this.convertToTerm(min), this.convertToTerm(max), this.convertToTerm(number)]);
|
|
161
146
|
}
|
|
162
|
-
function
|
|
163
|
-
return this.
|
|
147
|
+
function callable1(goal) {
|
|
148
|
+
return this.structOf('callable', [this.convertToTerm(goal)]);
|
|
164
149
|
}
|
|
165
|
-
function
|
|
166
|
-
return this.
|
|
150
|
+
function compound1(struct) {
|
|
151
|
+
return this.structOf('compound', [this.convertToTerm(struct)]);
|
|
167
152
|
}
|
|
168
|
-
function
|
|
169
|
-
return this.structOf('
|
|
153
|
+
function current_op3(precedence, specifier, functor) {
|
|
154
|
+
return this.structOf('current_op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
|
|
170
155
|
}
|
|
171
|
-
function
|
|
172
|
-
return this.
|
|
156
|
+
function op3(precedence, specifier, functor) {
|
|
157
|
+
return this.structOf('op', [this.convertToTerm(precedence), this.convertToTerm(specifier), this.convertToTerm(functor)]);
|
|
173
158
|
}
|
|
174
|
-
function
|
|
175
|
-
return this.
|
|
159
|
+
function findall3(template, goal, bag) {
|
|
160
|
+
return this.structOf('findall', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
|
|
176
161
|
}
|
|
177
|
-
function
|
|
178
|
-
return this.
|
|
162
|
+
function float1(number) {
|
|
163
|
+
return this.structOf('float', [this.convertToTerm(number)]);
|
|
179
164
|
}
|
|
180
|
-
function
|
|
181
|
-
return this.
|
|
165
|
+
function functor3(struct, functor, arity) {
|
|
166
|
+
return this.structOf('functor', [this.convertToTerm(struct), this.convertToTerm(functor), this.convertToTerm(arity)]);
|
|
182
167
|
}
|
|
183
|
-
function
|
|
184
|
-
return this.
|
|
168
|
+
function ground1(term) {
|
|
169
|
+
return this.structOf('ground', [this.convertToTerm(term)]);
|
|
185
170
|
}
|
|
186
|
-
function
|
|
187
|
-
return this.
|
|
171
|
+
function integer1(number) {
|
|
172
|
+
return this.structOf('integer', [this.convertToTerm(number)]);
|
|
188
173
|
}
|
|
189
|
-
function
|
|
190
|
-
return this.
|
|
174
|
+
function natural(number) {
|
|
175
|
+
return this.structOf('natural', [this.convertToTerm(number)]);
|
|
191
176
|
}
|
|
192
|
-
function
|
|
193
|
-
return this.
|
|
177
|
+
function nonvar1(number) {
|
|
178
|
+
return this.structOf('nonvar', [this.convertToTerm(number)]);
|
|
194
179
|
}
|
|
195
|
-
function
|
|
196
|
-
return this.
|
|
180
|
+
function number1(number) {
|
|
181
|
+
return this.structOf('number', [this.convertToTerm(number)]);
|
|
197
182
|
}
|
|
198
|
-
function
|
|
199
|
-
return this.structOf('
|
|
183
|
+
function var1(term) {
|
|
184
|
+
return this.structOf('var', [this.convertToTerm(term)]);
|
|
200
185
|
}
|
|
201
|
-
function
|
|
202
|
-
return this.structOf('
|
|
186
|
+
function write1(term) {
|
|
187
|
+
return this.structOf('write', [this.convertToTerm(term)]);
|
|
203
188
|
}
|
|
204
|
-
function
|
|
205
|
-
return this.structOf('
|
|
189
|
+
function univ2(_this__u8e3s4, other) {
|
|
190
|
+
return this.structOf('=..', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
206
191
|
}
|
|
207
|
-
function
|
|
208
|
-
return this.structOf('
|
|
192
|
+
function eq2(_this__u8e3s4, right) {
|
|
193
|
+
return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
209
194
|
}
|
|
210
|
-
function
|
|
211
|
-
return this.
|
|
195
|
+
function neq2(_this__u8e3s4, right) {
|
|
196
|
+
return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
212
197
|
}
|
|
213
|
-
function
|
|
214
|
-
return this.structOf('
|
|
198
|
+
function id2(_this__u8e3s4, right) {
|
|
199
|
+
return this.structOf('==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
215
200
|
}
|
|
216
|
-
function
|
|
217
|
-
return this.structOf('
|
|
201
|
+
function nid2(_this__u8e3s4, right) {
|
|
202
|
+
return this.structOf('\\==', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
218
203
|
}
|
|
219
|
-
function
|
|
220
|
-
return this.
|
|
204
|
+
function arithEq2(_this__u8e3s4, right) {
|
|
205
|
+
return this.structOf('=:=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
221
206
|
}
|
|
222
|
-
function
|
|
223
|
-
return this.structOf('
|
|
207
|
+
function arithNeq2(_this__u8e3s4, right) {
|
|
208
|
+
return this.structOf('=\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(right)]);
|
|
224
209
|
}
|
|
225
|
-
function
|
|
226
|
-
return this.structOf('
|
|
210
|
+
function member2(item, list) {
|
|
211
|
+
return this.structOf('member', [this.convertToTerm(item), this.convertToTerm(list)]);
|
|
227
212
|
}
|
|
228
|
-
function
|
|
229
|
-
return this.
|
|
213
|
+
function retract1(clause) {
|
|
214
|
+
return this.structOf('retract', [this.convertToTerm(clause)]);
|
|
230
215
|
}
|
|
231
|
-
function
|
|
232
|
-
return this.
|
|
216
|
+
function append3(left, right, result) {
|
|
217
|
+
return this.structOf('append', [this.convertToTerm(left), this.convertToTerm(right), this.convertToTerm(result)]);
|
|
233
218
|
}
|
|
234
|
-
function
|
|
235
|
-
return this.
|
|
219
|
+
function retractall1(clause) {
|
|
220
|
+
return this.structOf('retractall', [this.convertToTerm(clause)]);
|
|
236
221
|
}
|
|
237
|
-
function
|
|
238
|
-
return this.
|
|
222
|
+
function abolish1(indicator) {
|
|
223
|
+
return this.structOf('abolish', [this.convertToTerm(indicator)]);
|
|
239
224
|
}
|
|
240
|
-
function
|
|
241
|
-
|
|
242
|
-
// Inline function 'kotlin.contracts.contract' call
|
|
243
|
-
// Inline function 'it.unibo.tuprolog.dsl.LogicProgrammingScopeWithOperators.and.<anonymous>' call
|
|
244
|
-
var it = this.convertToTerm(_this__u8e3s4);
|
|
245
|
-
var otherTerm = this.convertToTerm(other);
|
|
246
|
-
var tmp;
|
|
247
|
-
if (isInterface(it, Tuple)) {
|
|
248
|
-
tmp = this.tupleOfIterable(plus(it.mw(), otherTerm));
|
|
249
|
-
} else {
|
|
250
|
-
tmp = this.tupleOf([this.convertToTerm(_this__u8e3s4), otherTerm]);
|
|
251
|
-
}
|
|
252
|
-
return tmp;
|
|
225
|
+
function atom_chars2(atom, chars) {
|
|
226
|
+
return this.structOf('atom_chars', [this.convertToTerm(atom), this.convertToTerm(chars)]);
|
|
253
227
|
}
|
|
254
|
-
function
|
|
255
|
-
return this.structOf('
|
|
228
|
+
function atom_codes2(atom, codes) {
|
|
229
|
+
return this.structOf('atom_codes', [this.convertToTerm(atom), this.convertToTerm(codes)]);
|
|
256
230
|
}
|
|
257
|
-
function
|
|
258
|
-
return this.structOf('
|
|
231
|
+
function atom_concat3(first, second, result) {
|
|
232
|
+
return this.structOf('atom_concat', [this.convertToTerm(first), this.convertToTerm(second), this.convertToTerm(result)]);
|
|
259
233
|
}
|
|
260
|
-
function
|
|
261
|
-
return this.structOf('
|
|
234
|
+
function atom_length2(atom, length) {
|
|
235
|
+
return this.structOf('atom_length', [this.convertToTerm(atom), this.convertToTerm(length)]);
|
|
262
236
|
}
|
|
263
|
-
function
|
|
264
|
-
return this.structOf('
|
|
237
|
+
function char_code2(char, code) {
|
|
238
|
+
return this.structOf('char_code', [this.convertToTerm(char), this.convertToTerm(code)]);
|
|
265
239
|
}
|
|
266
|
-
function
|
|
267
|
-
return this.structOf('
|
|
240
|
+
function clause2(head, body) {
|
|
241
|
+
return this.structOf('clause', [this.convertToTerm(head), this.convertToTerm(body)]);
|
|
268
242
|
}
|
|
269
|
-
function
|
|
270
|
-
|
|
271
|
-
var tmp;
|
|
272
|
-
if (isInterface(t, Struct)) {
|
|
273
|
-
tmp = this.ruleOf(t, this.convertToTerm(other), []);
|
|
274
|
-
} else {
|
|
275
|
-
raiseErrorConvertingTo(_this__u8e3s4, getKClass(Struct));
|
|
276
|
-
}
|
|
277
|
-
return tmp;
|
|
243
|
+
function copy_term2(term, copy) {
|
|
244
|
+
return this.structOf('copy_term', [this.convertToTerm(term), this.convertToTerm(copy)]);
|
|
278
245
|
}
|
|
279
|
-
function
|
|
280
|
-
return this.
|
|
246
|
+
function current_flag2(name, value) {
|
|
247
|
+
return this.structOf('current_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
|
|
281
248
|
}
|
|
282
|
-
function
|
|
283
|
-
|
|
284
|
-
// Inline function 'kotlin.collections.map' call
|
|
285
|
-
// Inline function 'kotlin.collections.mapTo' call
|
|
286
|
-
var destination = ArrayList_init_$Create$(other.length);
|
|
287
|
-
var inductionVariable = 0;
|
|
288
|
-
var last = other.length;
|
|
289
|
-
while (inductionVariable < last) {
|
|
290
|
-
var item = other[inductionVariable];
|
|
291
|
-
inductionVariable = inductionVariable + 1 | 0;
|
|
292
|
-
// Inline function 'it.unibo.tuprolog.dsl.LogicProgrammingScopeWithOperators.impliedBy.<anonymous>' call
|
|
293
|
-
var tmp$ret$0 = this.convertToTerm(item);
|
|
294
|
-
destination.o(tmp$ret$0);
|
|
295
|
-
}
|
|
296
|
-
return this.anyImpliedBy(_this__u8e3s4, tmp.wrapIterableIfNeeded(destination));
|
|
249
|
+
function current_prolog_flag2(name, value) {
|
|
250
|
+
return this.structOf('current_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
|
|
297
251
|
}
|
|
298
|
-
function
|
|
299
|
-
return this.
|
|
252
|
+
function sub_atom5(atom, before, length, after, sub_atom) {
|
|
253
|
+
return this.structOf('sub_atom', [this.convertToTerm(atom), this.convertToTerm(before), this.convertToTerm(length), this.convertToTerm(after), this.convertToTerm(sub_atom)]);
|
|
300
254
|
}
|
|
301
|
-
|
|
255
|
+
function number_chars2(first, second) {
|
|
256
|
+
return this.structOf('number_chars', [this.convertToTerm(first), this.convertToTerm(second)]);
|
|
257
|
+
}
|
|
258
|
+
function number_codes2(first, second) {
|
|
259
|
+
return this.structOf('number_codes', [this.convertToTerm(first), this.convertToTerm(second)]);
|
|
260
|
+
}
|
|
261
|
+
function bagof3(template, goal, bag) {
|
|
262
|
+
return this.structOf('bagof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
|
|
263
|
+
}
|
|
264
|
+
function setof3(template, goal, bag) {
|
|
265
|
+
return this.structOf('setof', [this.convertToTerm(template), this.convertToTerm(goal), this.convertToTerm(bag)]);
|
|
266
|
+
}
|
|
267
|
+
function consult1(url) {
|
|
268
|
+
return this.structOf('consult', [this.convertToTerm(url)]);
|
|
269
|
+
}
|
|
270
|
+
function set_flag2(name, value) {
|
|
271
|
+
return this.structOf('set_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
|
|
272
|
+
}
|
|
273
|
+
function set_prolog_flag2(name, value) {
|
|
274
|
+
return this.structOf('set_prolog_flag', [this.convertToTerm(name), this.convertToTerm(value)]);
|
|
275
|
+
}
|
|
276
|
+
function dynamic1(indicator) {
|
|
277
|
+
return this.structOf('dynamic', [this.convertToTerm(indicator)]);
|
|
278
|
+
}
|
|
279
|
+
function static1(indicator) {
|
|
280
|
+
return this.structOf('static', [this.convertToTerm(indicator)]);
|
|
281
|
+
}
|
|
282
|
+
function solve1(goal) {
|
|
283
|
+
return this.structOf('solve', [this.convertToTerm(goal)]);
|
|
284
|
+
}
|
|
285
|
+
function initialization1(goal) {
|
|
286
|
+
return this.structOf('initialization', [this.convertToTerm(goal)]);
|
|
287
|
+
}
|
|
288
|
+
function load1(url) {
|
|
289
|
+
return this.structOf('load', [this.convertToTerm(url)]);
|
|
290
|
+
}
|
|
291
|
+
function include1(url) {
|
|
292
|
+
return this.structOf('include', [this.convertToTerm(url)]);
|
|
293
|
+
}
|
|
294
|
+
setMetadataFor(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
|
|
302
295
|
function stringInvoke(_this__u8e3s4, term, terms) {
|
|
303
296
|
var tmp = sequenceOf(arrayConcat([[term], terms]));
|
|
304
297
|
return this.structOfSequence(_this__u8e3s4, map(tmp, MinimalLogicProgrammingScope$invoke$lambda(this)));
|
|
@@ -430,205 +423,212 @@
|
|
|
430
423
|
var tmp = this.convertToTerm(function_0(this.newScope()));
|
|
431
424
|
return isInterface(tmp, Rule) ? tmp : THROW_CCE();
|
|
432
425
|
}
|
|
433
|
-
function directive(function_0) {
|
|
434
|
-
var tmp = function_0(this.newScope());
|
|
435
|
-
var tmp_0 = getKClass(Directive);
|
|
436
|
-
return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$directive$directiveOf$ref(this));
|
|
437
|
-
}
|
|
438
|
-
function fact(function_0) {
|
|
439
|
-
var tmp = function_0(this.newScope());
|
|
440
|
-
var tmp_0 = getKClass(Fact);
|
|
441
|
-
return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$factOf$ref(this));
|
|
442
|
-
}
|
|
443
|
-
setMetadataFor(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
|
|
444
|
-
function at_end_of_stream1(alias) {
|
|
445
|
-
return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
|
|
446
|
-
}
|
|
447
|
-
function call1(goal) {
|
|
448
|
-
return this.structOf('call', [this.convertToTerm(goal)]);
|
|
449
|
-
}
|
|
450
|
-
function catch3(goal, error, continuation) {
|
|
451
|
-
return this.structOf('catch', [this.convertToTerm(goal), this.convertToTerm(error), this.convertToTerm(continuation)]);
|
|
452
|
-
}
|
|
453
|
-
function throw1(error) {
|
|
454
|
-
return this.structOf('throw', [this.convertToTerm(error)]);
|
|
455
|
-
}
|
|
456
|
-
function not1(goal) {
|
|
457
|
-
return this.structOf('not', [this.convertToTerm(goal)]);
|
|
458
|
-
}
|
|
459
|
-
function naf1(goal) {
|
|
460
|
-
return this.structOf('\\+', [this.convertToTerm(goal)]);
|
|
461
|
-
}
|
|
462
|
-
function assert1(clause) {
|
|
463
|
-
return this.structOf('assert', [this.convertToTerm(clause)]);
|
|
464
|
-
}
|
|
465
|
-
function asserta1(clause) {
|
|
466
|
-
return this.structOf('asserta', [this.convertToTerm(clause)]);
|
|
467
|
-
}
|
|
468
|
-
function assertz1(clause) {
|
|
469
|
-
return this.structOf('assertz', [this.convertToTerm(clause)]);
|
|
470
|
-
}
|
|
471
|
-
function arg3(index, compound, argument) {
|
|
472
|
-
return this.structOf('arg', [this.convertToTerm(index), this.convertToTerm(compound), this.convertToTerm(argument)]);
|
|
473
|
-
}
|
|
474
|
-
function atom1(atom) {
|
|
475
|
-
return this.structOf('atom', [this.convertToTerm(atom)]);
|
|
476
|
-
}
|
|
477
|
-
function atomic1(atomic) {
|
|
478
|
-
return this.structOf('atomic', [this.convertToTerm(atomic)]);
|
|
479
|
-
}
|
|
480
|
-
function between3(min, max, number) {
|
|
481
|
-
return this.structOf('between', [this.convertToTerm(min), this.convertToTerm(max), this.convertToTerm(number)]);
|
|
426
|
+
function directive(function_0) {
|
|
427
|
+
var tmp = function_0(this.newScope());
|
|
428
|
+
var tmp_0 = getKClass(Directive);
|
|
429
|
+
return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$directive$directiveOf$ref(this));
|
|
482
430
|
}
|
|
483
|
-
function
|
|
484
|
-
|
|
431
|
+
function fact(function_0) {
|
|
432
|
+
var tmp = function_0(this.newScope());
|
|
433
|
+
var tmp_0 = getKClass(Fact);
|
|
434
|
+
return this.convertToSpecificSubTypeOfTerm(tmp, tmp_0, MinimalLogicProgrammingScope$factOf$ref(this));
|
|
485
435
|
}
|
|
486
|
-
|
|
487
|
-
|
|
436
|
+
setMetadataFor(MinimalLogicProgrammingScope, 'MinimalLogicProgrammingScope', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
|
|
437
|
+
function termPlus(_this__u8e3s4, other) {
|
|
438
|
+
return this.structOf('+', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
488
439
|
}
|
|
489
|
-
function
|
|
490
|
-
return this.
|
|
440
|
+
function number(_this__u8e3s4, other) {
|
|
441
|
+
return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
|
|
491
442
|
}
|
|
492
|
-
function
|
|
493
|
-
return this.
|
|
443
|
+
function booleanPlus(_this__u8e3s4, other) {
|
|
444
|
+
return this.termPlus(this.convertToTerm(_this__u8e3s4), other);
|
|
494
445
|
}
|
|
495
|
-
function
|
|
496
|
-
return this.
|
|
446
|
+
function charPlus(_this__u8e3s4, other) {
|
|
447
|
+
return this.termPlus(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
497
448
|
}
|
|
498
|
-
function
|
|
499
|
-
return this.structOf('
|
|
449
|
+
function termMinus(_this__u8e3s4, other) {
|
|
450
|
+
return this.structOf('-', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
500
451
|
}
|
|
501
|
-
function
|
|
502
|
-
return this.
|
|
452
|
+
function numberMinus(_this__u8e3s4, other) {
|
|
453
|
+
return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
|
|
503
454
|
}
|
|
504
|
-
function
|
|
505
|
-
return this.
|
|
455
|
+
function booleanMinus(_this__u8e3s4, other) {
|
|
456
|
+
return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
|
|
506
457
|
}
|
|
507
|
-
function
|
|
508
|
-
return this.
|
|
458
|
+
function charMinus(_this__u8e3s4, other) {
|
|
459
|
+
return this.termMinus(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
509
460
|
}
|
|
510
|
-
function
|
|
511
|
-
return this.
|
|
461
|
+
function stringMinus(_this__u8e3s4, other) {
|
|
462
|
+
return this.termMinus(this.convertToTerm(_this__u8e3s4), other);
|
|
512
463
|
}
|
|
513
|
-
function
|
|
514
|
-
return this.structOf('
|
|
464
|
+
function termTimes(_this__u8e3s4, other) {
|
|
465
|
+
return this.structOf('*', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
515
466
|
}
|
|
516
|
-
function
|
|
517
|
-
return this.
|
|
467
|
+
function numberTimes(_this__u8e3s4, other) {
|
|
468
|
+
return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
|
|
518
469
|
}
|
|
519
|
-
function
|
|
520
|
-
return this.
|
|
470
|
+
function booleanTimes(_this__u8e3s4, other) {
|
|
471
|
+
return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
|
|
521
472
|
}
|
|
522
|
-
function
|
|
523
|
-
return this.
|
|
473
|
+
function charTimes(_this__u8e3s4, other) {
|
|
474
|
+
return this.termTimes(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
524
475
|
}
|
|
525
|
-
function
|
|
526
|
-
return this.
|
|
476
|
+
function stringTimes(_this__u8e3s4, other) {
|
|
477
|
+
return this.termTimes(this.convertToTerm(_this__u8e3s4), other);
|
|
527
478
|
}
|
|
528
|
-
function
|
|
529
|
-
return this.
|
|
479
|
+
function termDiv(_this__u8e3s4, other) {
|
|
480
|
+
return this.indicatorOf(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
|
|
530
481
|
}
|
|
531
|
-
function
|
|
532
|
-
return this.
|
|
482
|
+
function numberDiv(_this__u8e3s4, other) {
|
|
483
|
+
return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
|
|
533
484
|
}
|
|
534
|
-
function
|
|
535
|
-
return this.
|
|
485
|
+
function booleanDiv(_this__u8e3s4, other) {
|
|
486
|
+
return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
|
|
536
487
|
}
|
|
537
|
-
function
|
|
538
|
-
return this.
|
|
488
|
+
function charDiv(_this__u8e3s4, other) {
|
|
489
|
+
return this.termDiv(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
539
490
|
}
|
|
540
|
-
function
|
|
541
|
-
return this.
|
|
491
|
+
function stringDiv(_this__u8e3s4, other) {
|
|
492
|
+
return this.termDiv(this.convertToTerm(_this__u8e3s4), other);
|
|
542
493
|
}
|
|
543
|
-
function
|
|
544
|
-
return this.structOf('
|
|
494
|
+
function anyEqualsTo(_this__u8e3s4, other) {
|
|
495
|
+
return this.structOf('=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
545
496
|
}
|
|
546
|
-
function
|
|
547
|
-
return this.structOf('
|
|
497
|
+
function anyNotEqualsTo(_this__u8e3s4, other) {
|
|
498
|
+
return this.structOf('\\=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
548
499
|
}
|
|
549
|
-
function
|
|
550
|
-
return this.structOf('
|
|
500
|
+
function anyGreaterThan(_this__u8e3s4, other) {
|
|
501
|
+
return this.structOf('>', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
551
502
|
}
|
|
552
|
-
function
|
|
553
|
-
return this.structOf('
|
|
503
|
+
function anyGreaterThanOrEqualsTo(_this__u8e3s4, other) {
|
|
504
|
+
return this.structOf('>=', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
554
505
|
}
|
|
555
|
-
function
|
|
556
|
-
return this.
|
|
506
|
+
function anyNonLowerThan(_this__u8e3s4, other) {
|
|
507
|
+
return this.anyGreaterThanOrEqualsTo(_this__u8e3s4, other);
|
|
557
508
|
}
|
|
558
|
-
function
|
|
559
|
-
return this.structOf('
|
|
509
|
+
function anyLowerThan(_this__u8e3s4, other) {
|
|
510
|
+
return this.structOf('<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
560
511
|
}
|
|
561
|
-
function
|
|
562
|
-
return this.structOf('
|
|
512
|
+
function anyLowerThanOrEqualsTo(_this__u8e3s4, other) {
|
|
513
|
+
return this.structOf('=<', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
563
514
|
}
|
|
564
|
-
function
|
|
565
|
-
return this.
|
|
515
|
+
function anyNonGreaterThan(_this__u8e3s4, other) {
|
|
516
|
+
return this.anyLowerThanOrEqualsTo(_this__u8e3s4, other);
|
|
566
517
|
}
|
|
567
|
-
function
|
|
568
|
-
return this.structOf('
|
|
518
|
+
function anyIntDiv(_this__u8e3s4, other) {
|
|
519
|
+
return this.structOf('//', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
569
520
|
}
|
|
570
|
-
function
|
|
571
|
-
return this.structOf('
|
|
521
|
+
function termRem(_this__u8e3s4, other) {
|
|
522
|
+
return this.structOf('rem', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
572
523
|
}
|
|
573
|
-
function
|
|
574
|
-
return this.
|
|
524
|
+
function numberRem(_this__u8e3s4, other) {
|
|
525
|
+
return this.termRem(this.convertToTerm(_this__u8e3s4), other);
|
|
575
526
|
}
|
|
576
|
-
function
|
|
577
|
-
return this.
|
|
527
|
+
function booleanRem(_this__u8e3s4, other) {
|
|
528
|
+
return this.termRem(this.convertToTerm(_this__u8e3s4), other);
|
|
578
529
|
}
|
|
579
|
-
function
|
|
580
|
-
return this.
|
|
530
|
+
function charRem(_this__u8e3s4, other) {
|
|
531
|
+
return this.termRem(this.convertToTerm(new Char(_this__u8e3s4)), other);
|
|
581
532
|
}
|
|
582
|
-
function
|
|
583
|
-
return this.
|
|
533
|
+
function stringRem(_this__u8e3s4, other) {
|
|
534
|
+
return this.termRem(this.convertToTerm(_this__u8e3s4), other);
|
|
584
535
|
}
|
|
585
|
-
function
|
|
586
|
-
|
|
536
|
+
function anyAnd(_this__u8e3s4, other) {
|
|
537
|
+
// Inline function 'kotlin.let' call
|
|
538
|
+
// Inline function 'kotlin.contracts.contract' call
|
|
539
|
+
// Inline function 'it.unibo.tuprolog.dsl.LogicProgrammingScopeWithOperators.and.<anonymous>' call
|
|
540
|
+
var it = this.convertToTerm(_this__u8e3s4);
|
|
541
|
+
var otherTerm = this.convertToTerm(other);
|
|
542
|
+
var tmp;
|
|
543
|
+
if (isInterface(it, Tuple)) {
|
|
544
|
+
tmp = this.tupleOfIterable(plus(it.mw(), otherTerm));
|
|
545
|
+
} else {
|
|
546
|
+
tmp = this.tupleOf([this.convertToTerm(_this__u8e3s4), otherTerm]);
|
|
547
|
+
}
|
|
548
|
+
return tmp;
|
|
587
549
|
}
|
|
588
|
-
function
|
|
589
|
-
return this.structOf('
|
|
550
|
+
function anyOr(_this__u8e3s4, other) {
|
|
551
|
+
return this.structOf(';', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
590
552
|
}
|
|
591
|
-
function
|
|
592
|
-
return this.structOf('
|
|
553
|
+
function anyPow(_this__u8e3s4, other) {
|
|
554
|
+
return this.structOf('**', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
593
555
|
}
|
|
594
|
-
function
|
|
595
|
-
return this.structOf('
|
|
556
|
+
function anySup(_this__u8e3s4, other) {
|
|
557
|
+
return this.structOf('^', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
596
558
|
}
|
|
597
|
-
function
|
|
598
|
-
return this.structOf('
|
|
559
|
+
function anyIs(_this__u8e3s4, other) {
|
|
560
|
+
return this.structOf('is', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
599
561
|
}
|
|
600
|
-
function
|
|
601
|
-
return this.structOf('
|
|
562
|
+
function anyThen(_this__u8e3s4, other) {
|
|
563
|
+
return this.structOf('->', [this.convertToTerm(_this__u8e3s4), this.convertToTerm(other)]);
|
|
602
564
|
}
|
|
603
|
-
function
|
|
604
|
-
|
|
565
|
+
function anyImpliedBy(_this__u8e3s4, other) {
|
|
566
|
+
var t = this.convertToTerm(_this__u8e3s4);
|
|
567
|
+
var tmp;
|
|
568
|
+
if (isInterface(t, Struct)) {
|
|
569
|
+
tmp = this.ruleOf(t, this.convertToTerm(other), []);
|
|
570
|
+
} else {
|
|
571
|
+
raiseErrorConvertingTo(_this__u8e3s4, getKClass(Struct));
|
|
572
|
+
}
|
|
573
|
+
return tmp;
|
|
605
574
|
}
|
|
606
|
-
function
|
|
607
|
-
return this.
|
|
575
|
+
function anyIf(_this__u8e3s4, other) {
|
|
576
|
+
return this.anyImpliedBy(_this__u8e3s4, other);
|
|
608
577
|
}
|
|
609
|
-
function
|
|
610
|
-
|
|
578
|
+
function anyImpliedByVararg(_this__u8e3s4, other) {
|
|
579
|
+
var tmp = Companion_instance_1;
|
|
580
|
+
// Inline function 'kotlin.collections.map' call
|
|
581
|
+
// Inline function 'kotlin.collections.mapTo' call
|
|
582
|
+
var destination = ArrayList_init_$Create$(other.length);
|
|
583
|
+
var inductionVariable = 0;
|
|
584
|
+
var last = other.length;
|
|
585
|
+
while (inductionVariable < last) {
|
|
586
|
+
var item = other[inductionVariable];
|
|
587
|
+
inductionVariable = inductionVariable + 1 | 0;
|
|
588
|
+
// Inline function 'it.unibo.tuprolog.dsl.LogicProgrammingScopeWithOperators.impliedBy.<anonymous>' call
|
|
589
|
+
var tmp$ret$0 = this.convertToTerm(item);
|
|
590
|
+
destination.o(tmp$ret$0);
|
|
591
|
+
}
|
|
592
|
+
return this.anyImpliedBy(_this__u8e3s4, tmp.wrapIterableIfNeeded(destination));
|
|
611
593
|
}
|
|
612
|
-
function
|
|
613
|
-
return this.
|
|
594
|
+
function anyIfVararg(_this__u8e3s4, other) {
|
|
595
|
+
return this.anyImpliedByVararg(_this__u8e3s4, other.slice());
|
|
614
596
|
}
|
|
615
|
-
|
|
616
|
-
|
|
597
|
+
setMetadataFor(LogicProgrammingScopeWithOperators, 'LogicProgrammingScopeWithOperators', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
|
|
598
|
+
function varTo(_this__u8e3s4, termObject) {
|
|
599
|
+
return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
|
|
617
600
|
}
|
|
618
|
-
function
|
|
619
|
-
return this.
|
|
601
|
+
function stringTo(_this__u8e3s4, termObject) {
|
|
602
|
+
return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
|
|
620
603
|
}
|
|
621
|
-
function
|
|
622
|
-
|
|
604
|
+
function substitutionGet(_this__u8e3s4, term) {
|
|
605
|
+
var t = this.convertToTerm(term);
|
|
606
|
+
var tmp;
|
|
607
|
+
if (isInterface(t, Var)) {
|
|
608
|
+
tmp = _this__u8e3s4.x2(t);
|
|
609
|
+
} else {
|
|
610
|
+
raiseErrorConvertingTo(term, getKClass(Var));
|
|
611
|
+
}
|
|
612
|
+
return tmp;
|
|
623
613
|
}
|
|
624
|
-
function
|
|
625
|
-
|
|
614
|
+
function substitutionContainsKey(_this__u8e3s4, term) {
|
|
615
|
+
var t = this.convertToTerm(term);
|
|
616
|
+
var tmp;
|
|
617
|
+
if (isInterface(t, Var)) {
|
|
618
|
+
tmp = _this__u8e3s4.u2(t);
|
|
619
|
+
} else {
|
|
620
|
+
raiseErrorConvertingTo(term, getKClass(Var));
|
|
621
|
+
}
|
|
622
|
+
return tmp;
|
|
626
623
|
}
|
|
627
|
-
function
|
|
628
|
-
return this.
|
|
624
|
+
function substitutionContains(_this__u8e3s4, term) {
|
|
625
|
+
return this.substitutionContainsKey(_this__u8e3s4, term);
|
|
629
626
|
}
|
|
630
|
-
|
|
631
|
-
|
|
627
|
+
function substitutionContainsValue(_this__u8e3s4, term) {
|
|
628
|
+
return _this__u8e3s4.v2(this.convertToTerm(term));
|
|
629
|
+
}
|
|
630
|
+
setMetadataFor(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', interfaceMeta, VOID, [BaseLogicProgrammingScope]);
|
|
631
|
+
setMetadataFor(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', classMeta, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, Scope, MinimalLogicProgrammingScope, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope]);
|
|
632
632
|
setMetadataFor(Companion_0, 'Companion', objectMeta);
|
|
633
633
|
setMetadataFor(DefaultTermificator, 'DefaultTermificator', classMeta, AbstractTermificator);
|
|
634
634
|
//endregion
|