@tuprolog/2p-full 1.5.1 → 2.0.1

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 (27) hide show
  1. package/2p-bdd.js +7 -7
  2. package/2p-core.js +45 -45
  3. package/2p-gui-plp.js +15 -0
  4. package/2p-gui-plp.js.map +1 -0
  5. package/2p-gui.js +15 -0
  6. package/2p-gui.js.map +1 -0
  7. package/2p-ide-web.js +15 -0
  8. package/2p-ide-web.js.map +1 -0
  9. package/2p-solve-classic.js +25 -25
  10. package/2p-solve-plp.js +1 -1
  11. package/2p-solve-problog.js +17 -17
  12. package/2p-solve-streams.js +28 -28
  13. package/2p-solve.js +68 -73
  14. package/2p-solve.js.map +1 -1
  15. package/2p-theory.js +28 -28
  16. package/2p-unify.js +14 -14
  17. package/2p-unify.js.map +1 -1
  18. package/2p-utils.js +22 -22
  19. package/README.md +83 -66
  20. package/kotlin-kotlin-stdlib.js +133 -134
  21. package/kotlin-kotlin-stdlib.js.map +1 -1
  22. package/kotlinx-serialization-kotlinx-serialization-core.js +15 -0
  23. package/kotlinx-serialization-kotlinx-serialization-core.js.map +1 -0
  24. package/kotlinx-serialization-kotlinx-serialization-json.js +15 -0
  25. package/kotlinx-serialization-kotlinx-serialization-json.js.map +1 -0
  26. package/kt-math.js +25 -25
  27. package/package.json +3 -2
package/2p-solve.js CHANGED
@@ -30,22 +30,22 @@
30
30
  var imul = Math.imul;
31
31
  var VOID = kotlin_kotlin.$_$.b;
32
32
  var protoOf = kotlin_kotlin.$_$.p6;
33
- var to = kotlin_kotlin.$_$.za;
33
+ var to = kotlin_kotlin.$_$.ya;
34
34
  var defineProp = kotlin_kotlin.$_$.s5;
35
35
  var initMetadataForClass = kotlin_kotlin.$_$.a6;
36
36
  var add = kotlin_kotlin.$_$.t4;
37
37
  var subtract = kotlin_kotlin.$_$.g5;
38
38
  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
39
39
  var listOf = kotlin_kotlin.$_$.b3;
40
- var asIterable = kotlin_kotlin.$_$.l7;
41
- var ensureNotNull = kotlin_kotlin.$_$.sa;
40
+ var asIterable = kotlin_kotlin.$_$.k7;
41
+ var ensureNotNull = kotlin_kotlin.$_$.ra;
42
42
  var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
43
43
  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.d;
44
44
  var last = kotlin_kotlin.$_$.y2;
45
45
  var Struct = kotlin_it_unibo_tuprolog_core.$_$.p1;
46
46
  var isInterface = kotlin_kotlin.$_$.j6;
47
47
  var first = kotlin_kotlin.$_$.p2;
48
- var IllegalArgumentException = kotlin_kotlin.$_$.ga;
48
+ var IllegalArgumentException = kotlin_kotlin.$_$.fa;
49
49
  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
50
50
  var toString = kotlin_kotlin.$_$.s6;
51
51
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.b1;
@@ -53,7 +53,7 @@
53
53
  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.o;
54
54
  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.i;
55
55
  var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.h;
56
- var NotImplementedError = kotlin_kotlin.$_$.ja;
56
+ var NotImplementedError = kotlin_kotlin.$_$.ia;
57
57
  var count = kotlin_kotlin.$_$.j2;
58
58
  var toList = kotlin_kotlin.$_$.d4;
59
59
  var asSequence = kotlin_kotlin.$_$.a2;
@@ -61,23 +61,23 @@
61
61
  var getBooleanHashCode = kotlin_kotlin.$_$.v5;
62
62
  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.p;
63
63
  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.e1;
64
- var getKClass = kotlin_kotlin.$_$.g7;
64
+ var getKClass = kotlin_kotlin.$_$.f7;
65
65
  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.z;
66
66
  var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.n;
67
67
  var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
68
68
  var emptyMap = kotlin_kotlin.$_$.m2;
69
69
  var objectCreate = kotlin_kotlin.$_$.o6;
70
- var THROW_CCE = kotlin_kotlin.$_$.oa;
70
+ var THROW_CCE = kotlin_kotlin.$_$.na;
71
71
  var constructCallableReference = kotlin_kotlin.$_$.r5;
72
72
  var Var = kotlin_it_unibo_tuprolog_core.$_$.r2;
73
- var lazy = kotlin_kotlin.$_$.ua;
74
- var KProperty1 = kotlin_kotlin.$_$.h7;
73
+ var lazy = kotlin_kotlin.$_$.ta;
74
+ var KProperty1 = kotlin_kotlin.$_$.g7;
75
75
  var getPropertyCallableRef = kotlin_kotlin.$_$.x5;
76
- var filterNot = kotlin_kotlin.$_$.u7;
77
- var toSet = kotlin_kotlin.$_$.x8;
76
+ var filterNot = kotlin_kotlin.$_$.t7;
77
+ var toSet = kotlin_kotlin.$_$.w8;
78
78
  var equals = kotlin_kotlin.$_$.t5;
79
79
  var hashCode = kotlin_kotlin.$_$.z5;
80
- var getKClassFromExpression = kotlin_kotlin.$_$.f7;
80
+ var getKClassFromExpression = kotlin_kotlin.$_$.e7;
81
81
  var Unifier = kotlin_it_unibo_tuprolog_core.$_$.q1;
82
82
  var getTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
83
83
  var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
@@ -87,40 +87,40 @@
87
87
  var plus = kotlin_kotlin.$_$.q3;
88
88
  var toMutableMap = kotlin_kotlin.$_$.l4;
89
89
  var mapOf = kotlin_kotlin.$_$.e3;
90
- var toList_0 = kotlin_kotlin.$_$.v8;
91
- var first_0 = kotlin_kotlin.$_$.x7;
90
+ var toList_0 = kotlin_kotlin.$_$.u8;
91
+ var first_0 = kotlin_kotlin.$_$.w7;
92
92
  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_unify.$_$.a;
93
93
  var OperatorSet = kotlin_it_unibo_tuprolog_core.$_$.c1;
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.$_$.j7;
99
- var map = kotlin_kotlin.$_$.h8;
100
- var filterNotNull = kotlin_kotlin.$_$.t7;
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.$_$.i7;
99
+ var map = kotlin_kotlin.$_$.g8;
100
+ var filterNotNull = kotlin_kotlin.$_$.s7;
101
101
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.o;
102
102
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.q;
103
103
  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.b;
104
104
  var Directive = kotlin_it_unibo_tuprolog_core.$_$.h1;
105
105
  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.a;
106
106
  var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.t;
107
- var emptySequence = kotlin_kotlin.$_$.r7;
107
+ var emptySequence = kotlin_kotlin.$_$.q7;
108
108
  var toMap_0 = kotlin_kotlin.$_$.i4;
109
109
  var toMap_1 = kotlin_kotlin.$_$.h4;
110
110
  var mapOf_0 = kotlin_kotlin.$_$.f3;
111
- var sequenceOf_0 = kotlin_kotlin.$_$.o8;
111
+ var sequenceOf_0 = kotlin_kotlin.$_$.n8;
112
112
  var KtMap = kotlin_kotlin.$_$.r1;
113
113
  var get_ONE = kotlin_kotlin.$_$.s4;
114
- var toString_0 = kotlin_kotlin.$_$.y9;
114
+ var toString_0 = kotlin_kotlin.$_$.x9;
115
115
  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
116
- var padStart = kotlin_kotlin.$_$.j9;
116
+ var padStart = kotlin_kotlin.$_$.i9;
117
117
  var synchronizedOnSelf = kotlin_it_unibo_tuprolog_utils.$_$.k1;
118
118
  var joinToString = kotlin_kotlin.$_$.t2;
119
119
  var takeFirst = kotlin_it_unibo_tuprolog_utils.$_$.m1;
120
120
  var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.x;
121
121
  var initMetadataForObject = kotlin_kotlin.$_$.f6;
122
122
  var toString_1 = kotlin_kotlin.$_$.g;
123
- var asSequence_0 = kotlin_kotlin.$_$.c9;
123
+ var asSequence_0 = kotlin_kotlin.$_$.b9;
124
124
  var minus = kotlin_kotlin.$_$.j3;
125
125
  var plus_1 = kotlin_kotlin.$_$.s3;
126
126
  var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.i1;
@@ -136,33 +136,31 @@
136
136
  var Companion_getInstance_7 = kotlin_it_unibo_tuprolog_core.$_$.c;
137
137
  var Operator = kotlin_it_unibo_tuprolog_core.$_$.d1;
138
138
  var Integer = kotlin_it_unibo_tuprolog_core.$_$.k1;
139
- var firstOrNull = kotlin_kotlin.$_$.w7;
139
+ var firstOrNull = kotlin_kotlin.$_$.v7;
140
140
  var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.n;
141
141
  var listOf_0 = kotlin_kotlin.$_$.c3;
142
142
  var captureStack = kotlin_kotlin.$_$.k5;
143
143
  var get_lastIndex = kotlin_kotlin.$_$.w2;
144
144
  var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.q;
145
145
  var format = kotlin_it_unibo_tuprolog_core.$_$.s2;
146
- var NullPointerException = kotlin_kotlin.$_$.ka;
146
+ var NullPointerException = kotlin_kotlin.$_$.ja;
147
147
  var get_lastIndex_0 = kotlin_kotlin.$_$.v2;
148
- var until = kotlin_kotlin.$_$.e7;
148
+ var until = kotlin_kotlin.$_$.d7;
149
149
  var slice = kotlin_kotlin.$_$.b4;
150
150
  var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.b1;
151
151
  var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.y;
152
- var take = kotlin_kotlin.$_$.s8;
152
+ var take = kotlin_kotlin.$_$.r8;
153
153
  var last_0 = kotlin_kotlin.$_$.z2;
154
154
  var joinToString_0 = kotlin_kotlin.$_$.u2;
155
- var THROW_IAE = kotlin_kotlin.$_$.pa;
156
- var Enum = kotlin_kotlin.$_$.fa;
157
- var IllegalStateException = kotlin_kotlin.$_$.ha;
158
- var replace = kotlin_kotlin.$_$.o9;
159
- var trimMargin = kotlin_kotlin.$_$.z9;
160
- var lineSequence = kotlin_kotlin.$_$.i9;
161
- var drop = kotlin_kotlin.$_$.q7;
162
- var mapCapacity = kotlin_kotlin.$_$.d3;
163
- var coerceAtLeast = kotlin_kotlin.$_$.c7;
164
- var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.p;
165
- var contains = kotlin_kotlin.$_$.n7;
155
+ var THROW_IAE = kotlin_kotlin.$_$.oa;
156
+ var Enum = kotlin_kotlin.$_$.ea;
157
+ var IllegalStateException = kotlin_kotlin.$_$.ga;
158
+ var replace = kotlin_kotlin.$_$.n9;
159
+ var trimMargin = kotlin_kotlin.$_$.y9;
160
+ var lineSequence = kotlin_kotlin.$_$.h9;
161
+ var drop = kotlin_kotlin.$_$.p7;
162
+ var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.n;
163
+ var contains = kotlin_kotlin.$_$.m7;
166
164
  var minus_1 = kotlin_kotlin.$_$.i3;
167
165
  var Term = kotlin_it_unibo_tuprolog_core.$_$.o2;
168
166
  var visitVar = kotlin_it_unibo_tuprolog_core.$_$.m2;
@@ -184,7 +182,6 @@
184
182
  var visitFact = kotlin_it_unibo_tuprolog_core.$_$.c2;
185
183
  var visitDirective = kotlin_it_unibo_tuprolog_core.$_$.y1;
186
184
  var TermVisitor = kotlin_it_unibo_tuprolog_core.$_$.n2;
187
- var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.n;
188
185
  var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
189
186
  var Numeric = kotlin_it_unibo_tuprolog_core.$_$.m1;
190
187
  var Real = kotlin_it_unibo_tuprolog_core.$_$.n1;
@@ -193,13 +190,13 @@
193
190
  var single = kotlin_kotlin.$_$.z3;
194
191
  var none = kotlin_kotlin.$_$.p3;
195
192
  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
196
- var toString_2 = kotlin_kotlin.$_$.ya;
193
+ var toString_2 = kotlin_kotlin.$_$.xa;
197
194
  var Regex_init_$Create$ = kotlin_kotlin.$_$.t;
198
195
  var OperatorSet_init_$Create$_0 = kotlin_it_unibo_tuprolog_core.$_$.z;
199
- var distinct = kotlin_kotlin.$_$.p7;
200
- var Pair = kotlin_kotlin.$_$.ma;
196
+ var distinct = kotlin_kotlin.$_$.o7;
197
+ var Pair = kotlin_kotlin.$_$.la;
201
198
  var asSequence_1 = kotlin_kotlin.$_$.z1;
202
- var isBlank = kotlin_kotlin.$_$.g9;
199
+ var isBlank = kotlin_kotlin.$_$.f9;
203
200
  var addAll = kotlin_kotlin.$_$.u1;
204
201
  var Companion_instance_4 = kotlin_it_unibo_tuprolog_utils.$_$.a;
205
202
  var toSet_0 = kotlin_kotlin.$_$.m4;
@@ -234,40 +231,40 @@
234
231
  var setOf = kotlin_kotlin.$_$.w3;
235
232
  var Tuple = kotlin_it_unibo_tuprolog_core.$_$.q2;
236
233
  var minus_2 = kotlin_kotlin.$_$.k3;
237
- var plus_3 = kotlin_kotlin.$_$.k8;
238
- var mapIndexed = kotlin_kotlin.$_$.g8;
234
+ var plus_3 = kotlin_kotlin.$_$.j8;
235
+ var mapIndexed = kotlin_kotlin.$_$.f8;
239
236
  var charCodeAt = kotlin_kotlin.$_$.n5;
240
- var Char = kotlin_kotlin.$_$.ca;
237
+ var Char = kotlin_kotlin.$_$.ba;
241
238
  var charSequenceLength = kotlin_kotlin.$_$.p5;
242
239
  var charSequenceGet = kotlin_kotlin.$_$.o5;
243
240
  var List = kotlin_it_unibo_tuprolog_core.$_$.l1;
244
- var joinToString_1 = kotlin_kotlin.$_$.d8;
245
- var removePrefix = kotlin_kotlin.$_$.k9;
246
- var startsWith = kotlin_kotlin.$_$.p9;
247
- var removeSuffix = kotlin_kotlin.$_$.m9;
248
- var endsWith = kotlin_kotlin.$_$.f9;
241
+ var joinToString_1 = kotlin_kotlin.$_$.c8;
242
+ var removePrefix = kotlin_kotlin.$_$.j9;
243
+ var startsWith = kotlin_kotlin.$_$.o9;
244
+ var removeSuffix = kotlin_kotlin.$_$.l9;
245
+ var endsWith = kotlin_kotlin.$_$.e9;
249
246
  var Constant = kotlin_it_unibo_tuprolog_core.$_$.g1;
250
- var generateSequence = kotlin_kotlin.$_$.a8;
251
- var takeWhile = kotlin_kotlin.$_$.r8;
247
+ var generateSequence = kotlin_kotlin.$_$.z7;
248
+ var takeWhile = kotlin_kotlin.$_$.q8;
252
249
  var charArrayOf = kotlin_kotlin.$_$.l5;
253
- var concatToString = kotlin_kotlin.$_$.d9;
250
+ var concatToString = kotlin_kotlin.$_$.c9;
254
251
  var Collection = kotlin_kotlin.$_$.p1;
255
252
  var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.o1;
256
253
  var stringToAtom = kotlin_it_unibo_tuprolog_core.$_$.v2;
257
254
  var isCharSequence = kotlin_kotlin.$_$.h6;
258
- var trim = kotlin_kotlin.$_$.aa;
255
+ var trim = kotlin_kotlin.$_$.z9;
259
256
  var Success = kotlin_it_unibo_tuprolog_theory.$_$.e;
260
257
  var asReversed = kotlin_kotlin.$_$.x1;
261
258
  var LinkedHashSet_init_$Create$_0 = kotlin_kotlin.$_$.s;
262
259
  var CoroutineImpl = kotlin_kotlin.$_$.p4;
263
- var SequenceScope = kotlin_kotlin.$_$.i7;
260
+ var SequenceScope = kotlin_kotlin.$_$.h7;
264
261
  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.o4;
265
262
  var initMetadataForLambda = kotlin_kotlin.$_$.e6;
266
- var sequence = kotlin_kotlin.$_$.p8;
267
- var substring = kotlin_kotlin.$_$.t9;
268
- var substring_0 = kotlin_kotlin.$_$.s9;
269
- var substringBefore = kotlin_kotlin.$_$.r9;
270
- var substringAfter = kotlin_kotlin.$_$.q9;
263
+ var sequence = kotlin_kotlin.$_$.o8;
264
+ var substring = kotlin_kotlin.$_$.s9;
265
+ var substring_0 = kotlin_kotlin.$_$.r9;
266
+ var substringBefore = kotlin_kotlin.$_$.q9;
267
+ var substringAfter = kotlin_kotlin.$_$.p9;
271
268
  var copyToArray = kotlin_kotlin.$_$.i2;
272
269
  var print = kotlin_kotlin.$_$.r4;
273
270
  //endregion
@@ -5639,20 +5636,18 @@
5639
5636
  return new FlagStore(flags);
5640
5637
  };
5641
5638
  protoOf(Companion_31).of = function (notableFlagValues) {
5642
- // Inline function 'kotlin.collections.associate' call
5643
- var capacity = coerceAtLeast(mapCapacity(notableFlagValues.length), 16);
5644
- // Inline function 'kotlin.collections.associateTo' call
5645
- var destination = LinkedHashMap_init_$Create$_0(capacity);
5639
+ // Inline function 'kotlin.collections.map' call
5640
+ // Inline function 'kotlin.collections.mapTo' call
5641
+ var destination = ArrayList_init_$Create$_0(notableFlagValues.length);
5646
5642
  var inductionVariable = 0;
5647
5643
  var last = notableFlagValues.length;
5648
5644
  while (inductionVariable < last) {
5649
- var element = notableFlagValues[inductionVariable];
5645
+ var item = notableFlagValues[inductionVariable];
5650
5646
  inductionVariable = inductionVariable + 1 | 0;
5651
- // Inline function 'kotlin.collections.plusAssign' call
5652
- var pair = element.toPair();
5653
- destination.l4(pair.first, pair.second);
5647
+ var tmp$ret$2 = item.toPair();
5648
+ destination.l(tmp$ret$2);
5654
5649
  }
5655
- return new FlagStore(destination);
5650
+ return new FlagStore(toMap_0(destination));
5656
5651
  };
5657
5652
  var Companion_instance_41;
5658
5653
  function Companion_getInstance_45() {