@tuprolog/arg2p-core 0.13.2 → 0.14.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.
Files changed (19) hide show
  1. package/2p-core.js +94 -94
  2. package/2p-core.js.map +1 -1
  3. package/2p-solve-classic.js +46 -46
  4. package/2p-solve-classic.js.map +1 -1
  5. package/2p-solve.js +134 -134
  6. package/2p-solve.js.map +1 -1
  7. package/2p-theory.js +57 -57
  8. package/2p-theory.js.map +1 -1
  9. package/2p-unify.js +40 -40
  10. package/2p-unify.js.map +1 -1
  11. package/2p-utils.js +56 -56
  12. package/2p-utils.js.map +1 -1
  13. package/arg2p-core.js +8 -4
  14. package/arg2p-core.js.map +1 -1
  15. package/kotlin-kotlin-stdlib.js +953 -925
  16. package/kotlin-kotlin-stdlib.js.map +1 -1
  17. package/kt-math.js +114 -112
  18. package/kt-math.js.map +1 -1
  19. package/package.json +1 -1
package/2p-theory.js CHANGED
@@ -22,50 +22,50 @@
22
22
  'use strict';
23
23
  //region block: imports
24
24
  var imul = Math.imul;
25
- var protoOf = kotlin_kotlin.$_$.b6;
26
- var asIterable = kotlin_kotlin.$_$.x6;
27
- var any = kotlin_kotlin.$_$.w6;
25
+ var protoOf = kotlin_kotlin.$_$.a6;
26
+ var asIterable = kotlin_kotlin.$_$.w6;
27
+ var any = kotlin_kotlin.$_$.v6;
28
28
  var asSequence = kotlin_kotlin.$_$.v1;
29
- var getKClassFromExpression = kotlin_kotlin.$_$.r6;
29
+ var getKClassFromExpression = kotlin_kotlin.$_$.q6;
30
30
  var joinToString = kotlin_kotlin.$_$.m2;
31
- var initMetadataForClass = kotlin_kotlin.$_$.m5;
31
+ var initMetadataForClass = kotlin_kotlin.$_$.n5;
32
32
  var Unit_instance = kotlin_kotlin.$_$.j1;
33
- var toList = kotlin_kotlin.$_$.e8;
34
- var none = kotlin_kotlin.$_$.t7;
33
+ var toList = kotlin_kotlin.$_$.d8;
34
+ var none = kotlin_kotlin.$_$.s7;
35
35
  var VOID = kotlin_kotlin.$_$.b;
36
36
  var emptyList = kotlin_kotlin.$_$.e2;
37
37
  var asIterable_0 = kotlin_kotlin.$_$.r1;
38
38
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
39
39
  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.p;
40
40
  var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.c1;
41
- var getKClass = kotlin_kotlin.$_$.s6;
41
+ var getKClass = kotlin_kotlin.$_$.r6;
42
42
  var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.d1;
43
43
  var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.e1;
44
- var initMetadataForCompanion = kotlin_kotlin.$_$.n5;
45
- var initMetadataForInterface = kotlin_kotlin.$_$.o5;
44
+ var initMetadataForCompanion = kotlin_kotlin.$_$.o5;
45
+ var initMetadataForInterface = kotlin_kotlin.$_$.p5;
46
46
  var first = kotlin_kotlin.$_$.i2;
47
- var toString = kotlin_kotlin.$_$.e6;
48
- var hashCode = kotlin_kotlin.$_$.l5;
49
- var equals = kotlin_kotlin.$_$.g5;
50
- var defineProp = kotlin_kotlin.$_$.f5;
51
- var objectCreate = kotlin_kotlin.$_$.a6;
47
+ var toString = kotlin_kotlin.$_$.d6;
48
+ var hashCode = kotlin_kotlin.$_$.m5;
49
+ var equals = kotlin_kotlin.$_$.h5;
50
+ var defineProp = kotlin_kotlin.$_$.g5;
51
+ var objectCreate = kotlin_kotlin.$_$.z5;
52
52
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
53
53
  var asReversed = kotlin_kotlin.$_$.s1;
54
- var isInterface = kotlin_kotlin.$_$.t5;
55
- var KProperty1 = kotlin_kotlin.$_$.t6;
56
- var getPropertyCallableRef = kotlin_kotlin.$_$.j5;
57
- var lazy = kotlin_kotlin.$_$.z9;
54
+ var isInterface = kotlin_kotlin.$_$.u5;
55
+ var KProperty1 = kotlin_kotlin.$_$.s6;
56
+ var getPropertyCallableRef = kotlin_kotlin.$_$.k5;
57
+ var lazy = kotlin_kotlin.$_$.y9;
58
58
  var CoroutineImpl = kotlin_kotlin.$_$.e4;
59
- var THROW_CCE = kotlin_kotlin.$_$.u9;
60
- var SequenceScope = kotlin_kotlin.$_$.u6;
59
+ var THROW_CCE = kotlin_kotlin.$_$.t9;
60
+ var SequenceScope = kotlin_kotlin.$_$.t6;
61
61
  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.d4;
62
- var initMetadataForLambda = kotlin_kotlin.$_$.p5;
63
- var sequence = kotlin_kotlin.$_$.y7;
62
+ var initMetadataForLambda = kotlin_kotlin.$_$.q5;
63
+ var sequence = kotlin_kotlin.$_$.x7;
64
64
  var listOf = kotlin_kotlin.$_$.u2;
65
65
  var mergeSequences = kotlin_it_unibo_tuprolog_utils.$_$.g1;
66
- var sequenceOf = kotlin_kotlin.$_$.w7;
67
- var flatten = kotlin_kotlin.$_$.k7;
68
- var initMetadataForObject = kotlin_kotlin.$_$.q5;
66
+ var sequenceOf = kotlin_kotlin.$_$.v7;
67
+ var flatten = kotlin_kotlin.$_$.j7;
68
+ var initMetadataForObject = kotlin_kotlin.$_$.r5;
69
69
  var compareTo = kotlin_it_unibo_tuprolog_utils.$_$.i;
70
70
  var LongIndexed = kotlin_it_unibo_tuprolog_utils.$_$.j;
71
71
  var component1 = kotlin_it_unibo_tuprolog_utils.$_$.g;
@@ -75,52 +75,52 @@
75
75
  var plus = kotlin_kotlin.$_$.m3;
76
76
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
77
77
  var minOrNull = kotlin_kotlin.$_$.y2;
78
- var map = kotlin_kotlin.$_$.r7;
79
- var ensureNotNull = kotlin_kotlin.$_$.x9;
78
+ var map = kotlin_kotlin.$_$.q7;
79
+ var ensureNotNull = kotlin_kotlin.$_$.w9;
80
80
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
81
- var sum = kotlin_kotlin.$_$.z7;
81
+ var sum = kotlin_kotlin.$_$.y7;
82
82
  var Collection = kotlin_kotlin.$_$.k1;
83
- var filter = kotlin_kotlin.$_$.g7;
84
- var emptySequence = kotlin_kotlin.$_$.d7;
83
+ var filter = kotlin_kotlin.$_$.f7;
84
+ var emptySequence = kotlin_kotlin.$_$.c7;
85
85
  var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.x;
86
86
  var addFirst = kotlin_it_unibo_tuprolog_utils.$_$.p;
87
87
  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
88
88
  var collectionSizeOrDefault = kotlin_kotlin.$_$.x1;
89
89
  var dequeOf_0 = kotlin_it_unibo_tuprolog_utils.$_$.v;
90
90
  var Companion_instance_1 = kotlin_it_unibo_tuprolog_utils.$_$.b;
91
- var flatMap = kotlin_kotlin.$_$.j7;
92
- var sequenceOf_0 = kotlin_kotlin.$_$.x7;
93
- var firstOrNull = kotlin_kotlin.$_$.h7;
94
- var NotImplementedError = kotlin_kotlin.$_$.p9;
95
- var take = kotlin_kotlin.$_$.b8;
91
+ var flatMap = kotlin_kotlin.$_$.i7;
92
+ var sequenceOf_0 = kotlin_kotlin.$_$.w7;
93
+ var firstOrNull = kotlin_kotlin.$_$.g7;
94
+ var NotImplementedError = kotlin_kotlin.$_$.o9;
95
+ var take = kotlin_kotlin.$_$.a8;
96
96
  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
97
- var get_ONE = kotlin_kotlin.$_$.g4;
98
- var add = kotlin_kotlin.$_$.h4;
99
- var subtract = kotlin_kotlin.$_$.u4;
97
+ var get_ONE = kotlin_kotlin.$_$.h4;
98
+ var add = kotlin_kotlin.$_$.i4;
99
+ var subtract = kotlin_kotlin.$_$.v4;
100
100
  var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.c1;
101
101
  var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.o;
102
102
  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.u;
103
103
  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.q;
104
- var numberRangeToNumber = kotlin_kotlin.$_$.x5;
105
- var plus_0 = kotlin_kotlin.$_$.v7;
104
+ var numberRangeToNumber = kotlin_kotlin.$_$.w5;
105
+ var plus_0 = kotlin_kotlin.$_$.u7;
106
106
  var getTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
107
107
  var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
108
108
  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_unify.$_$.a;
109
109
  var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.i;
110
110
  var first_0 = kotlin_kotlin.$_$.j2;
111
- var filterNotNull = kotlin_kotlin.$_$.e7;
111
+ var filterNotNull = kotlin_kotlin.$_$.d7;
112
112
  var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.n;
113
- var filterNot = kotlin_kotlin.$_$.f7;
113
+ var filterNot = kotlin_kotlin.$_$.e7;
114
114
  var asSequence_0 = kotlin_kotlin.$_$.w1;
115
- var fromInt = kotlin_kotlin.$_$.m4;
115
+ var fromInt = kotlin_kotlin.$_$.n4;
116
116
  var emptyMap = kotlin_kotlin.$_$.f2;
117
117
  var toList_0 = kotlin_kotlin.$_$.t3;
118
118
  var listOf_0 = kotlin_kotlin.$_$.t2;
119
119
  var none_0 = kotlin_kotlin.$_$.h3;
120
120
  var dequeOf_1 = kotlin_it_unibo_tuprolog_utils.$_$.w;
121
- var Pair = kotlin_kotlin.$_$.s9;
121
+ var Pair = kotlin_kotlin.$_$.r9;
122
122
  var toMutableList = kotlin_kotlin.$_$.z3;
123
- var toMutableList_0 = kotlin_kotlin.$_$.f8;
123
+ var toMutableList_0 = kotlin_kotlin.$_$.e8;
124
124
  var addFirst_0 = kotlin_it_unibo_tuprolog_utils.$_$.o;
125
125
  var addAll = kotlin_kotlin.$_$.o1;
126
126
  //endregion
@@ -781,7 +781,7 @@
781
781
  it.t1j();
782
782
  this.s1j_1.z2();
783
783
  this.z7_1 = 2;
784
- suspendResult = this.r1j_1.lc(it, this);
784
+ suspendResult = this.r1j_1.ic(it, this);
785
785
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
786
786
  return suspendResult;
787
787
  }
@@ -878,7 +878,7 @@
878
878
  }
879
879
 
880
880
  this.z7_1 = 2;
881
- suspendResult = this.k1k_1.lc(this.l1k_1, this);
881
+ suspendResult = this.k1k_1.ic(this.l1k_1, this);
882
882
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
883
883
  return suspendResult;
884
884
  }
@@ -890,7 +890,7 @@
890
890
  continue $sm;
891
891
  case 3:
892
892
  this.z7_1 = 4;
893
- suspendResult = this.k1k_1.lc(this.l1k_1, this);
893
+ suspendResult = this.k1k_1.ic(this.l1k_1, this);
894
894
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
895
895
  return suspendResult;
896
896
  }
@@ -3246,8 +3246,8 @@
3246
3246
  var this_0 = numberRangeToNumber(1, ensureNotNull(indicator.mx()));
3247
3247
  // Inline function 'kotlin.collections.mapTo' call
3248
3248
  var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
3249
- var inductionVariable = this_0.zf_1;
3250
- var last = this_0.ag_1;
3249
+ var inductionVariable = this_0.wf_1;
3250
+ var last = this_0.xf_1;
3251
3251
  if (inductionVariable <= last)
3252
3252
  do {
3253
3253
  var item = inductionVariable;
@@ -4321,8 +4321,8 @@
4321
4321
  }
4322
4322
  }
4323
4323
  var partitionedClauses = new Pair(first, second);
4324
- var newTheory = partitionedClauses.dc_1;
4325
- var toBeActuallyRetracted = partitionedClauses.cc_1;
4324
+ var newTheory = partitionedClauses.second;
4325
+ var toBeActuallyRetracted = partitionedClauses.first;
4326
4326
  tmp = new Success_0(new ListedTheory(this.r1h(), newTheory, this.qq()), toBeActuallyRetracted);
4327
4327
  }
4328
4328
  return tmp;
@@ -4778,13 +4778,13 @@
4778
4778
  protoOf(IndexedClause$Companion$wrap$1).v1j = get_innerClause;
4779
4779
  protoOf(IndexedClause$Companion$wrap$1).e1l = plus_1;
4780
4780
  protoOf(IndexedClause$Companion$wrap$1).mq = compareTo;
4781
- protoOf(IndexedClause$Companion$wrap$1).wb = component1;
4782
- protoOf(IndexedClause$Companion$wrap$1).xb = component2;
4781
+ protoOf(IndexedClause$Companion$wrap$1).vb = component1;
4782
+ protoOf(IndexedClause$Companion$wrap$1).wb = component2;
4783
4783
  protoOf(SituatedIndexedClause$Companion$of$1).v1j = get_innerClause;
4784
4784
  protoOf(SituatedIndexedClause$Companion$of$1).e1l = plus_1;
4785
4785
  protoOf(SituatedIndexedClause$Companion$of$1).mq = compareTo;
4786
- protoOf(SituatedIndexedClause$Companion$of$1).wb = component1;
4787
- protoOf(SituatedIndexedClause$Companion$of$1).xb = component2;
4786
+ protoOf(SituatedIndexedClause$Companion$of$1).vb = component1;
4787
+ protoOf(SituatedIndexedClause$Companion$of$1).wb = component2;
4788
4788
  protoOf(AbstractTheory).h1p = get_isMutable;
4789
4789
  protoOf(AbstractTheory).v1h = get_rules;
4790
4790
  protoOf(AbstractTheory).u1h = get_directives;