@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 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.$_$.la;
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.$_$.pa;
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.$_$.xa;
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.$_$.ia;
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.$_$.r9;
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.$_$.ya;
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.$_$.aa;
108
- var Comparator = kotlin_kotlin.$_$.ba;
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.$_$.ca;
112
- var noWhenBranchMatchedException = kotlin_kotlin.$_$.sa;
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.$_$.ka;
122
+ var RuntimeException = kotlin_kotlin.$_$.oa;
123
123
  var Iterable = kotlin_kotlin.$_$.m1;
124
- var lazy = kotlin_kotlin.$_$.ra;
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.$_$.ja;
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.$_$.ea;
167
- var IllegalArgumentException = kotlin_kotlin.$_$.da;
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.$_$.ma;
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.$_$.la;
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.$_$.z9;
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.$_$.ja;
53
- var Triple = kotlin_kotlin.$_$.na;
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 at_end_of_stream1(alias) {
108
- return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
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 static1(indicator) {
279
- return this.structOf('static', [this.convertToTerm(indicator)]);
110
+ function stringTo(_this__u8e3s4, termObject) {
111
+ return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
280
112
  }
281
- function solve1(goal) {
282
- return this.structOf('solve', [this.convertToTerm(goal)]);
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 initialization1(goal) {
285
- return this.structOf('initialization', [this.convertToTerm(goal)]);
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 load1(url) {
288
- return this.structOf('load', [this.convertToTerm(url)]);
133
+ function substitutionContains(_this__u8e3s4, term) {
134
+ return this.substitutionContainsKey(_this__u8e3s4, term);
289
135
  }
290
- function include1(url) {
291
- return this.structOf('include', [this.convertToTerm(url)]);
136
+ function substitutionContainsValue(_this__u8e3s4, term) {
137
+ return _this__u8e3s4.g2(this.convertToTerm(term));
292
138
  }
293
- initMetadataForInterface(LogicProgrammingScopeWithPrologStandardLibrary, 'LogicProgrammingScopeWithPrologStandardLibrary', VOID, VOID, [BaseLogicProgrammingScope]);
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 varTo(_this__u8e3s4, termObject) {
587
- return Companion_getInstance_0().of(_this__u8e3s4, this.convertToTerm(termObject));
432
+ function at_end_of_stream1(alias) {
433
+ return this.structOf('at_end_of_stream', [this.convertToTerm(alias)]);
588
434
  }
589
- function stringTo(_this__u8e3s4, termObject) {
590
- return Companion_getInstance_0().of(this.varOf(_this__u8e3s4), this.convertToTerm(termObject));
435
+ function call1(goal) {
436
+ return this.structOf('call', [this.convertToTerm(goal)]);
591
437
  }
592
- function substitutionGet(_this__u8e3s4, term) {
593
- var t = this.convertToTerm(term);
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 substitutionContainsKey(_this__u8e3s4, term) {
603
- var t = this.convertToTerm(term);
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 substitutionContains(_this__u8e3s4, term) {
613
- return this.substitutionContainsKey(_this__u8e3s4, term);
444
+ function not1(goal) {
445
+ return this.structOf('not', [this.convertToTerm(goal)]);
614
446
  }
615
- function substitutionContainsValue(_this__u8e3s4, term) {
616
- return _this__u8e3s4.g2(this.convertToTerm(term));
447
+ function naf1(goal) {
448
+ return this.structOf('\\+', [this.convertToTerm(goal)]);
617
449
  }
618
- initMetadataForInterface(LogicProgrammingScopeWithSubstitutions, 'LogicProgrammingScopeWithSubstitutions', VOID, VOID, [BaseLogicProgrammingScope]);
619
- initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [BaseLogicProgrammingScope, LogicProgrammingScopeWithPrologStandardLibrary, Scope, LogicProgrammingScopeWithOperators, MinimalLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions]);
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