@tuprolog/arg2p 0.14.1 → 0.15.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.
Files changed (23) hide show
  1. package/2p-core.js +102 -102
  2. package/2p-dsl-core.js +209 -209
  3. package/2p-dsl-core.js.map +1 -1
  4. package/2p-dsl-solve.js +15 -15
  5. package/2p-dsl-theory.js +17 -17
  6. package/2p-dsl-unify.js +11 -11
  7. package/2p-parser-core.js +30 -30
  8. package/2p-parser-js.js +1 -1
  9. package/2p-parser-theory.js +6 -6
  10. package/2p-solve-classic.js +51 -51
  11. package/2p-solve.js +128 -128
  12. package/2p-theory.js +60 -60
  13. package/2p-unify.js +21 -21
  14. package/2p-utils.js +43 -43
  15. package/arg2p-causality-solver.js +437 -153
  16. package/arg2p-causality-solver.js.map +1 -1
  17. package/arg2p-core.js +63 -63
  18. package/arg2p-core.js.map +1 -1
  19. package/arg2p.js +43 -43
  20. package/kotlin-kotlin-stdlib.js +255 -242
  21. package/kotlin-kotlin-stdlib.js.map +1 -1
  22. package/kt-math.js +72 -72
  23. package/package.json +1 -1
package/2p-solve.js CHANGED
@@ -29,143 +29,143 @@
29
29
  //region block: imports
30
30
  var imul = Math.imul;
31
31
  var VOID = kotlin_kotlin.$_$.b;
32
- var protoOf = kotlin_kotlin.$_$.n6;
33
- var to = kotlin_kotlin.$_$.cb;
34
- var defineProp = kotlin_kotlin.$_$.t5;
35
- var initMetadataForClass = kotlin_kotlin.$_$.a6;
36
- var add = kotlin_kotlin.$_$.v4;
37
- var subtract = kotlin_kotlin.$_$.i5;
38
- var initMetadataForInterface = kotlin_kotlin.$_$.c6;
39
- var listOf = kotlin_kotlin.$_$.d3;
40
- var asIterable = kotlin_kotlin.$_$.l7;
41
- var ensureNotNull = kotlin_kotlin.$_$.ua;
32
+ var protoOf = kotlin_kotlin.$_$.o6;
33
+ var to = kotlin_kotlin.$_$.db;
34
+ var defineProp = kotlin_kotlin.$_$.u5;
35
+ var initMetadataForClass = kotlin_kotlin.$_$.b6;
36
+ var add = kotlin_kotlin.$_$.w4;
37
+ var subtract = kotlin_kotlin.$_$.j5;
38
+ var initMetadataForInterface = kotlin_kotlin.$_$.d6;
39
+ var listOf = kotlin_kotlin.$_$.e3;
40
+ var asIterable = kotlin_kotlin.$_$.m7;
41
+ var ensureNotNull = kotlin_kotlin.$_$.va;
42
42
  var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
43
43
  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.k;
44
- var last = kotlin_kotlin.$_$.a3;
44
+ var last = kotlin_kotlin.$_$.b3;
45
45
  var Struct = kotlin_it_unibo_tuprolog_core.$_$.s1;
46
- var isInterface = kotlin_kotlin.$_$.h6;
47
- var first = kotlin_kotlin.$_$.r2;
48
- var IllegalArgumentException = kotlin_kotlin.$_$.ia;
49
- var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
50
- var toString = kotlin_kotlin.$_$.q6;
46
+ var isInterface = kotlin_kotlin.$_$.i6;
47
+ var first = kotlin_kotlin.$_$.s2;
48
+ var IllegalArgumentException = kotlin_kotlin.$_$.ja;
49
+ var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
50
+ var toString = kotlin_kotlin.$_$.r6;
51
51
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
52
52
  var Unit_instance = kotlin_kotlin.$_$.l1;
53
53
  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
54
54
  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.o;
55
55
  var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.n;
56
- var NotImplementedError = kotlin_kotlin.$_$.la;
56
+ var NotImplementedError = kotlin_kotlin.$_$.ma;
57
57
  var count = kotlin_kotlin.$_$.l2;
58
- var toList = kotlin_kotlin.$_$.f4;
58
+ var toList = kotlin_kotlin.$_$.g4;
59
59
  var asSequence = kotlin_kotlin.$_$.a2;
60
- var getStringHashCode = kotlin_kotlin.$_$.y5;
61
- var getBooleanHashCode = kotlin_kotlin.$_$.w5;
60
+ var getStringHashCode = kotlin_kotlin.$_$.z5;
61
+ var getBooleanHashCode = kotlin_kotlin.$_$.x5;
62
62
  var TermConvertible = kotlin_it_unibo_tuprolog_core.$_$.u1;
63
63
  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.v;
64
64
  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
65
- var getKClass = kotlin_kotlin.$_$.f7;
65
+ var getKClass = kotlin_kotlin.$_$.g7;
66
66
  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.o;
67
67
  var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.o;
68
68
  var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
69
- var emptyMap = kotlin_kotlin.$_$.o2;
70
- var objectCreate = kotlin_kotlin.$_$.m6;
71
- var THROW_CCE = kotlin_kotlin.$_$.qa;
69
+ var emptyMap = kotlin_kotlin.$_$.p2;
70
+ var objectCreate = kotlin_kotlin.$_$.n6;
71
+ var THROW_CCE = kotlin_kotlin.$_$.ra;
72
72
  var Var = kotlin_it_unibo_tuprolog_core.$_$.t2;
73
- var lazy = kotlin_kotlin.$_$.wa;
74
- var KProperty1 = kotlin_kotlin.$_$.h7;
75
- var getPropertyCallableRef = kotlin_kotlin.$_$.x5;
76
- var filterNot = kotlin_kotlin.$_$.t7;
77
- var toSet = kotlin_kotlin.$_$.x8;
78
- var equals = kotlin_kotlin.$_$.u5;
79
- var hashCode = kotlin_kotlin.$_$.z5;
80
- var getKClassFromExpression = kotlin_kotlin.$_$.e7;
73
+ var lazy = kotlin_kotlin.$_$.xa;
74
+ var KProperty1 = kotlin_kotlin.$_$.i7;
75
+ var getPropertyCallableRef = kotlin_kotlin.$_$.y5;
76
+ var filterNot = kotlin_kotlin.$_$.u7;
77
+ var toSet = kotlin_kotlin.$_$.y8;
78
+ var equals = kotlin_kotlin.$_$.v5;
79
+ var hashCode = kotlin_kotlin.$_$.a6;
80
+ var getKClassFromExpression = kotlin_kotlin.$_$.f7;
81
81
  var Unifier = kotlin_it_unibo_tuprolog_core.$_$.t1;
82
82
  var getTag = kotlin_it_unibo_tuprolog_utils.$_$.n;
83
83
  var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
84
84
  var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
85
85
  var arrayConcat = kotlin_kotlin.$_$.a;
86
- var toMap = kotlin_kotlin.$_$.i4;
87
- var plus = kotlin_kotlin.$_$.s3;
88
- var toMutableMap = kotlin_kotlin.$_$.m4;
89
- var mapOf = kotlin_kotlin.$_$.g3;
90
- var toList_0 = kotlin_kotlin.$_$.v8;
91
- var first_0 = kotlin_kotlin.$_$.w7;
86
+ var toMap = kotlin_kotlin.$_$.j4;
87
+ var plus = kotlin_kotlin.$_$.t3;
88
+ var toMutableMap = kotlin_kotlin.$_$.n4;
89
+ var mapOf = kotlin_kotlin.$_$.h3;
90
+ var toList_0 = kotlin_kotlin.$_$.w8;
91
+ var first_0 = kotlin_kotlin.$_$.x7;
92
92
  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_unify.$_$.b;
93
93
  var OperatorSet = kotlin_it_unibo_tuprolog_core.$_$.d1;
94
- var sequenceOf = kotlin_kotlin.$_$.m8;
95
- var flatMap = kotlin_kotlin.$_$.x7;
96
- var plus_0 = kotlin_kotlin.$_$.k8;
97
- var filter = kotlin_kotlin.$_$.u7;
98
- var Sequence = kotlin_kotlin.$_$.j7;
99
- var map = kotlin_kotlin.$_$.g8;
100
- var filterNotNull = kotlin_kotlin.$_$.s7;
94
+ var sequenceOf = kotlin_kotlin.$_$.n8;
95
+ var flatMap = kotlin_kotlin.$_$.y7;
96
+ var plus_0 = kotlin_kotlin.$_$.l8;
97
+ var filter = kotlin_kotlin.$_$.v7;
98
+ var Sequence = kotlin_kotlin.$_$.k7;
99
+ var map = kotlin_kotlin.$_$.h8;
100
+ var filterNotNull = kotlin_kotlin.$_$.t7;
101
101
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.d;
102
102
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
103
103
  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.i;
104
104
  var Directive = kotlin_it_unibo_tuprolog_core.$_$.j1;
105
105
  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.h;
106
106
  var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.a1;
107
- var emptySequence = kotlin_kotlin.$_$.r7;
108
- var toMap_0 = kotlin_kotlin.$_$.k4;
109
- var toMap_1 = kotlin_kotlin.$_$.j4;
110
- var mapOf_0 = kotlin_kotlin.$_$.h3;
111
- var sequenceOf_0 = kotlin_kotlin.$_$.n8;
107
+ var emptySequence = kotlin_kotlin.$_$.s7;
108
+ var toMap_0 = kotlin_kotlin.$_$.l4;
109
+ var toMap_1 = kotlin_kotlin.$_$.k4;
110
+ var mapOf_0 = kotlin_kotlin.$_$.i3;
111
+ var sequenceOf_0 = kotlin_kotlin.$_$.o8;
112
112
  var KtMap = kotlin_kotlin.$_$.q1;
113
- var get_ONE = kotlin_kotlin.$_$.u4;
114
- var toString_0 = kotlin_kotlin.$_$.aa;
113
+ var get_ONE = kotlin_kotlin.$_$.v4;
114
+ var toString_0 = kotlin_kotlin.$_$.ba;
115
115
  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d1;
116
- var padStart = kotlin_kotlin.$_$.i9;
116
+ var padStart = kotlin_kotlin.$_$.j9;
117
117
  var synchronizedOnSelf = kotlin_it_unibo_tuprolog_utils.$_$.n1;
118
- var joinToString = kotlin_kotlin.$_$.w2;
118
+ var joinToString = kotlin_kotlin.$_$.x2;
119
119
  var takeFirst = kotlin_it_unibo_tuprolog_utils.$_$.p1;
120
120
  var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.b1;
121
- var initMetadataForObject = kotlin_kotlin.$_$.e6;
122
- var toCharArray = kotlin_kotlin.$_$.w9;
121
+ var initMetadataForObject = kotlin_kotlin.$_$.f6;
122
+ var toCharArray = kotlin_kotlin.$_$.x9;
123
123
  var asSequence_0 = kotlin_kotlin.$_$.y1;
124
- var Char = kotlin_kotlin.$_$.ea;
124
+ var Char = kotlin_kotlin.$_$.fa;
125
125
  var toString_1 = kotlin_kotlin.$_$.h1;
126
- var lineSequence = kotlin_kotlin.$_$.h9;
127
- var minus = kotlin_kotlin.$_$.l3;
128
- var plus_1 = kotlin_kotlin.$_$.u3;
126
+ var lineSequence = kotlin_kotlin.$_$.i9;
127
+ var minus = kotlin_kotlin.$_$.m3;
128
+ var plus_1 = kotlin_kotlin.$_$.v3;
129
129
  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.x;
130
- var minus_0 = kotlin_kotlin.$_$.j3;
130
+ var minus_0 = kotlin_kotlin.$_$.k3;
131
131
  var Rule = kotlin_it_unibo_tuprolog_core.$_$.q1;
132
132
  var Fact = kotlin_it_unibo_tuprolog_core.$_$.k1;
133
133
  var Companion_instance_1 = kotlin_it_unibo_tuprolog_theory.$_$.a;
134
- var emptyList = kotlin_kotlin.$_$.n2;
135
- var plus_2 = kotlin_kotlin.$_$.x3;
134
+ var emptyList = kotlin_kotlin.$_$.o2;
135
+ var plus_2 = kotlin_kotlin.$_$.y3;
136
136
  var LinkedHashSet_init_$Create$ = kotlin_kotlin.$_$.g;
137
137
  var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.g;
138
138
  var Atom = kotlin_it_unibo_tuprolog_core.$_$.f1;
139
139
  var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_core.$_$.j;
140
140
  var Operator = kotlin_it_unibo_tuprolog_core.$_$.e1;
141
141
  var Integer = kotlin_it_unibo_tuprolog_core.$_$.m1;
142
- var firstOrNull = kotlin_kotlin.$_$.v7;
142
+ var firstOrNull = kotlin_kotlin.$_$.w7;
143
143
  var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.t;
144
- var listOf_0 = kotlin_kotlin.$_$.e3;
145
- var captureStack = kotlin_kotlin.$_$.m5;
146
- var get_lastIndex = kotlin_kotlin.$_$.z2;
144
+ var listOf_0 = kotlin_kotlin.$_$.f3;
145
+ var captureStack = kotlin_kotlin.$_$.n5;
146
+ var get_lastIndex = kotlin_kotlin.$_$.a3;
147
147
  var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.x;
148
148
  var format = kotlin_it_unibo_tuprolog_core.$_$.u2;
149
- var NullPointerException = kotlin_kotlin.$_$.ma;
150
- var get_lastIndex_0 = kotlin_kotlin.$_$.y2;
151
- var until = kotlin_kotlin.$_$.d7;
152
- var slice = kotlin_kotlin.$_$.e4;
149
+ var NullPointerException = kotlin_kotlin.$_$.na;
150
+ var get_lastIndex_0 = kotlin_kotlin.$_$.z2;
151
+ var until = kotlin_kotlin.$_$.e7;
152
+ var slice = kotlin_kotlin.$_$.f4;
153
153
  var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.c1;
154
154
  var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.e;
155
- var take = kotlin_kotlin.$_$.s8;
156
- var last_0 = kotlin_kotlin.$_$.b3;
157
- var joinToString_0 = kotlin_kotlin.$_$.x2;
158
- var THROW_IAE = kotlin_kotlin.$_$.ra;
159
- var Enum = kotlin_kotlin.$_$.ha;
160
- var IllegalStateException = kotlin_kotlin.$_$.ja;
161
- var replace = kotlin_kotlin.$_$.o9;
162
- var trimMargin = kotlin_kotlin.$_$.ba;
163
- var drop = kotlin_kotlin.$_$.q7;
164
- var mapCapacity = kotlin_kotlin.$_$.f3;
165
- var coerceAtLeast = kotlin_kotlin.$_$.b7;
155
+ var take = kotlin_kotlin.$_$.t8;
156
+ var last_0 = kotlin_kotlin.$_$.c3;
157
+ var joinToString_0 = kotlin_kotlin.$_$.y2;
158
+ var THROW_IAE = kotlin_kotlin.$_$.sa;
159
+ var Enum = kotlin_kotlin.$_$.ia;
160
+ var IllegalStateException = kotlin_kotlin.$_$.ka;
161
+ var replace = kotlin_kotlin.$_$.p9;
162
+ var trimMargin = kotlin_kotlin.$_$.ca;
163
+ var drop = kotlin_kotlin.$_$.r7;
164
+ var mapCapacity = kotlin_kotlin.$_$.g3;
165
+ var coerceAtLeast = kotlin_kotlin.$_$.c7;
166
166
  var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.e;
167
- var contains = kotlin_kotlin.$_$.n7;
168
- var minus_1 = kotlin_kotlin.$_$.k3;
167
+ var contains = kotlin_kotlin.$_$.o7;
168
+ var minus_1 = kotlin_kotlin.$_$.l3;
169
169
  var Term = kotlin_it_unibo_tuprolog_core.$_$.r2;
170
170
  var visitVar = kotlin_it_unibo_tuprolog_core.$_$.p2;
171
171
  var visitConstant = kotlin_it_unibo_tuprolog_core.$_$.z1;
@@ -190,21 +190,21 @@
190
190
  var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
191
191
  var Numeric = kotlin_it_unibo_tuprolog_core.$_$.o1;
192
192
  var Real = kotlin_it_unibo_tuprolog_core.$_$.p1;
193
- var getBigIntHashCode = kotlin_kotlin.$_$.v5;
194
- var FunctionAdapter = kotlin_kotlin.$_$.k5;
195
- var single = kotlin_kotlin.$_$.c4;
196
- var none = kotlin_kotlin.$_$.r3;
193
+ var getBigIntHashCode = kotlin_kotlin.$_$.w5;
194
+ var FunctionAdapter = kotlin_kotlin.$_$.l5;
195
+ var single = kotlin_kotlin.$_$.d4;
196
+ var none = kotlin_kotlin.$_$.s3;
197
197
  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.u;
198
- var toString_2 = kotlin_kotlin.$_$.bb;
198
+ var toString_2 = kotlin_kotlin.$_$.cb;
199
199
  var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
200
200
  var OperatorSet_init_$Create$_0 = kotlin_it_unibo_tuprolog_core.$_$.f;
201
- var distinct = kotlin_kotlin.$_$.p7;
202
- var Pair = kotlin_kotlin.$_$.oa;
201
+ var distinct = kotlin_kotlin.$_$.q7;
202
+ var Pair = kotlin_kotlin.$_$.pa;
203
203
  var asSequence_1 = kotlin_kotlin.$_$.z1;
204
- var isBlank = kotlin_kotlin.$_$.f9;
204
+ var isBlank = kotlin_kotlin.$_$.g9;
205
205
  var addAll = kotlin_kotlin.$_$.t1;
206
206
  var Companion_instance_4 = kotlin_it_unibo_tuprolog_utils.$_$.a;
207
- var toSet_0 = kotlin_kotlin.$_$.n4;
207
+ var toSet_0 = kotlin_kotlin.$_$.o4;
208
208
  var addAll_0 = kotlin_kotlin.$_$.s1;
209
209
  var Companion_getInstance_8 = kotlin_it_unibo_tuprolog_core.$_$.l;
210
210
  var visitTerm = kotlin_it_unibo_tuprolog_core.$_$.m2;
@@ -212,18 +212,18 @@
212
212
  var visitIndicator = kotlin_it_unibo_tuprolog_core.$_$.g2;
213
213
  var Companion_getInstance_9 = kotlin_io_github_gciatto_kt_math.$_$.e;
214
214
  var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.g1;
215
- var withIndex = kotlin_kotlin.$_$.o4;
215
+ var withIndex = kotlin_kotlin.$_$.p4;
216
216
  var Companion_instance_5 = kotlin_it_unibo_tuprolog_core.$_$.s;
217
217
  var Companion_instance_6 = kotlin_it_unibo_tuprolog_core.$_$.b1;
218
218
  var Theory = kotlin_it_unibo_tuprolog_theory.$_$.g;
219
219
  var MutableTheory = kotlin_it_unibo_tuprolog_theory.$_$.d;
220
220
  var Companion_getInstance_10 = kotlin_it_unibo_tuprolog_core.$_$.q;
221
- var numberToLong = kotlin_kotlin.$_$.e5;
221
+ var numberToLong = kotlin_kotlin.$_$.f5;
222
222
  var Companion_getInstance_11 = kotlin_io_github_gciatto_kt_math.$_$.d;
223
223
  var Companion_getInstance_12 = kotlin_it_unibo_tuprolog_core.$_$.r;
224
224
  var RoundingMode_FLOOR_getInstance = kotlin_io_github_gciatto_kt_math.$_$.b;
225
225
  var MathContext = kotlin_io_github_gciatto_kt_math.$_$.h;
226
- var log = kotlin_kotlin.$_$.t6;
226
+ var log = kotlin_kotlin.$_$.u6;
227
227
  var RoundingMode_HALF_UP_getInstance = kotlin_io_github_gciatto_kt_math.$_$.c;
228
228
  var RoundingMode_DOWN_getInstance = kotlin_io_github_gciatto_kt_math.$_$.a;
229
229
  var Indicator = kotlin_it_unibo_tuprolog_core.$_$.l1;
@@ -232,47 +232,47 @@
232
232
  var Clause = kotlin_it_unibo_tuprolog_core.$_$.g1;
233
233
  var contains_0 = kotlin_kotlin.$_$.d2;
234
234
  var Companion_instance_8 = kotlin_it_unibo_tuprolog_core.$_$.p;
235
- var emptySet = kotlin_kotlin.$_$.p2;
236
- var setOf = kotlin_kotlin.$_$.a4;
235
+ var emptySet = kotlin_kotlin.$_$.q2;
236
+ var setOf = kotlin_kotlin.$_$.b4;
237
237
  var Tuple = kotlin_it_unibo_tuprolog_core.$_$.s2;
238
- var minus_2 = kotlin_kotlin.$_$.m3;
239
- var plus_3 = kotlin_kotlin.$_$.j8;
240
- var mapIndexed = kotlin_kotlin.$_$.f8;
241
- var charCodeAt = kotlin_kotlin.$_$.p5;
242
- var charSequenceLength = kotlin_kotlin.$_$.r5;
243
- var charSequenceGet = kotlin_kotlin.$_$.q5;
238
+ var minus_2 = kotlin_kotlin.$_$.n3;
239
+ var plus_3 = kotlin_kotlin.$_$.k8;
240
+ var mapIndexed = kotlin_kotlin.$_$.g8;
241
+ var charCodeAt = kotlin_kotlin.$_$.q5;
242
+ var charSequenceLength = kotlin_kotlin.$_$.s5;
243
+ var charSequenceGet = kotlin_kotlin.$_$.r5;
244
244
  var List = kotlin_it_unibo_tuprolog_core.$_$.n1;
245
- var joinToString_1 = kotlin_kotlin.$_$.c8;
246
- var removePrefix = kotlin_kotlin.$_$.j9;
247
- var startsWith = kotlin_kotlin.$_$.r9;
248
- var removeSuffix = kotlin_kotlin.$_$.l9;
249
- var endsWith = kotlin_kotlin.$_$.e9;
245
+ var joinToString_1 = kotlin_kotlin.$_$.d8;
246
+ var removePrefix = kotlin_kotlin.$_$.k9;
247
+ var startsWith = kotlin_kotlin.$_$.s9;
248
+ var removeSuffix = kotlin_kotlin.$_$.m9;
249
+ var endsWith = kotlin_kotlin.$_$.f9;
250
250
  var Constant = kotlin_it_unibo_tuprolog_core.$_$.h1;
251
- var generateSequence = kotlin_kotlin.$_$.a8;
252
- var takeWhile = kotlin_kotlin.$_$.r8;
253
- var charArrayOf = kotlin_kotlin.$_$.n5;
254
- var concatToString = kotlin_kotlin.$_$.c9;
251
+ var generateSequence = kotlin_kotlin.$_$.b8;
252
+ var takeWhile = kotlin_kotlin.$_$.s8;
253
+ var charArrayOf = kotlin_kotlin.$_$.o5;
254
+ var concatToString = kotlin_kotlin.$_$.d9;
255
255
  var Collection = kotlin_kotlin.$_$.m1;
256
256
  var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.c1;
257
257
  var stringToAtom = kotlin_it_unibo_tuprolog_core.$_$.x2;
258
- var isCharSequence = kotlin_kotlin.$_$.g6;
259
- var trim = kotlin_kotlin.$_$.ca;
258
+ var isCharSequence = kotlin_kotlin.$_$.h6;
259
+ var trim = kotlin_kotlin.$_$.da;
260
260
  var Success = kotlin_it_unibo_tuprolog_theory.$_$.e;
261
261
  var asReversed = kotlin_kotlin.$_$.x1;
262
262
  var LinkedHashSet_init_$Create$_0 = kotlin_kotlin.$_$.h;
263
- var CoroutineImpl = kotlin_kotlin.$_$.r4;
264
- var SequenceScope = kotlin_kotlin.$_$.i7;
265
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.q4;
266
- var initMetadataForLambda = kotlin_kotlin.$_$.d6;
267
- var sequence = kotlin_kotlin.$_$.o8;
268
- var substring = kotlin_kotlin.$_$.v9;
269
- var substring_0 = kotlin_kotlin.$_$.u9;
270
- var substringBefore = kotlin_kotlin.$_$.t9;
271
- var substringAfter = kotlin_kotlin.$_$.s9;
263
+ var CoroutineImpl = kotlin_kotlin.$_$.s4;
264
+ var SequenceScope = kotlin_kotlin.$_$.j7;
265
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.r4;
266
+ var initMetadataForLambda = kotlin_kotlin.$_$.e6;
267
+ var sequence = kotlin_kotlin.$_$.p8;
268
+ var substring = kotlin_kotlin.$_$.w9;
269
+ var substring_0 = kotlin_kotlin.$_$.v9;
270
+ var substringBefore = kotlin_kotlin.$_$.u9;
271
+ var substringAfter = kotlin_kotlin.$_$.t9;
272
272
  var copyToArray = kotlin_kotlin.$_$.k2;
273
- var split = kotlin_kotlin.$_$.q9;
274
- var split_0 = kotlin_kotlin.$_$.p9;
275
- var print = kotlin_kotlin.$_$.t4;
273
+ var split = kotlin_kotlin.$_$.r9;
274
+ var split_0 = kotlin_kotlin.$_$.q9;
275
+ var print = kotlin_kotlin.$_$.u4;
276
276
  //endregion
277
277
  //region block: pre-declaration
278
278
  initMetadataForClass(AbstractWrapper, 'AbstractWrapper');
@@ -935,7 +935,7 @@
935
935
  initMetadataForClass(ExtensionLibrary, 'ExtensionLibrary', VOID, AbstractLibrary);
936
936
  initMetadataForClass(LibraryImpl, 'LibraryImpl', VOID, AbstractLibrary);
937
937
  initMetadataForCompanion(Companion_38);
938
- initMetadataForClass(RuntimeImpl, 'RuntimeImpl', VOID, AbstractPluggable, [AbstractPluggable, KtMap, Pluggable]);
938
+ initMetadataForClass(RuntimeImpl, 'RuntimeImpl', VOID, AbstractPluggable, [AbstractPluggable, Pluggable, KtMap]);
939
939
  initMetadataForClass(PrimitiveWrapper, 'PrimitiveWrapper', VOID, AbstractWrapper);
940
940
  initMetadataForClass(BinaryRelation, 'BinaryRelation', VOID, PrimitiveWrapper);
941
941
  initMetadataForClass(NonBacktrackable, 'NonBacktrackable', VOID, BinaryRelation);
package/2p-theory.js CHANGED
@@ -22,106 +22,106 @@
22
22
  'use strict';
23
23
  //region block: imports
24
24
  var imul = Math.imul;
25
- var protoOf = kotlin_kotlin.$_$.n6;
26
- var asIterable = kotlin_kotlin.$_$.l7;
27
- var any = kotlin_kotlin.$_$.k7;
25
+ var protoOf = kotlin_kotlin.$_$.o6;
26
+ var asIterable = kotlin_kotlin.$_$.m7;
27
+ var any = kotlin_kotlin.$_$.l7;
28
28
  var asSequence = kotlin_kotlin.$_$.a2;
29
- var getKClassFromExpression = kotlin_kotlin.$_$.e7;
30
- var joinToString = kotlin_kotlin.$_$.w2;
29
+ var getKClassFromExpression = kotlin_kotlin.$_$.f7;
30
+ var joinToString = kotlin_kotlin.$_$.x2;
31
31
  var Iterable = kotlin_kotlin.$_$.n1;
32
- var initMetadataForClass = kotlin_kotlin.$_$.a6;
32
+ var initMetadataForClass = kotlin_kotlin.$_$.b6;
33
33
  var VOID = kotlin_kotlin.$_$.b;
34
34
  var Unit_instance = kotlin_kotlin.$_$.l1;
35
- var toList = kotlin_kotlin.$_$.v8;
36
- var none = kotlin_kotlin.$_$.i8;
37
- var emptyList = kotlin_kotlin.$_$.n2;
35
+ var toList = kotlin_kotlin.$_$.w8;
36
+ var none = kotlin_kotlin.$_$.j8;
37
+ var emptyList = kotlin_kotlin.$_$.o2;
38
38
  var asIterable_0 = kotlin_kotlin.$_$.v1;
39
39
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
40
40
  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
41
41
  var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.g1;
42
- var getKClass = kotlin_kotlin.$_$.f7;
42
+ var getKClass = kotlin_kotlin.$_$.g7;
43
43
  var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.h1;
44
44
  var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.i1;
45
- var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
46
- var initMetadataForInterface = kotlin_kotlin.$_$.c6;
47
- var first = kotlin_kotlin.$_$.r2;
48
- var toString = kotlin_kotlin.$_$.q6;
49
- var hashCode = kotlin_kotlin.$_$.z5;
50
- var equals = kotlin_kotlin.$_$.u5;
51
- var defineProp = kotlin_kotlin.$_$.t5;
52
- var objectCreate = kotlin_kotlin.$_$.m6;
45
+ var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
46
+ var initMetadataForInterface = kotlin_kotlin.$_$.d6;
47
+ var first = kotlin_kotlin.$_$.s2;
48
+ var toString = kotlin_kotlin.$_$.r6;
49
+ var hashCode = kotlin_kotlin.$_$.a6;
50
+ var equals = kotlin_kotlin.$_$.v5;
51
+ var defineProp = kotlin_kotlin.$_$.u5;
52
+ var objectCreate = kotlin_kotlin.$_$.n6;
53
53
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
54
54
  var asReversed = kotlin_kotlin.$_$.x1;
55
- var isInterface = kotlin_kotlin.$_$.h6;
56
- var KProperty1 = kotlin_kotlin.$_$.h7;
57
- var getPropertyCallableRef = kotlin_kotlin.$_$.x5;
58
- var lazy = kotlin_kotlin.$_$.wa;
59
- var CoroutineImpl = kotlin_kotlin.$_$.r4;
60
- var THROW_CCE = kotlin_kotlin.$_$.qa;
61
- var SequenceScope = kotlin_kotlin.$_$.i7;
62
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.q4;
63
- var initMetadataForLambda = kotlin_kotlin.$_$.d6;
64
- var sequence = kotlin_kotlin.$_$.o8;
65
- var listOf = kotlin_kotlin.$_$.e3;
55
+ var isInterface = kotlin_kotlin.$_$.i6;
56
+ var KProperty1 = kotlin_kotlin.$_$.i7;
57
+ var getPropertyCallableRef = kotlin_kotlin.$_$.y5;
58
+ var lazy = kotlin_kotlin.$_$.xa;
59
+ var CoroutineImpl = kotlin_kotlin.$_$.s4;
60
+ var THROW_CCE = kotlin_kotlin.$_$.ra;
61
+ var SequenceScope = kotlin_kotlin.$_$.j7;
62
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.r4;
63
+ var initMetadataForLambda = kotlin_kotlin.$_$.e6;
64
+ var sequence = kotlin_kotlin.$_$.p8;
65
+ var listOf = kotlin_kotlin.$_$.f3;
66
66
  var mergeSequences = kotlin_it_unibo_tuprolog_utils.$_$.k1;
67
- var sequenceOf = kotlin_kotlin.$_$.m8;
68
- var flatten = kotlin_kotlin.$_$.z7;
69
- var initMetadataForObject = kotlin_kotlin.$_$.e6;
67
+ var sequenceOf = kotlin_kotlin.$_$.n8;
68
+ var flatten = kotlin_kotlin.$_$.a8;
69
+ var initMetadataForObject = kotlin_kotlin.$_$.f6;
70
70
  var compareTo = kotlin_it_unibo_tuprolog_utils.$_$.i;
71
71
  var LongIndexed = kotlin_it_unibo_tuprolog_utils.$_$.j;
72
72
  var component1 = kotlin_it_unibo_tuprolog_utils.$_$.g;
73
73
  var component2 = kotlin_it_unibo_tuprolog_utils.$_$.h;
74
74
  var Companion_instance_0 = kotlin_it_unibo_tuprolog_utils.$_$.d;
75
75
  var copyToArray = kotlin_kotlin.$_$.k2;
76
- var plus = kotlin_kotlin.$_$.y3;
76
+ var plus = kotlin_kotlin.$_$.z3;
77
77
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
78
- var minOrNull = kotlin_kotlin.$_$.i3;
79
- var map = kotlin_kotlin.$_$.g8;
80
- var ensureNotNull = kotlin_kotlin.$_$.ua;
78
+ var minOrNull = kotlin_kotlin.$_$.j3;
79
+ var map = kotlin_kotlin.$_$.h8;
80
+ var ensureNotNull = kotlin_kotlin.$_$.va;
81
81
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
82
- var sum = kotlin_kotlin.$_$.q8;
82
+ var sum = kotlin_kotlin.$_$.r8;
83
83
  var Collection = kotlin_kotlin.$_$.m1;
84
- var filter = kotlin_kotlin.$_$.u7;
85
- var emptySequence = kotlin_kotlin.$_$.r7;
84
+ var filter = kotlin_kotlin.$_$.v7;
85
+ var emptySequence = kotlin_kotlin.$_$.s7;
86
86
  var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.b1;
87
87
  var addFirst = kotlin_it_unibo_tuprolog_utils.$_$.q;
88
88
  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.u;
89
89
  var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
90
90
  var dequeOf_0 = kotlin_it_unibo_tuprolog_utils.$_$.z;
91
91
  var Companion_instance_1 = kotlin_it_unibo_tuprolog_utils.$_$.b;
92
- var flatMap = kotlin_kotlin.$_$.x7;
93
- var sequenceOf_0 = kotlin_kotlin.$_$.n8;
94
- var firstOrNull = kotlin_kotlin.$_$.v7;
95
- var NotImplementedError = kotlin_kotlin.$_$.la;
96
- var take = kotlin_kotlin.$_$.s8;
92
+ var flatMap = kotlin_kotlin.$_$.y7;
93
+ var sequenceOf_0 = kotlin_kotlin.$_$.o8;
94
+ var firstOrNull = kotlin_kotlin.$_$.w7;
95
+ var NotImplementedError = kotlin_kotlin.$_$.ma;
96
+ var take = kotlin_kotlin.$_$.t8;
97
97
  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
98
- var get_ONE = kotlin_kotlin.$_$.u4;
99
- var add = kotlin_kotlin.$_$.v4;
100
- var subtract = kotlin_kotlin.$_$.i5;
98
+ var get_ONE = kotlin_kotlin.$_$.v4;
99
+ var add = kotlin_kotlin.$_$.w4;
100
+ var subtract = kotlin_kotlin.$_$.j5;
101
101
  var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.c1;
102
102
  var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.s;
103
103
  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.a1;
104
104
  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
105
- var numberRangeToNumber = kotlin_kotlin.$_$.j6;
106
- var plus_0 = kotlin_kotlin.$_$.k8;
105
+ var numberRangeToNumber = kotlin_kotlin.$_$.k6;
106
+ var plus_0 = kotlin_kotlin.$_$.l8;
107
107
  var getTag = kotlin_it_unibo_tuprolog_utils.$_$.n;
108
108
  var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
109
109
  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_unify.$_$.b;
110
110
  var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.m;
111
- var first_0 = kotlin_kotlin.$_$.s2;
112
- var filterNotNull = kotlin_kotlin.$_$.s7;
111
+ var first_0 = kotlin_kotlin.$_$.t2;
112
+ var filterNotNull = kotlin_kotlin.$_$.t7;
113
113
  var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.o;
114
- var filterNot = kotlin_kotlin.$_$.t7;
114
+ var filterNot = kotlin_kotlin.$_$.u7;
115
115
  var asSequence_0 = kotlin_kotlin.$_$.b2;
116
- var fromInt = kotlin_kotlin.$_$.a5;
117
- var emptyMap = kotlin_kotlin.$_$.o2;
118
- var toList_0 = kotlin_kotlin.$_$.f4;
119
- var listOf_0 = kotlin_kotlin.$_$.d3;
120
- var none_0 = kotlin_kotlin.$_$.r3;
116
+ var fromInt = kotlin_kotlin.$_$.b5;
117
+ var emptyMap = kotlin_kotlin.$_$.p2;
118
+ var toList_0 = kotlin_kotlin.$_$.g4;
119
+ var listOf_0 = kotlin_kotlin.$_$.e3;
120
+ var none_0 = kotlin_kotlin.$_$.s3;
121
121
  var dequeOf_1 = kotlin_it_unibo_tuprolog_utils.$_$.a1;
122
- var Pair = kotlin_kotlin.$_$.oa;
123
- var toMutableList = kotlin_kotlin.$_$.l4;
124
- var toMutableList_0 = kotlin_kotlin.$_$.w8;
122
+ var Pair = kotlin_kotlin.$_$.pa;
123
+ var toMutableList = kotlin_kotlin.$_$.m4;
124
+ var toMutableList_0 = kotlin_kotlin.$_$.x8;
125
125
  var addFirst_0 = kotlin_it_unibo_tuprolog_utils.$_$.p;
126
126
  var addAll = kotlin_kotlin.$_$.s1;
127
127
  //endregion
package/2p-unify.js CHANGED
@@ -19,43 +19,43 @@
19
19
  'use strict';
20
20
  //region block: imports
21
21
  var imul = Math.imul;
22
- var KProperty1 = kotlin_kotlin.$_$.h7;
23
- var getPropertyCallableRef = kotlin_kotlin.$_$.x5;
22
+ var KProperty1 = kotlin_kotlin.$_$.i7;
23
+ var getPropertyCallableRef = kotlin_kotlin.$_$.y5;
24
24
  var asSequence = kotlin_kotlin.$_$.z1;
25
- var plus = kotlin_kotlin.$_$.k8;
26
- var map = kotlin_kotlin.$_$.g8;
25
+ var plus = kotlin_kotlin.$_$.l8;
26
+ var map = kotlin_kotlin.$_$.h8;
27
27
  var Unit_instance = kotlin_kotlin.$_$.l1;
28
28
  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.v;
29
29
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.d;
30
- var toCollection = kotlin_kotlin.$_$.t8;
31
- var Pair = kotlin_kotlin.$_$.oa;
30
+ var toCollection = kotlin_kotlin.$_$.u8;
31
+ var Pair = kotlin_kotlin.$_$.pa;
32
32
  var VOID = kotlin_kotlin.$_$.b;
33
- var lazy = kotlin_kotlin.$_$.wa;
34
- var protoOf = kotlin_kotlin.$_$.n6;
33
+ var lazy = kotlin_kotlin.$_$.xa;
34
+ var protoOf = kotlin_kotlin.$_$.o6;
35
35
  var asSequence_0 = kotlin_kotlin.$_$.a2;
36
- var THROW_CCE = kotlin_kotlin.$_$.qa;
37
- var initMetadataForClass = kotlin_kotlin.$_$.a6;
36
+ var THROW_CCE = kotlin_kotlin.$_$.ra;
37
+ var initMetadataForClass = kotlin_kotlin.$_$.b6;
38
38
  var Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.a;
39
- var Triple = kotlin_kotlin.$_$.sa;
39
+ var Triple = kotlin_kotlin.$_$.ta;
40
40
  var Some = kotlin_it_unibo_tuprolog_utils.$_$.l;
41
- var zip = kotlin_kotlin.$_$.a9;
42
- var flatMap = kotlin_kotlin.$_$.x7;
43
- var sequenceOf = kotlin_kotlin.$_$.n8;
44
- var to = kotlin_kotlin.$_$.cb;
45
- var sequenceOf_0 = kotlin_kotlin.$_$.m8;
46
- var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
47
- var toString = kotlin_kotlin.$_$.q6;
48
- var getKClass = kotlin_kotlin.$_$.f7;
41
+ var zip = kotlin_kotlin.$_$.b9;
42
+ var flatMap = kotlin_kotlin.$_$.y7;
43
+ var sequenceOf = kotlin_kotlin.$_$.o8;
44
+ var to = kotlin_kotlin.$_$.db;
45
+ var sequenceOf_0 = kotlin_kotlin.$_$.n8;
46
+ var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
47
+ var toString = kotlin_kotlin.$_$.r6;
48
+ var getKClass = kotlin_kotlin.$_$.g7;
49
49
  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.o;
50
50
  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.u;
51
51
  var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
52
- var defineProp = kotlin_kotlin.$_$.t5;
52
+ var defineProp = kotlin_kotlin.$_$.u5;
53
53
  var TermConvertible = kotlin_it_unibo_tuprolog_core.$_$.u1;
54
54
  var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
55
55
  var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
56
56
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.c;
57
57
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
58
- var initMetadataForInterface = kotlin_kotlin.$_$.c6;
58
+ var initMetadataForInterface = kotlin_kotlin.$_$.d6;
59
59
  //endregion
60
60
  //region block: pre-declaration
61
61
  function mguWithOccurCheck(term1, term2, occurCheckEnabled, $super) {