@tuprolog/2p-full 1.1.3 → 1.1.5

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 (15) hide show
  1. package/2p-bdd.js +5 -5
  2. package/2p-core.js +16 -16
  3. package/2p-solve-classic.js +6 -6
  4. package/2p-solve-plp.js +1 -1
  5. package/2p-solve-problog.js +5 -5
  6. package/2p-solve-streams.js +5 -5
  7. package/2p-solve.js +48 -32
  8. package/2p-solve.js.map +1 -1
  9. package/2p-theory.js +5 -5
  10. package/2p-unify.js +5 -5
  11. package/2p-utils.js +8 -8
  12. package/kotlin-kotlin-stdlib.js +150 -65
  13. package/kotlin-kotlin-stdlib.js.map +1 -1
  14. package/kt-math.js +20 -20
  15. package/package.json +1 -1
package/2p-bdd.js CHANGED
@@ -17,7 +17,7 @@
17
17
  var initMetadataForInterface = kotlin_kotlin.$_$.w5;
18
18
  var initMetadataForCompanion = kotlin_kotlin.$_$.u5;
19
19
  var VOID = kotlin_kotlin.$_$.b;
20
- var RuntimeException = kotlin_kotlin.$_$.da;
20
+ var RuntimeException = kotlin_kotlin.$_$.ha;
21
21
  var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.c1;
22
22
  var captureStack = kotlin_kotlin.$_$.e5;
23
23
  var defineProp = kotlin_kotlin.$_$.l5;
@@ -25,17 +25,17 @@
25
25
  var hashCode = kotlin_kotlin.$_$.s5;
26
26
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
27
27
  var Unit_instance = kotlin_kotlin.$_$.k1;
28
- var ensureNotNull = kotlin_kotlin.$_$.ha;
29
- var Pair = kotlin_kotlin.$_$.ca;
28
+ var ensureNotNull = kotlin_kotlin.$_$.la;
29
+ var Pair = kotlin_kotlin.$_$.ga;
30
30
  var compareTo = kotlin_kotlin.$_$.k5;
31
31
  var equals = kotlin_kotlin.$_$.m5;
32
- var THROW_CCE = kotlin_kotlin.$_$.ea;
32
+ var THROW_CCE = kotlin_kotlin.$_$.ia;
33
33
  var isComparable = kotlin_kotlin.$_$.b6;
34
34
  var getKClassFromExpression = kotlin_kotlin.$_$.a7;
35
35
  var getBooleanHashCode = kotlin_kotlin.$_$.o5;
36
36
  var KProperty1 = kotlin_kotlin.$_$.c7;
37
37
  var getPropertyCallableRef = kotlin_kotlin.$_$.q5;
38
- var lazy = kotlin_kotlin.$_$.ja;
38
+ var lazy = kotlin_kotlin.$_$.na;
39
39
  var toString = kotlin_kotlin.$_$.n6;
40
40
  //endregion
41
41
  //region block: pre-declaration
package/2p-core.js CHANGED
@@ -24,7 +24,7 @@
24
24
  var initMetadataForCompanion = kotlin_kotlin.$_$.u5;
25
25
  var emptyList = kotlin_kotlin.$_$.h2;
26
26
  var emptySequence = kotlin_kotlin.$_$.m7;
27
- var THROW_CCE = kotlin_kotlin.$_$.ea;
27
+ var THROW_CCE = kotlin_kotlin.$_$.ia;
28
28
  var isInterface = kotlin_kotlin.$_$.c6;
29
29
  var VOID = kotlin_kotlin.$_$.b;
30
30
  var toList = kotlin_kotlin.$_$.z3;
@@ -36,7 +36,7 @@
36
36
  var map = kotlin_kotlin.$_$.c8;
37
37
  var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.d1;
38
38
  var KtMap = kotlin_kotlin.$_$.n1;
39
- var ensureNotNull = kotlin_kotlin.$_$.ha;
39
+ var ensureNotNull = kotlin_kotlin.$_$.la;
40
40
  var listOf = kotlin_kotlin.$_$.y2;
41
41
  var asIterable = kotlin_kotlin.$_$.s1;
42
42
  var any = kotlin_kotlin.$_$.r1;
@@ -55,14 +55,14 @@
55
55
  var KtList = kotlin_kotlin.$_$.m1;
56
56
  var cursor_0 = kotlin_it_unibo_tuprolog_utils.$_$.t;
57
57
  var cursor_1 = kotlin_it_unibo_tuprolog_utils.$_$.u;
58
- var toString_0 = kotlin_kotlin.$_$.oa;
58
+ var toString_0 = kotlin_kotlin.$_$.sa;
59
59
  var asReversed = kotlin_kotlin.$_$.t1;
60
60
  var last = kotlin_kotlin.$_$.u2;
61
61
  var count = kotlin_kotlin.$_$.j7;
62
- var NumberFormatException = kotlin_kotlin.$_$.ba;
62
+ var NumberFormatException = kotlin_kotlin.$_$.fa;
63
63
  var contains = kotlin_kotlin.$_$.y8;
64
64
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
65
- var toCharArray = kotlin_kotlin.$_$.k9;
65
+ var toCharArray = kotlin_kotlin.$_$.o9;
66
66
  var asSequence = kotlin_kotlin.$_$.u1;
67
67
  var emptyMap = kotlin_kotlin.$_$.i2;
68
68
  var first = kotlin_kotlin.$_$.l2;
@@ -73,7 +73,7 @@
73
73
  var equals = kotlin_kotlin.$_$.m5;
74
74
  var flatMap = kotlin_kotlin.$_$.t7;
75
75
  var asSequence_0 = kotlin_kotlin.$_$.w1;
76
- var to = kotlin_kotlin.$_$.pa;
76
+ var to = kotlin_kotlin.$_$.ta;
77
77
  var mapOf = kotlin_kotlin.$_$.a3;
78
78
  var sequenceOf = kotlin_kotlin.$_$.i8;
79
79
  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
@@ -104,12 +104,12 @@
104
104
  var getTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
105
105
  var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
106
106
  var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
107
- var Comparable = kotlin_kotlin.$_$.t9;
108
- var Comparator = kotlin_kotlin.$_$.u9;
107
+ var Comparable = kotlin_kotlin.$_$.x9;
108
+ var Comparator = kotlin_kotlin.$_$.y9;
109
109
  var initMetadataForObject = kotlin_kotlin.$_$.y5;
110
110
  var compareTo = kotlin_kotlin.$_$.k5;
111
- var Enum = kotlin_kotlin.$_$.v9;
112
- var noWhenBranchMatchedException = kotlin_kotlin.$_$.ka;
111
+ var Enum = kotlin_kotlin.$_$.z9;
112
+ var noWhenBranchMatchedException = kotlin_kotlin.$_$.oa;
113
113
  var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
114
114
  var toString_1 = kotlin_kotlin.$_$.i1;
115
115
  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.e1;
@@ -120,8 +120,8 @@
120
120
  var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.c1;
121
121
  var RuntimeException_init_$Init$_0 = kotlin_kotlin.$_$.b1;
122
122
  var RuntimeException_init_$Init$_1 = kotlin_kotlin.$_$.a1;
123
- var RuntimeException = kotlin_kotlin.$_$.da;
124
- var lazy = kotlin_kotlin.$_$.ja;
123
+ var RuntimeException = kotlin_kotlin.$_$.ha;
124
+ var lazy = kotlin_kotlin.$_$.na;
125
125
  var KProperty1 = kotlin_kotlin.$_$.c7;
126
126
  var getPropertyCallableRef = kotlin_kotlin.$_$.q5;
127
127
  var get_lastIndex_0 = kotlin_kotlin.$_$.s2;
@@ -157,14 +157,14 @@
157
157
  var asSequence_2 = kotlin_kotlin.$_$.v1;
158
158
  var filter = kotlin_kotlin.$_$.q7;
159
159
  var firstOrNull_0 = kotlin_kotlin.$_$.r7;
160
- var Pair = kotlin_kotlin.$_$.ca;
160
+ var Pair = kotlin_kotlin.$_$.ga;
161
161
  var setOf = kotlin_kotlin.$_$.t3;
162
162
  var setOf_0 = kotlin_kotlin.$_$.s3;
163
163
  var defineProp = kotlin_kotlin.$_$.l5;
164
164
  var synchronizedOn = kotlin_it_unibo_tuprolog_utils.$_$.l1;
165
165
  var add = kotlin_kotlin.$_$.n4;
166
- var IllegalStateException = kotlin_kotlin.$_$.x9;
167
- var IllegalArgumentException = kotlin_kotlin.$_$.w9;
166
+ var IllegalStateException = kotlin_kotlin.$_$.ba;
167
+ var IllegalArgumentException = kotlin_kotlin.$_$.aa;
168
168
  var asSequence_3 = kotlin_kotlin.$_$.x1;
169
169
  var toSet = kotlin_kotlin.$_$.s8;
170
170
  var toHashSet = kotlin_kotlin.$_$.p8;
@@ -173,7 +173,7 @@
173
173
  var KtSet = kotlin_kotlin.$_$.o1;
174
174
  var plus_3 = kotlin_kotlin.$_$.n3;
175
175
  var IllegalArgumentException_init_$Create$_0 = kotlin_kotlin.$_$.r;
176
- var THROW_IAE = kotlin_kotlin.$_$.fa;
176
+ var THROW_IAE = kotlin_kotlin.$_$.ja;
177
177
  //endregion
178
178
  //region block: pre-declaration
179
179
  function apply(substitution, substitutions) {
package/2p-solve-classic.js CHANGED
@@ -43,14 +43,14 @@
43
43
  var Unit_instance = kotlin_kotlin.$_$.k1;
44
44
  var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.u1;
45
45
  var protoOf = kotlin_kotlin.$_$.k6;
46
- var THROW_CCE = kotlin_kotlin.$_$.ea;
47
- var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.ma;
46
+ var THROW_CCE = kotlin_kotlin.$_$.ia;
47
+ var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.qa;
48
48
  var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.c4;
49
49
  var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.e4;
50
50
  var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.a4;
51
51
  var asSequence = kotlin_kotlin.$_$.h7;
52
52
  var initMetadataForClass = kotlin_kotlin.$_$.t5;
53
- var ensureNotNull = kotlin_kotlin.$_$.ha;
53
+ var ensureNotNull = kotlin_kotlin.$_$.la;
54
54
  var fromInt = kotlin_kotlin.$_$.s4;
55
55
  var add = kotlin_kotlin.$_$.n4;
56
56
  var hashCode = kotlin_kotlin.$_$.s5;
@@ -60,7 +60,7 @@
60
60
  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.j4;
61
61
  var initMetadataForLambda = kotlin_kotlin.$_$.x5;
62
62
  var sequence = kotlin_kotlin.$_$.k8;
63
- var toString_0 = kotlin_kotlin.$_$.oa;
63
+ var toString_0 = kotlin_kotlin.$_$.sa;
64
64
  var asSequence_0 = kotlin_kotlin.$_$.w1;
65
65
  var emptySequence = kotlin_kotlin.$_$.m7;
66
66
  var plus = kotlin_kotlin.$_$.g8;
@@ -78,7 +78,7 @@
78
78
  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.x;
79
79
  var Companion_instance_7 = kotlin_it_unibo_tuprolog_utils.$_$.c;
80
80
  var emptySet = kotlin_kotlin.$_$.j2;
81
- var lazy = kotlin_kotlin.$_$.ja;
81
+ var lazy = kotlin_kotlin.$_$.na;
82
82
  var contains = kotlin_kotlin.$_$.i7;
83
83
  var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.c;
84
84
  var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.b;
@@ -119,7 +119,7 @@
119
119
  var defineProp = kotlin_kotlin.$_$.l5;
120
120
  var listOf = kotlin_kotlin.$_$.x2;
121
121
  var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.d4;
122
- var to = kotlin_kotlin.$_$.pa;
122
+ var to = kotlin_kotlin.$_$.ta;
123
123
  var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.v2;
124
124
  var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.w2;
125
125
  var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.x2;
package/2p-solve-plp.js CHANGED
@@ -15,7 +15,7 @@
15
15
  }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_utils) {
16
16
  'use strict';
17
17
  //region block: imports
18
- var THROW_CCE = kotlin_kotlin.$_$.ea;
18
+ var THROW_CCE = kotlin_kotlin.$_$.ia;
19
19
  var setTag = kotlin_it_unibo_tuprolog_utils.$_$.j1;
20
20
  //endregion
21
21
  //region block: pre-declaration
package/2p-solve-problog.js CHANGED
@@ -40,7 +40,7 @@
40
40
  var protoOf = kotlin_kotlin.$_$.k6;
41
41
  var first = kotlin_kotlin.$_$.m2;
42
42
  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.m;
43
- var THROW_CCE = kotlin_kotlin.$_$.ea;
43
+ var THROW_CCE = kotlin_kotlin.$_$.ia;
44
44
  var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.v2;
45
45
  var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.w2;
46
46
  var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.x2;
@@ -128,7 +128,7 @@
128
128
  var hashCode = kotlin_kotlin.$_$.s5;
129
129
  var emptySet = kotlin_kotlin.$_$.j2;
130
130
  var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.q;
131
- var lazy = kotlin_kotlin.$_$.ja;
131
+ var lazy = kotlin_kotlin.$_$.na;
132
132
  var collectionSizeOrDefault = kotlin_kotlin.$_$.z1;
133
133
  var toSet = kotlin_kotlin.$_$.h4;
134
134
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
@@ -157,11 +157,11 @@
157
157
  var plus = kotlin_kotlin.$_$.q3;
158
158
  var setTag = kotlin_it_unibo_tuprolog_utils.$_$.j1;
159
159
  var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
160
- var toDoubleOrNull = kotlin_kotlin.$_$.l9;
160
+ var toDoubleOrNull = kotlin_kotlin.$_$.p9;
161
161
  var toSet_0 = kotlin_kotlin.$_$.s8;
162
162
  var plus_0 = kotlin_kotlin.$_$.n3;
163
163
  var checkIndexOverflow = kotlin_kotlin.$_$.y1;
164
- var Pair = kotlin_kotlin.$_$.ca;
164
+ var Pair = kotlin_kotlin.$_$.ga;
165
165
  var Fact = kotlin_it_unibo_tuprolog_core.$_$.i1;
166
166
  var subtract = kotlin_kotlin.$_$.x3;
167
167
  var setOf = kotlin_kotlin.$_$.t3;
@@ -184,7 +184,7 @@
184
184
  var SequenceScope = kotlin_kotlin.$_$.d7;
185
185
  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.j4;
186
186
  var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.b4;
187
- var ensureNotNull = kotlin_kotlin.$_$.ha;
187
+ var ensureNotNull = kotlin_kotlin.$_$.la;
188
188
  var Clause = kotlin_it_unibo_tuprolog_core.$_$.f1;
189
189
  var copyToArray = kotlin_kotlin.$_$.e2;
190
190
  var initMetadataForLambda = kotlin_kotlin.$_$.x5;
package/2p-solve-streams.js CHANGED
@@ -45,7 +45,7 @@
45
45
  var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.v;
46
46
  var objectCreate = kotlin_kotlin.$_$.j6;
47
47
  var filter = kotlin_kotlin.$_$.q7;
48
- var THROW_CCE = kotlin_kotlin.$_$.ea;
48
+ var THROW_CCE = kotlin_kotlin.$_$.ia;
49
49
  var Sequence = kotlin_kotlin.$_$.e7;
50
50
  var map = kotlin_kotlin.$_$.c8;
51
51
  var Unit_instance = kotlin_kotlin.$_$.k1;
@@ -72,7 +72,7 @@
72
72
  var Solver = kotlin_it_unibo_tuprolog_solve.$_$.z3;
73
73
  var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.j;
74
74
  var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.i;
75
- var NotImplementedError = kotlin_kotlin.$_$.z9;
75
+ var NotImplementedError = kotlin_kotlin.$_$.da;
76
76
  var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.f;
77
77
  var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.g;
78
78
  var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.w3;
@@ -106,7 +106,7 @@
106
106
  var plus_0 = kotlin_kotlin.$_$.f8;
107
107
  var Collection = kotlin_kotlin.$_$.l1;
108
108
  var toString = kotlin_kotlin.$_$.n6;
109
- var toString_0 = kotlin_kotlin.$_$.oa;
109
+ var toString_0 = kotlin_kotlin.$_$.sa;
110
110
  var hashCode = kotlin_kotlin.$_$.s5;
111
111
  var getBooleanHashCode = kotlin_kotlin.$_$.o5;
112
112
  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.k;
@@ -130,7 +130,7 @@
130
130
  var toList = kotlin_kotlin.$_$.q8;
131
131
  var Companion_instance_7 = kotlin_it_unibo_tuprolog_solve.$_$.w;
132
132
  var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.a4;
133
- var lazy = kotlin_kotlin.$_$.ja;
133
+ var lazy = kotlin_kotlin.$_$.na;
134
134
  var collectionSizeOrDefault = kotlin_kotlin.$_$.z1;
135
135
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.c;
136
136
  var KProperty1 = kotlin_kotlin.$_$.c7;
@@ -175,7 +175,7 @@
175
175
  var TypeError_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.l;
176
176
  var last = kotlin_kotlin.$_$.u2;
177
177
  var first_1 = kotlin_kotlin.$_$.m2;
178
- var Pair = kotlin_kotlin.$_$.ca;
178
+ var Pair = kotlin_kotlin.$_$.ga;
179
179
  var initMetadataForCoroutine = kotlin_kotlin.$_$.v5;
180
180
  var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
181
181
  var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.d2;
package/2p-solve.js CHANGED
@@ -30,7 +30,7 @@
30
30
  var imul = Math.imul;
31
31
  var VOID = kotlin_kotlin.$_$.b;
32
32
  var protoOf = kotlin_kotlin.$_$.k6;
33
- var to = kotlin_kotlin.$_$.pa;
33
+ var to = kotlin_kotlin.$_$.ta;
34
34
  var defineProp = kotlin_kotlin.$_$.l5;
35
35
  var initMetadataForClass = kotlin_kotlin.$_$.t5;
36
36
  var add = kotlin_kotlin.$_$.n4;
@@ -38,14 +38,14 @@
38
38
  var initMetadataForInterface = kotlin_kotlin.$_$.w5;
39
39
  var listOf = kotlin_kotlin.$_$.x2;
40
40
  var asIterable = kotlin_kotlin.$_$.g7;
41
- var ensureNotNull = kotlin_kotlin.$_$.ha;
41
+ var ensureNotNull = kotlin_kotlin.$_$.la;
42
42
  var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
43
43
  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.j;
44
44
  var last = kotlin_kotlin.$_$.u2;
45
45
  var Struct = kotlin_it_unibo_tuprolog_core.$_$.p1;
46
46
  var isInterface = kotlin_kotlin.$_$.c6;
47
47
  var first = kotlin_kotlin.$_$.l2;
48
- var IllegalArgumentException = kotlin_kotlin.$_$.w9;
48
+ var IllegalArgumentException = kotlin_kotlin.$_$.aa;
49
49
  var initMetadataForCompanion = kotlin_kotlin.$_$.u5;
50
50
  var toString = kotlin_kotlin.$_$.n6;
51
51
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
@@ -53,7 +53,7 @@
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.$_$.z9;
56
+ var NotImplementedError = kotlin_kotlin.$_$.da;
57
57
  var count = kotlin_kotlin.$_$.f2;
58
58
  var toList = kotlin_kotlin.$_$.y3;
59
59
  var asSequence = kotlin_kotlin.$_$.w1;
@@ -67,9 +67,9 @@
67
67
  var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
68
68
  var emptyMap = kotlin_kotlin.$_$.i2;
69
69
  var objectCreate = kotlin_kotlin.$_$.j6;
70
- var THROW_CCE = kotlin_kotlin.$_$.ea;
70
+ var THROW_CCE = kotlin_kotlin.$_$.ia;
71
71
  var Var = kotlin_it_unibo_tuprolog_core.$_$.r2;
72
- var lazy = kotlin_kotlin.$_$.ja;
72
+ var lazy = kotlin_kotlin.$_$.na;
73
73
  var KProperty1 = kotlin_kotlin.$_$.c7;
74
74
  var getPropertyCallableRef = kotlin_kotlin.$_$.q5;
75
75
  var filterNot = kotlin_kotlin.$_$.p7;
@@ -110,19 +110,19 @@
110
110
  var sequenceOf_0 = kotlin_kotlin.$_$.j8;
111
111
  var KtMap = kotlin_kotlin.$_$.n1;
112
112
  var get_ONE = kotlin_kotlin.$_$.m4;
113
- var toString_0 = kotlin_kotlin.$_$.o9;
113
+ var toString_0 = kotlin_kotlin.$_$.s9;
114
114
  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.e1;
115
- var padStart = kotlin_kotlin.$_$.c9;
115
+ var padStart = kotlin_kotlin.$_$.d9;
116
116
  var synchronizedOnSelf = kotlin_it_unibo_tuprolog_utils.$_$.k1;
117
117
  var joinToString = kotlin_kotlin.$_$.p2;
118
118
  var takeFirst = kotlin_it_unibo_tuprolog_utils.$_$.m1;
119
119
  var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.x;
120
120
  var initMetadataForObject = kotlin_kotlin.$_$.y5;
121
- var toCharArray = kotlin_kotlin.$_$.k9;
121
+ var toCharArray = kotlin_kotlin.$_$.o9;
122
122
  var asSequence_0 = kotlin_kotlin.$_$.u1;
123
- var Char = kotlin_kotlin.$_$.s9;
123
+ var Char = kotlin_kotlin.$_$.w9;
124
124
  var toString_1 = kotlin_kotlin.$_$.i1;
125
- var lineSequence = kotlin_kotlin.$_$.b9;
125
+ var lineSequence = kotlin_kotlin.$_$.c9;
126
126
  var minus = kotlin_kotlin.$_$.f3;
127
127
  var plus_1 = kotlin_kotlin.$_$.o3;
128
128
  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.x;
@@ -145,7 +145,7 @@
145
145
  var get_lastIndex = kotlin_kotlin.$_$.s2;
146
146
  var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.w;
147
147
  var format = kotlin_it_unibo_tuprolog_core.$_$.s2;
148
- var NullPointerException = kotlin_kotlin.$_$.aa;
148
+ var NullPointerException = kotlin_kotlin.$_$.ea;
149
149
  var get_lastIndex_0 = kotlin_kotlin.$_$.r2;
150
150
  var until = kotlin_kotlin.$_$.z6;
151
151
  var slice = kotlin_kotlin.$_$.w3;
@@ -154,11 +154,11 @@
154
154
  var take = kotlin_kotlin.$_$.n8;
155
155
  var last_0 = kotlin_kotlin.$_$.v2;
156
156
  var joinToString_0 = kotlin_kotlin.$_$.q2;
157
- var THROW_IAE = kotlin_kotlin.$_$.fa;
158
- var Enum = kotlin_kotlin.$_$.v9;
159
- var IllegalStateException = kotlin_kotlin.$_$.x9;
160
- var replace = kotlin_kotlin.$_$.f9;
161
- var trimMargin = kotlin_kotlin.$_$.p9;
157
+ var THROW_IAE = kotlin_kotlin.$_$.ja;
158
+ var Enum = kotlin_kotlin.$_$.z9;
159
+ var IllegalStateException = kotlin_kotlin.$_$.ba;
160
+ var replace = kotlin_kotlin.$_$.i9;
161
+ var trimMargin = kotlin_kotlin.$_$.t9;
162
162
  var drop = kotlin_kotlin.$_$.l7;
163
163
  var mapCapacity = kotlin_kotlin.$_$.z2;
164
164
  var coerceAtLeast = kotlin_kotlin.$_$.x6;
@@ -194,13 +194,13 @@
194
194
  var single = kotlin_kotlin.$_$.u3;
195
195
  var none = kotlin_kotlin.$_$.l3;
196
196
  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
197
- var toString_2 = kotlin_kotlin.$_$.oa;
197
+ var toString_2 = kotlin_kotlin.$_$.sa;
198
198
  var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
199
199
  var OperatorSet_init_$Create$_0 = kotlin_it_unibo_tuprolog_core.$_$.e;
200
200
  var distinct = kotlin_kotlin.$_$.k7;
201
- var Pair = kotlin_kotlin.$_$.ca;
201
+ var Pair = kotlin_kotlin.$_$.ga;
202
202
  var asSequence_1 = kotlin_kotlin.$_$.v1;
203
- var isBlank = kotlin_kotlin.$_$.z8;
203
+ var isBlank = kotlin_kotlin.$_$.a9;
204
204
  var addAll = kotlin_kotlin.$_$.q1;
205
205
  var Companion_instance_4 = kotlin_it_unibo_tuprolog_utils.$_$.a;
206
206
  var toSet_0 = kotlin_kotlin.$_$.h4;
@@ -242,8 +242,10 @@
242
242
  var charSequenceGet = kotlin_kotlin.$_$.i5;
243
243
  var List = kotlin_it_unibo_tuprolog_core.$_$.l1;
244
244
  var joinToString_1 = kotlin_kotlin.$_$.y7;
245
- var substringAfter = kotlin_kotlin.$_$.g9;
246
- var substringBefore = kotlin_kotlin.$_$.h9;
245
+ var removePrefix = kotlin_kotlin.$_$.e9;
246
+ var startsWith = kotlin_kotlin.$_$.j9;
247
+ var removeSuffix = kotlin_kotlin.$_$.g9;
248
+ var endsWith = kotlin_kotlin.$_$.z8;
247
249
  var Constant = kotlin_it_unibo_tuprolog_core.$_$.g1;
248
250
  var generateSequence = kotlin_kotlin.$_$.v7;
249
251
  var takeWhile = kotlin_kotlin.$_$.m8;
@@ -253,7 +255,7 @@
253
255
  var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.d1;
254
256
  var stringToAtom = kotlin_it_unibo_tuprolog_core.$_$.v2;
255
257
  var isCharSequence = kotlin_kotlin.$_$.a6;
256
- var trim = kotlin_kotlin.$_$.q9;
258
+ var trim = kotlin_kotlin.$_$.u9;
257
259
  var Success = kotlin_it_unibo_tuprolog_theory.$_$.e;
258
260
  var asReversed = kotlin_kotlin.$_$.t1;
259
261
  var LinkedHashSet_init_$Create$_0 = kotlin_kotlin.$_$.h;
@@ -262,8 +264,10 @@
262
264
  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.j4;
263
265
  var initMetadataForLambda = kotlin_kotlin.$_$.x5;
264
266
  var sequence = kotlin_kotlin.$_$.k8;
265
- var substring = kotlin_kotlin.$_$.j9;
266
- var substring_0 = kotlin_kotlin.$_$.i9;
267
+ var substring = kotlin_kotlin.$_$.n9;
268
+ var substring_0 = kotlin_kotlin.$_$.m9;
269
+ var substringBefore = kotlin_kotlin.$_$.l9;
270
+ var substringAfter = kotlin_kotlin.$_$.k9;
267
271
  var copyToArray = kotlin_kotlin.$_$.e2;
268
272
  var print = kotlin_kotlin.$_$.l4;
269
273
  //endregion
@@ -930,7 +934,7 @@
930
934
  initMetadataForClass(ExtensionLibrary, 'ExtensionLibrary', VOID, AbstractLibrary);
931
935
  initMetadataForClass(LibraryImpl, 'LibraryImpl', VOID, AbstractLibrary);
932
936
  initMetadataForCompanion(Companion_37);
933
- initMetadataForClass(RuntimeImpl, 'RuntimeImpl', VOID, AbstractPluggable, [AbstractPluggable, KtMap, Pluggable]);
937
+ initMetadataForClass(RuntimeImpl, 'RuntimeImpl', VOID, AbstractPluggable, [AbstractPluggable, Pluggable, KtMap]);
934
938
  initMetadataForClass(PrimitiveWrapper, 'PrimitiveWrapper', VOID, AbstractWrapper);
935
939
  initMetadataForClass(BinaryRelation, 'BinaryRelation', VOID, PrimitiveWrapper);
936
940
  initMetadataForClass(NonBacktrackable, 'NonBacktrackable', VOID, BinaryRelation);
@@ -11123,18 +11127,30 @@
11123
11127
  Companion_getInstance_53().v2d(_this__u8e3s4, 1);
11124
11128
  Companion_getInstance_53().p2d(_this__u8e3s4, 2);
11125
11129
  Companion_getInstance_53().v2d(_this__u8e3s4, 2);
11126
- var tmp_1 = (isInterface(third, Atom) ? third : THROW_CCE()).e2();
11127
- var result_0 = substringBefore(tmp_1, (isInterface(second, Atom) ? second : THROW_CCE()).e2());
11128
- tmp = Companion_getInstance_2().of(first, Companion_getInstance().of(result_0));
11130
+ var secondValue = (isInterface(second, Atom) ? second : THROW_CCE()).e2();
11131
+ var thirdValue = (isInterface(third, Atom) ? third : THROW_CCE()).e2();
11132
+ var tmp_1;
11133
+ if (endsWith(thirdValue, secondValue)) {
11134
+ tmp_1 = Companion_getInstance_2().of(first, Companion_getInstance().of(removeSuffix(thirdValue, secondValue)));
11135
+ } else {
11136
+ tmp_1 = Companion_getInstance_2().failed();
11137
+ }
11138
+ tmp = tmp_1;
11129
11139
  } else {
11130
11140
  if (isInterface(second, Var)) {
11131
11141
  Companion_getInstance_53().p2d(_this__u8e3s4, 0);
11132
11142
  Companion_getInstance_53().v2d(_this__u8e3s4, 0);
11133
11143
  Companion_getInstance_53().p2d(_this__u8e3s4, 2);
11134
11144
  Companion_getInstance_53().v2d(_this__u8e3s4, 2);
11135
- var tmp_2 = (isInterface(third, Atom) ? third : THROW_CCE()).e2();
11136
- var result_1 = substringAfter(tmp_2, (isInterface(first, Atom) ? first : THROW_CCE()).e2());
11137
- tmp = Companion_getInstance_2().of(second, Companion_getInstance().of(result_1));
11145
+ var firstValue = (isInterface(first, Atom) ? first : THROW_CCE()).e2();
11146
+ var thirdValue_0 = (isInterface(third, Atom) ? third : THROW_CCE()).e2();
11147
+ var tmp_2;
11148
+ if (startsWith(thirdValue_0, firstValue)) {
11149
+ tmp_2 = Companion_getInstance_2().of(second, Companion_getInstance().of(removePrefix(thirdValue_0, firstValue)));
11150
+ } else {
11151
+ tmp_2 = Companion_getInstance_2().failed();
11152
+ }
11153
+ tmp = tmp_2;
11138
11154
  } else {
11139
11155
  Companion_getInstance_53().v2d(_this__u8e3s4, 0);
11140
11156
  Companion_getInstance_53().v2d(_this__u8e3s4, 1);