@tuprolog/arg2p-causality-solver 0.16.6 → 0.16.7

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 (18) hide show
  1. package/2p-core.js +412 -405
  2. package/2p-core.js.map +1 -1
  3. package/{2p-solve-classic.js → 2p-solve-prolog.js} +667 -643
  4. package/2p-solve-prolog.js.map +1 -0
  5. package/2p-solve.js +2398 -1190
  6. package/2p-solve.js.map +1 -1
  7. package/2p-theory.js +81 -81
  8. package/2p-unify.js +70 -70
  9. package/2p-unify.js.map +1 -1
  10. package/2p-utils.js +52 -51
  11. package/2p-utils.js.map +1 -1
  12. package/arg2p-causality-solver.js +7 -7
  13. package/kotlin-kotlin-stdlib.js +820 -248
  14. package/kotlin-kotlin-stdlib.js.map +1 -1
  15. package/kt-math.js +165 -164
  16. package/kt-math.js.map +1 -1
  17. package/package.json +1 -1
  18. package/2p-solve-classic.js.map +0 -1
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.$_$.j6;
26
- var asIterable = kotlin_kotlin.$_$.e7;
27
- var any = kotlin_kotlin.$_$.d7;
25
+ var protoOf = kotlin_kotlin.$_$.o6;
26
+ var asIterable = kotlin_kotlin.$_$.j7;
27
+ var any = kotlin_kotlin.$_$.i7;
28
28
  var asSequence = kotlin_kotlin.$_$.b2;
29
- var getKClassFromExpression = kotlin_kotlin.$_$.y6;
30
- var joinToString = kotlin_kotlin.$_$.s2;
31
- var initMetadataForClass = kotlin_kotlin.$_$.w5;
29
+ var getKClassFromExpression = kotlin_kotlin.$_$.d7;
30
+ var joinToString = kotlin_kotlin.$_$.t2;
31
+ var initMetadataForClass = kotlin_kotlin.$_$.b6;
32
32
  var Unit_instance = kotlin_kotlin.$_$.n;
33
- var toList = kotlin_kotlin.$_$.l8;
34
- var none = kotlin_kotlin.$_$.a8;
33
+ var toList = kotlin_kotlin.$_$.q8;
34
+ var none = kotlin_kotlin.$_$.f8;
35
35
  var VOID = kotlin_kotlin.$_$.b;
36
- var emptyList = kotlin_kotlin.$_$.k2;
36
+ var emptyList = kotlin_kotlin.$_$.l2;
37
37
  var asIterable_0 = kotlin_kotlin.$_$.x1;
38
38
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.o;
39
- var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.m;
39
+ var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.n;
40
40
  var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.c1;
41
- var getKClass = kotlin_kotlin.$_$.z6;
41
+ var getKClass = kotlin_kotlin.$_$.e7;
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.$_$.x5;
45
- var initMetadataForInterface = kotlin_kotlin.$_$.y5;
46
- var first = kotlin_kotlin.$_$.o2;
47
- var toString = kotlin_kotlin.$_$.m6;
48
- var hashCode = kotlin_kotlin.$_$.v5;
49
- var equals = kotlin_kotlin.$_$.q5;
50
- var defineProp = kotlin_kotlin.$_$.p5;
51
- var objectCreate = kotlin_kotlin.$_$.i6;
44
+ var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
45
+ var initMetadataForInterface = kotlin_kotlin.$_$.d6;
46
+ var first = kotlin_kotlin.$_$.p2;
47
+ var toString = kotlin_kotlin.$_$.r6;
48
+ var hashCode = kotlin_kotlin.$_$.a6;
49
+ var equals = kotlin_kotlin.$_$.v5;
50
+ var defineProp = kotlin_kotlin.$_$.u5;
51
+ var objectCreate = kotlin_kotlin.$_$.n6;
52
52
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.c1;
53
53
  var asReversed = kotlin_kotlin.$_$.y1;
54
- var isInterface = kotlin_kotlin.$_$.d6;
55
- var KProperty1 = kotlin_kotlin.$_$.a7;
56
- var getPropertyCallableRef = kotlin_kotlin.$_$.t5;
57
- var constructCallableReference = kotlin_kotlin.$_$.o5;
58
- var lazy = kotlin_kotlin.$_$.ia;
59
- var CoroutineImpl = kotlin_kotlin.$_$.m4;
60
- var THROW_CCE = kotlin_kotlin.$_$.ca;
61
- var SequenceScope = kotlin_kotlin.$_$.b7;
62
- var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.l4;
63
- var initMetadataForLambda = kotlin_kotlin.$_$.z5;
64
- var sequence = kotlin_kotlin.$_$.f8;
65
- var listOf = kotlin_kotlin.$_$.a3;
54
+ var isInterface = kotlin_kotlin.$_$.i6;
55
+ var KProperty1 = kotlin_kotlin.$_$.f7;
56
+ var getPropertyCallableRef = kotlin_kotlin.$_$.y5;
57
+ var constructCallableReference = kotlin_kotlin.$_$.t5;
58
+ var lazy = kotlin_kotlin.$_$.ra;
59
+ var CoroutineImpl = kotlin_kotlin.$_$.r4;
60
+ var THROW_CCE = kotlin_kotlin.$_$.ka;
61
+ var SequenceScope = kotlin_kotlin.$_$.g7;
62
+ var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.q4;
63
+ var initMetadataForLambda = kotlin_kotlin.$_$.e6;
64
+ var sequence = kotlin_kotlin.$_$.k8;
65
+ var listOf = kotlin_kotlin.$_$.b3;
66
66
  var mergeSequences = kotlin_it_unibo_tuprolog_utils.$_$.g1;
67
- var sequenceOf = kotlin_kotlin.$_$.d8;
68
- var flatten = kotlin_kotlin.$_$.r7;
69
- var initMetadataForObject = kotlin_kotlin.$_$.a6;
67
+ var sequenceOf = kotlin_kotlin.$_$.i8;
68
+ var flatten = kotlin_kotlin.$_$.w7;
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.$_$.i2;
76
- var plus = kotlin_kotlin.$_$.s3;
76
+ var plus = kotlin_kotlin.$_$.t3;
77
77
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.p;
78
- var minOrNull = kotlin_kotlin.$_$.e3;
79
- var map = kotlin_kotlin.$_$.y7;
80
- var ensureNotNull = kotlin_kotlin.$_$.ga;
78
+ var minOrNull = kotlin_kotlin.$_$.f3;
79
+ var map = kotlin_kotlin.$_$.d8;
80
+ var ensureNotNull = kotlin_kotlin.$_$.oa;
81
81
  var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.r;
82
- var sum = kotlin_kotlin.$_$.g8;
82
+ var sum = kotlin_kotlin.$_$.l8;
83
83
  var Collection = kotlin_kotlin.$_$.p1;
84
- var filter = kotlin_kotlin.$_$.n7;
85
- var emptySequence = kotlin_kotlin.$_$.k7;
84
+ var filter = kotlin_kotlin.$_$.s7;
85
+ var emptySequence = kotlin_kotlin.$_$.p7;
86
86
  var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.x;
87
87
  var addFirst = kotlin_it_unibo_tuprolog_utils.$_$.p;
88
88
  var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
89
89
  var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
90
90
  var dequeOf_0 = kotlin_it_unibo_tuprolog_utils.$_$.v;
91
91
  var Companion_instance_1 = kotlin_it_unibo_tuprolog_utils.$_$.b;
92
- var flatMap = kotlin_kotlin.$_$.q7;
93
- var sequenceOf_0 = kotlin_kotlin.$_$.e8;
94
- var firstOrNull = kotlin_kotlin.$_$.o7;
95
- var NotImplementedError = kotlin_kotlin.$_$.x9;
96
- var take = kotlin_kotlin.$_$.i8;
92
+ var flatMap = kotlin_kotlin.$_$.v7;
93
+ var sequenceOf_0 = kotlin_kotlin.$_$.j8;
94
+ var firstOrNull = kotlin_kotlin.$_$.t7;
95
+ var NotImplementedError = kotlin_kotlin.$_$.fa;
96
+ var take = kotlin_kotlin.$_$.n8;
97
97
  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.f1;
98
- var get_ONE = kotlin_kotlin.$_$.p4;
99
- var add = kotlin_kotlin.$_$.q4;
100
- var subtract = kotlin_kotlin.$_$.d5;
98
+ var get_ONE = kotlin_kotlin.$_$.u4;
99
+ var add = kotlin_kotlin.$_$.v4;
100
+ var subtract = kotlin_kotlin.$_$.i5;
101
101
  var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.o1;
102
- var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.l;
103
- var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.r;
104
- var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.n;
105
- var numberRangeToNumber = kotlin_kotlin.$_$.f6;
106
- var plus_0 = kotlin_kotlin.$_$.c8;
102
+ var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.m;
103
+ var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.s;
104
+ var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.o;
105
+ var numberRangeToNumber = kotlin_kotlin.$_$.k6;
106
+ var plus_0 = kotlin_kotlin.$_$.h8;
107
107
  var getTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
108
108
  var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
109
109
  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_unify.$_$.a;
110
- var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.f;
111
- var first_0 = kotlin_kotlin.$_$.p2;
112
- var filterNotNull = kotlin_kotlin.$_$.l7;
110
+ var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.g;
111
+ var first_0 = kotlin_kotlin.$_$.q2;
112
+ var filterNotNull = kotlin_kotlin.$_$.q7;
113
113
  var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.n;
114
- var filterNot = kotlin_kotlin.$_$.m7;
114
+ var filterNot = kotlin_kotlin.$_$.r7;
115
115
  var asSequence_0 = kotlin_kotlin.$_$.c2;
116
- var fromInt = kotlin_kotlin.$_$.v4;
117
- var emptyMap = kotlin_kotlin.$_$.l2;
118
- var toList_0 = kotlin_kotlin.$_$.a4;
119
- var listOf_0 = kotlin_kotlin.$_$.z2;
120
- var none_0 = kotlin_kotlin.$_$.n3;
116
+ var fromInt = kotlin_kotlin.$_$.a5;
117
+ var emptyMap = kotlin_kotlin.$_$.m2;
118
+ var toList_0 = kotlin_kotlin.$_$.d4;
119
+ var listOf_0 = kotlin_kotlin.$_$.a3;
120
+ var none_0 = kotlin_kotlin.$_$.o3;
121
121
  var dequeOf_1 = kotlin_it_unibo_tuprolog_utils.$_$.w;
122
- var Pair = kotlin_kotlin.$_$.aa;
123
- var toMutableList = kotlin_kotlin.$_$.g4;
124
- var toMutableList_0 = kotlin_kotlin.$_$.m8;
122
+ var Pair = kotlin_kotlin.$_$.ia;
123
+ var toMutableList = kotlin_kotlin.$_$.j4;
124
+ var toMutableList_0 = kotlin_kotlin.$_$.r8;
125
125
  var addFirst_0 = kotlin_it_unibo_tuprolog_utils.$_$.o;
126
126
  var addAll = kotlin_kotlin.$_$.u1;
127
127
  //endregion
@@ -162,7 +162,7 @@
162
162
  return this.get_value_j01efc_k$();
163
163
  }
164
164
  function plus_1(traversed) {
165
- return Companion_instance_7.of_4zitl4_k$(this.get_index_it478p_k$(), this.get_innerClause_3f9m9w_k$(), plus(this.get_traversedCacheables_lc7b0g_k$(), traversed));
165
+ return Companion_instance_7.of_7y91vk_k$(this.get_index_it478p_k$(), this.get_innerClause_3f9m9w_k$(), plus(this.get_traversedCacheables_lc7b0g_k$(), traversed));
166
166
  }
167
167
  initMetadataForInterface(IndexedClause, 'IndexedClause', VOID, VOID, [LongIndexed]);
168
168
  initMetadataForClass(IndexedClause$Companion$wrap$1, VOID, VOID, VOID, [IndexedClause]);
@@ -975,7 +975,7 @@
975
975
  return this.flatten_a3pppc_k$(asSequence(iterable));
976
976
  };
977
977
  protoOf(Utils).comparePriority_z9ltkn_k$ = function (a, b) {
978
- return a == null && b == null ? null : a == null ? b : b == null ? a : a.compareTo_i07rii_k$(b) < 0 ? a : b;
978
+ return a == null && b == null ? null : a == null ? b : b == null ? a : a.compareTo_uf3ewo_k$(b) < 0 ? a : b;
979
979
  };
980
980
  var Utils_instance;
981
981
  function Utils_getInstance() {
@@ -1003,21 +1003,21 @@
1003
1003
  }
1004
1004
  };
1005
1005
  protoOf(IndexedClause$Companion$wrap$1).compareTo_hpufkf_k$ = function (other) {
1006
- return this.compareTo_i07rii_k$((!(other == null) ? isInterface(other, LongIndexed) : false) ? other : THROW_CCE());
1006
+ return this.compareTo_uf3ewo_k$((!(other == null) ? isInterface(other, LongIndexed) : false) ? other : THROW_CCE());
1007
1007
  };
1008
1008
  function Companion_2() {
1009
1009
  }
1010
- protoOf(Companion_2).wrap_68u49k_k$ = function (indexedClause, traversed) {
1010
+ protoOf(Companion_2).wrap_98oro2_k$ = function (indexedClause, traversed) {
1011
1011
  return new IndexedClause$Companion$wrap$1(traversed, indexedClause);
1012
1012
  };
1013
- protoOf(Companion_2).of_yh3usi_k$ = function (index, clause, traversed) {
1014
- return this.wrap_68u49k_k$(Companion_instance_0.of_tg2bdk_k$(index, clause), traversed.slice());
1013
+ protoOf(Companion_2).of_bqxowm_k$ = function (index, clause, traversed) {
1014
+ return this.wrap_98oro2_k$(Companion_instance_0.of_3npvtg_k$(index, clause), traversed.slice());
1015
1015
  };
1016
- protoOf(Companion_2).of_4zitl4_k$ = function (index, clause, traversed) {
1017
- var tmp = Companion_instance_0.of_tg2bdk_k$(index, clause);
1016
+ protoOf(Companion_2).of_7y91vk_k$ = function (index, clause, traversed) {
1017
+ var tmp = Companion_instance_0.of_3npvtg_k$(index, clause);
1018
1018
  // Inline function 'kotlin.collections.toTypedArray' call
1019
1019
  var tmp$ret$0 = copyToArray(traversed);
1020
- return this.wrap_68u49k_k$(tmp, tmp$ret$0.slice());
1020
+ return this.wrap_98oro2_k$(tmp, tmp$ret$0.slice());
1021
1021
  };
1022
1022
  var Companion_instance_7;
1023
1023
  function Companion_getInstance_5() {
@@ -1055,7 +1055,7 @@
1055
1055
  return true;
1056
1056
  };
1057
1057
  protoOf(SituatedIndexedClause$Companion$of$1).compareTo_hpufkf_k$ = function (other) {
1058
- return this.compareTo_i07rii_k$((!(other == null) ? isInterface(other, LongIndexed) : false) ? other : THROW_CCE());
1058
+ return this.compareTo_uf3ewo_k$((!(other == null) ? isInterface(other, LongIndexed) : false) ? other : THROW_CCE());
1059
1059
  };
1060
1060
  function Companion_3() {
1061
1061
  }
@@ -1070,7 +1070,7 @@
1070
1070
  }
1071
1071
  function SituatedIndexedClause$compareTo$ref() {
1072
1072
  return constructCallableReference(function (p0, p1) {
1073
- return p0.compareTo_i07rii_k$(p1);
1073
+ return p0.compareTo_uf3ewo_k$(p1);
1074
1074
  }, 2, 0, 33, 'compareTo');
1075
1075
  }
1076
1076
  function AbstractIndexingLeaf(unificator) {
@@ -2654,12 +2654,12 @@
2654
2654
  function assignHigherIndex($this, clause) {
2655
2655
  var tmp = Companion_instance_7;
2656
2656
  $this.highestIndex_1 = add($this.highestIndex_1, get_ONE());
2657
- return tmp.of_yh3usi_k$($this.highestIndex_1, clause, [$this]);
2657
+ return tmp.of_bqxowm_k$($this.highestIndex_1, clause, [$this]);
2658
2658
  }
2659
2659
  function assignLowerIndex($this, clause) {
2660
2660
  var tmp = Companion_instance_7;
2661
2661
  $this.lowestIndex_1 = subtract($this.lowestIndex_1, get_ONE());
2662
- return tmp.of_yh3usi_k$($this.lowestIndex_1, clause, [$this]);
2662
+ return tmp.of_bqxowm_k$($this.lowestIndex_1, clause, [$this]);
2663
2663
  }
2664
2664
  function regenerateCache_2($this) {
2665
2665
  var tmp;
@@ -4757,12 +4757,12 @@
4757
4757
  protoOf(ReteClauseQueue).get_allm23_k$ = get;
4758
4758
  protoOf(IndexedClause$Companion$wrap$1).get_innerClause_3f9m9w_k$ = get_innerClause;
4759
4759
  protoOf(IndexedClause$Companion$wrap$1).plus_xbx3oc_k$ = plus_1;
4760
- protoOf(IndexedClause$Companion$wrap$1).compareTo_i07rii_k$ = compareTo;
4760
+ protoOf(IndexedClause$Companion$wrap$1).compareTo_uf3ewo_k$ = compareTo;
4761
4761
  protoOf(IndexedClause$Companion$wrap$1).component1_7eebsc_k$ = component1;
4762
4762
  protoOf(IndexedClause$Companion$wrap$1).component2_7eebsb_k$ = component2;
4763
4763
  protoOf(SituatedIndexedClause$Companion$of$1).get_innerClause_3f9m9w_k$ = get_innerClause;
4764
4764
  protoOf(SituatedIndexedClause$Companion$of$1).plus_xbx3oc_k$ = plus_1;
4765
- protoOf(SituatedIndexedClause$Companion$of$1).compareTo_i07rii_k$ = compareTo;
4765
+ protoOf(SituatedIndexedClause$Companion$of$1).compareTo_uf3ewo_k$ = compareTo;
4766
4766
  protoOf(SituatedIndexedClause$Companion$of$1).component1_7eebsc_k$ = component1;
4767
4767
  protoOf(SituatedIndexedClause$Companion$of$1).component2_7eebsb_k$ = component2;
4768
4768
  protoOf(AbstractTheory).get_isMutable_matrzn_k$ = get_isMutable;
package/2p-unify.js CHANGED
@@ -19,65 +19,65 @@
19
19
  'use strict';
20
20
  //region block: imports
21
21
  var imul = Math.imul;
22
- var protoOf = kotlin_kotlin.$_$.j6;
23
- var getBooleanHashCode = kotlin_kotlin.$_$.s5;
24
- var initMetadataForClass = kotlin_kotlin.$_$.w5;
25
- var toString = kotlin_kotlin.$_$.m6;
26
- var hashCode = kotlin_kotlin.$_$.v5;
27
- var equals = kotlin_kotlin.$_$.q5;
28
- var KProperty1 = kotlin_kotlin.$_$.a7;
29
- var getPropertyCallableRef = kotlin_kotlin.$_$.t5;
22
+ var protoOf = kotlin_kotlin.$_$.o6;
23
+ var getBooleanHashCode = kotlin_kotlin.$_$.x5;
24
+ var initMetadataForClass = kotlin_kotlin.$_$.b6;
25
+ var toString = kotlin_kotlin.$_$.r6;
26
+ var hashCode = kotlin_kotlin.$_$.a6;
27
+ var equals = kotlin_kotlin.$_$.v5;
28
+ var KProperty1 = kotlin_kotlin.$_$.f7;
29
+ var getPropertyCallableRef = kotlin_kotlin.$_$.y5;
30
30
  var asSequence = kotlin_kotlin.$_$.a2;
31
- var plus = kotlin_kotlin.$_$.c8;
32
- var map = kotlin_kotlin.$_$.y7;
31
+ var plus = kotlin_kotlin.$_$.h8;
32
+ var map = kotlin_kotlin.$_$.d8;
33
33
  var Unit_instance = kotlin_kotlin.$_$.n;
34
- var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.o;
34
+ var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.p;
35
35
  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.p;
36
- var toCollection = kotlin_kotlin.$_$.j8;
37
- var constructCallableReference = kotlin_kotlin.$_$.o5;
38
- var Pair = kotlin_kotlin.$_$.aa;
39
- var lazy = kotlin_kotlin.$_$.ia;
36
+ var toCollection = kotlin_kotlin.$_$.o8;
37
+ var constructCallableReference = kotlin_kotlin.$_$.t5;
38
+ var Pair = kotlin_kotlin.$_$.ia;
39
+ var lazy = kotlin_kotlin.$_$.ra;
40
40
  var asSequence_0 = kotlin_kotlin.$_$.b2;
41
- var THROW_CCE = kotlin_kotlin.$_$.ca;
41
+ var THROW_CCE = kotlin_kotlin.$_$.ka;
42
42
  var VOID = kotlin_kotlin.$_$.b;
43
43
  var Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.a;
44
- var Triple = kotlin_kotlin.$_$.ea;
44
+ var Triple = kotlin_kotlin.$_$.ma;
45
45
  var Some = kotlin_it_unibo_tuprolog_utils.$_$.k;
46
- var zip = kotlin_kotlin.$_$.q8;
47
- var flatMap = kotlin_kotlin.$_$.q7;
48
- var sequenceOf = kotlin_kotlin.$_$.e8;
49
- var defineProp = kotlin_kotlin.$_$.p5;
50
- var sequenceOf_0 = kotlin_kotlin.$_$.d8;
51
- var initMetadataForCompanion = kotlin_kotlin.$_$.x5;
52
- var getKClass = kotlin_kotlin.$_$.z6;
46
+ var zip = kotlin_kotlin.$_$.v8;
47
+ var flatMap = kotlin_kotlin.$_$.v7;
48
+ var sequenceOf = kotlin_kotlin.$_$.j8;
49
+ var defineProp = kotlin_kotlin.$_$.u5;
50
+ var sequenceOf_0 = kotlin_kotlin.$_$.i8;
51
+ var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
52
+ var getKClass = kotlin_kotlin.$_$.e7;
53
53
  var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.a1;
54
54
  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.c1;
55
- var to = kotlin_kotlin.$_$.na;
56
- var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.n;
55
+ var to = kotlin_kotlin.$_$.wa;
56
+ var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.o;
57
57
  var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
58
58
  var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
59
59
  var collectionSizeOrDefault = kotlin_kotlin.$_$.d2;
60
60
  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.o;
61
- var initMetadataForInterface = kotlin_kotlin.$_$.y5;
61
+ var initMetadataForInterface = kotlin_kotlin.$_$.d6;
62
62
  //endregion
63
63
  //region block: pre-declaration
64
64
  initMetadataForClass(Mgu, 'Mgu');
65
65
  initMetadataForClass(Merge, 'Merge');
66
66
  function mguWithOccurCheck(term1, term2, occurCheckEnabled, $super) {
67
67
  occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
68
- return $super === VOID ? this.mgu_2a3r92_k$(term1, term2, occurCheckEnabled) : $super.mgu_2a3r92_k$.call(this, term1, term2, occurCheckEnabled);
68
+ return $super === VOID ? this.mgu_mo2ly8_k$(term1, term2, occurCheckEnabled) : $super.mgu_mo2ly8_k$.call(this, term1, term2, occurCheckEnabled);
69
69
  }
70
70
  function mgu(term1, term2) {
71
- return this.mgu_2a3r92_k$(term1, term2, true);
71
+ return this.mgu_mo2ly8_k$(term1, term2, true);
72
72
  }
73
73
  function matchWithOccurCheck(term1, term2, occurCheckEnabled) {
74
- return !(this.mgu_2a3r92_k$(term1, term2, occurCheckEnabled) === Companion_getInstance().failed());
74
+ return !(this.mgu_mo2ly8_k$(term1, term2, occurCheckEnabled) === Companion_getInstance().failed());
75
75
  }
76
76
  function match(term1, term2) {
77
77
  return this.matchWithOccurCheck(term1, term2, true);
78
78
  }
79
79
  function unifyWithOccurCheck(term1, term2, occurCheckEnabled) {
80
- var substitution = this.mgu_2a3r92_k$(term1, term2, occurCheckEnabled);
80
+ var substitution = this.mgu_mo2ly8_k$(term1, term2, occurCheckEnabled);
81
81
  return substitution.get_isFailed_t67zdc_k$() ? null : term1.getSubstituted(substitution, []);
82
82
  }
83
83
  function unify(term1, term2) {
@@ -165,7 +165,7 @@
165
165
  function occurrenceCheck($this, variable, term) {
166
166
  var tmp;
167
167
  if (term.get_isVar_it73p0_k$()) {
168
- tmp = $this.checkTermsEquality_whpy07_k$(variable, term);
168
+ tmp = $this.checkTermsEquality_u6kzr7_k$(variable, term);
169
169
  } else if (term.get_isStruct_zeoyoo_k$()) {
170
170
  var tmp0 = term.get_variables_75f0zy_k$();
171
171
  var tmp$ret$0;
@@ -189,7 +189,7 @@
189
189
  }
190
190
  function equationsFor($this, term1, term2) {
191
191
  var tmp = Companion_instance_0;
192
- return tmp.allOf_9byj3j_k$(term1, term2, AbstractUnificator$checkTermsEquality$ref($this));
192
+ return tmp.allOf_wylrdl_k$(term1, term2, AbstractUnificator$checkTermsEquality$ref($this));
193
193
  }
194
194
  function equationsFor_0($this, substitution1, substitution2) {
195
195
  var tmp = Companion_instance_0;
@@ -283,7 +283,7 @@
283
283
  }
284
284
  function AbstractUnificator$checkTermsEquality$ref(p0) {
285
285
  return constructCallableReference(function (p0_0, p1) {
286
- return p0.checkTermsEquality_whpy07_k$(p0_0, p1);
286
+ return p0.checkTermsEquality_u6kzr7_k$(p0_0, p1);
287
287
  }, 2, 0, 27, 'checkTermsEquality', [p0]);
288
288
  }
289
289
  function AbstractUnificator$equationsFor$lambda(it) {
@@ -299,7 +299,7 @@
299
299
  var newRhs = _destruct__k2r9zo.component2_7eebsb_k$();
300
300
  if (!currentEq.get_lhs_18j1f6_k$().equals(newLhs) || !currentEq.get_rhs_18iwz0_k$().equals(newRhs)) {
301
301
  var tmp = Companion_instance_0;
302
- $equations.set_82063s_k$(i, tmp.of_w4otqq_k$(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref(this$0)));
302
+ $equations.set_82063s_k$(i, tmp.of_o4qqfs_k$(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref(this$0)));
303
303
  changed._v = true;
304
304
  }
305
305
  }
@@ -317,7 +317,7 @@
317
317
  protoOf(AbstractUnificator).handleEquation_d8yrk_k$ = function (request, equation) {
318
318
  return equation;
319
319
  };
320
- protoOf(AbstractUnificator).mgu_2a3r92_k$ = function (term1, term2, occurCheckEnabled) {
320
+ protoOf(AbstractUnificator).mgu_mo2ly8_k$ = function (term1, term2, occurCheckEnabled) {
321
321
  if (this.get_context_h02k06_k$().get_isFailed_t67zdc_k$())
322
322
  return Companion_getInstance().failed();
323
323
  var equations = newDeque(this, plus(asSequence_0(_get_contextEquations__x0dd77(this)), equationsFor(this, term1, term2)));
@@ -345,14 +345,14 @@
345
345
  this.decorated_1 = decorated;
346
346
  this.mguCache_1 = Companion_instance.simpleLru_axkvh1_k$(cacheCapacity);
347
347
  }
348
- protoOf(CachedUnificator).mgu_2a3r92_k$ = function (term1, term2, occurCheckEnabled) {
348
+ protoOf(CachedUnificator).mgu_mo2ly8_k$ = function (term1, term2, occurCheckEnabled) {
349
349
  var mguRequest = new Triple(term1, term2, occurCheckEnabled);
350
350
  var cached = this.mguCache_1.get_wei43m_k$(mguRequest);
351
351
  var tmp;
352
352
  if (cached instanceof Some) {
353
353
  tmp = cached.value_1;
354
354
  } else {
355
- var mguResult = this.decorated_1.mgu_2a3r92_k$(term1, term2, occurCheckEnabled);
355
+ var mguResult = this.decorated_1.mgu_mo2ly8_k$(term1, term2, occurCheckEnabled);
356
356
  this.mguCache_1.set_iuhvb1_k$(mguRequest, mguResult);
357
357
  tmp = mguResult;
358
358
  }
@@ -413,14 +413,14 @@
413
413
  return function (_destruct__k2r9zo) {
414
414
  var l = _destruct__k2r9zo.component1_7eebsc_k$();
415
415
  var r = _destruct__k2r9zo.component2_7eebsb_k$();
416
- return l.get_isCons_evvwck_k$() && r.get_isCons_evvwck_k$() ? sequenceOf(Companion_instance_0.of_w4otqq_k$(l.castToCons().get_head_won7e1_k$(), r.castToCons().get_head_won7e1_k$(), $equalityChecker)) : l.get_isList_ew1iwh_k$() && r.get_isList_ew1iwh_k$() ? sequenceOf(Companion_instance_0.of_w4otqq_k$(l.castToList(), r.castToList(), $equalityChecker)) : Companion_instance_0.allOf_9byj3j_k$(l, r, $equalityChecker);
416
+ return l.get_isCons_evvwck_k$() && r.get_isCons_evvwck_k$() ? sequenceOf(Companion_instance_0.of_o4qqfs_k$(l.castToCons().get_head_won7e1_k$(), r.castToCons().get_head_won7e1_k$(), $equalityChecker)) : l.get_isList_ew1iwh_k$() && r.get_isList_ew1iwh_k$() ? sequenceOf(Companion_instance_0.of_o4qqfs_k$(l.castToList(), r.castToList(), $equalityChecker)) : Companion_instance_0.allOf_wylrdl_k$(l, r, $equalityChecker);
417
417
  };
418
418
  }
419
419
  function Equation$Companion$allOfTuples$lambda($equalityChecker) {
420
420
  return function (_destruct__k2r9zo) {
421
421
  var l = _destruct__k2r9zo.component1_7eebsc_k$();
422
422
  var r = _destruct__k2r9zo.component2_7eebsb_k$();
423
- return l.get_isTuple_zhv5m3_k$() && r.get_isTuple_zhv5m3_k$() ? sequenceOf(Companion_instance_0.of_w4otqq_k$(l.castToTuple().get_left_woprgw_k$(), r.castToTuple().get_left_woprgw_k$(), $equalityChecker)) : Companion_instance_0.allOf_9byj3j_k$(l, r, $equalityChecker);
423
+ return l.get_isTuple_zhv5m3_k$() && r.get_isTuple_zhv5m3_k$() ? sequenceOf(Companion_instance_0.of_o4qqfs_k$(l.castToTuple().get_left_woprgw_k$(), r.castToTuple().get_left_woprgw_k$(), $equalityChecker)) : Companion_instance_0.allOf_wylrdl_k$(l, r, $equalityChecker);
424
424
  };
425
425
  }
426
426
  function Equation$Companion$allOf$lambda($equalityChecker) {
@@ -448,10 +448,10 @@
448
448
  protoOf(Identity).asIdentity = function () {
449
449
  return this.asIdentity_amvci8_k$();
450
450
  };
451
- protoOf(Identity).clone_kr4pdv_k$ = function (lhs, rhs) {
452
- return this.copy_uass5x_k$(lhs, rhs);
451
+ protoOf(Identity).clone_hhlixl_k$ = function (lhs, rhs) {
452
+ return this.copy_buatj3_k$(lhs, rhs);
453
453
  };
454
- protoOf(Identity).copy_uass5x_k$ = function (lhs, rhs) {
454
+ protoOf(Identity).copy_buatj3_k$ = function (lhs, rhs) {
455
455
  return new Identity(lhs, rhs);
456
456
  };
457
457
  protoOf(Identity).toString = function () {
@@ -533,8 +533,8 @@
533
533
  protoOf(LeftAssignment).asLeftAssignment = function () {
534
534
  return this.asLeftAssignment_g129s6_k$();
535
535
  };
536
- protoOf(LeftAssignment).clone_kr4pdv_k$ = function (lhs, rhs) {
537
- return this.copy_9ocrwq_k$(lhs.castToVar(), rhs);
536
+ protoOf(LeftAssignment).clone_hhlixl_k$ = function (lhs, rhs) {
537
+ return this.copy_31tzwe_k$(lhs.castToVar(), rhs);
538
538
  };
539
539
  protoOf(LeftAssignment).toPair_eddkwb_k$ = function () {
540
540
  return new Pair(this.lhs_3, this.rhs_3);
@@ -542,7 +542,7 @@
542
542
  protoOf(LeftAssignment).toPair = function () {
543
543
  return this.toPair_eddkwb_k$();
544
544
  };
545
- protoOf(LeftAssignment).copy_9ocrwq_k$ = function (lhs, rhs) {
545
+ protoOf(LeftAssignment).copy_31tzwe_k$ = function (lhs, rhs) {
546
546
  return new LeftAssignment(lhs, rhs);
547
547
  };
548
548
  protoOf(LeftAssignment).toString = function () {
@@ -592,8 +592,8 @@
592
592
  protoOf(RightAssignment).asRightAssignment = function () {
593
593
  return this.asRightAssignment_u2ce4p_k$();
594
594
  };
595
- protoOf(RightAssignment).clone_kr4pdv_k$ = function (lhs, rhs) {
596
- return this.copy_lskmp8_k$(lhs, rhs.castToVar());
595
+ protoOf(RightAssignment).clone_hhlixl_k$ = function (lhs, rhs) {
596
+ return this.copy_86ukbw_k$(lhs, rhs.castToVar());
597
597
  };
598
598
  protoOf(RightAssignment).toPair_eddkwb_k$ = function () {
599
599
  return new Pair(this.lhs_3, this.rhs_3);
@@ -601,7 +601,7 @@
601
601
  protoOf(RightAssignment).toPair = function () {
602
602
  return this.toPair_eddkwb_k$();
603
603
  };
604
- protoOf(RightAssignment).copy_lskmp8_k$ = function (lhs, rhs) {
604
+ protoOf(RightAssignment).copy_86ukbw_k$ = function (lhs, rhs) {
605
605
  return new RightAssignment(lhs, rhs);
606
606
  };
607
607
  protoOf(RightAssignment).toString = function () {
@@ -643,10 +643,10 @@
643
643
  protoOf(Comparison).asComparison = function () {
644
644
  return this.asComparison_4v568r_k$();
645
645
  };
646
- protoOf(Comparison).clone_kr4pdv_k$ = function (lhs, rhs) {
647
- return this.copy_uass5x_k$(lhs, rhs);
646
+ protoOf(Comparison).clone_hhlixl_k$ = function (lhs, rhs) {
647
+ return this.copy_buatj3_k$(lhs, rhs);
648
648
  };
649
- protoOf(Comparison).copy_uass5x_k$ = function (lhs, rhs) {
649
+ protoOf(Comparison).copy_buatj3_k$ = function (lhs, rhs) {
650
650
  return new Comparison(lhs, rhs);
651
651
  };
652
652
  protoOf(Comparison).toString = function () {
@@ -688,8 +688,8 @@
688
688
  protoOf(Contradiction).asContradiction = function () {
689
689
  return this.asContradiction_kh63y9_k$();
690
690
  };
691
- protoOf(Contradiction).clone_kr4pdv_k$ = function (lhs, rhs) {
692
- return this.copy_uass5x_k$(lhs, rhs);
691
+ protoOf(Contradiction).clone_hhlixl_k$ = function (lhs, rhs) {
692
+ return this.copy_buatj3_k$(lhs, rhs);
693
693
  };
694
694
  protoOf(Contradiction).toSubstitution_giui0_k$ = function () {
695
695
  return Companion_getInstance().failed();
@@ -697,7 +697,7 @@
697
697
  protoOf(Contradiction).toSubstitution = function () {
698
698
  return this.toSubstitution_giui0_k$();
699
699
  };
700
- protoOf(Contradiction).copy_uass5x_k$ = function (lhs, rhs) {
700
+ protoOf(Contradiction).copy_buatj3_k$ = function (lhs, rhs) {
701
701
  return new Contradiction(lhs, rhs);
702
702
  };
703
703
  protoOf(Contradiction).toString = function () {
@@ -721,7 +721,7 @@
721
721
  };
722
722
  function Companion() {
723
723
  }
724
- protoOf(Companion).of_w4otqq_k$ = function (lhs, rhs, equalityChecker) {
724
+ protoOf(Companion).of_o4qqfs_k$ = function (lhs, rhs, equalityChecker) {
725
725
  var tmp;
726
726
  if (lhs.get_isVar_it73p0_k$() && rhs.get_isVar_it73p0_k$()) {
727
727
  var tmp_0;
@@ -768,10 +768,10 @@
768
768
  tmp = equalityChecker;
769
769
  }
770
770
  equalityChecker = tmp;
771
- return $super === VOID ? this.of_w4otqq_k$(lhs, rhs, equalityChecker) : $super.of_w4otqq_k$.call(this, lhs, rhs, equalityChecker);
771
+ return $super === VOID ? this.of_o4qqfs_k$(lhs, rhs, equalityChecker) : $super.of_o4qqfs_k$.call(this, lhs, rhs, equalityChecker);
772
772
  };
773
773
  protoOf(Companion).of_4jrtix_k$ = function (pair, equalityChecker) {
774
- return this.of_w4otqq_k$(pair.first, pair.second, equalityChecker);
774
+ return this.of_o4qqfs_k$(pair.first, pair.second, equalityChecker);
775
775
  };
776
776
  protoOf(Companion).ofPair = function (pair, equalityChecker, $super) {
777
777
  var tmp;
@@ -823,7 +823,7 @@
823
823
  return $super === VOID ? this.from_sp73rl_k$(pairs, equalityChecker) : $super.from_sp73rl_k$.call(this, pairs, equalityChecker);
824
824
  };
825
825
  protoOf(Companion).allOf_ey9biy_k$ = function (pair, equalityChecker) {
826
- return this.allOf_9byj3j_k$(pair.first, pair.second, equalityChecker);
826
+ return this.allOf_wylrdl_k$(pair.first, pair.second, equalityChecker);
827
827
  };
828
828
  protoOf(Companion).allOfPair = function (pair, equalityChecker, $super) {
829
829
  var tmp;
@@ -835,10 +835,10 @@
835
835
  equalityChecker = tmp;
836
836
  return $super === VOID ? this.allOf_ey9biy_k$(pair, equalityChecker) : $super.allOf_ey9biy_k$.call(this, pair, equalityChecker);
837
837
  };
838
- protoOf(Companion).allOf_9byj3j_k$ = function (lhs, rhs, equalityChecker) {
838
+ protoOf(Companion).allOf_wylrdl_k$ = function (lhs, rhs, equalityChecker) {
839
839
  var tmp;
840
840
  if (lhs.get_isAtom_evuq3o_k$() && rhs.get_isAtom_evuq3o_k$()) {
841
- tmp = sequenceOf(this.of_w4otqq_k$(lhs, rhs, equalityChecker));
841
+ tmp = sequenceOf(this.of_o4qqfs_k$(lhs, rhs, equalityChecker));
842
842
  } else if (lhs.get_isList_ew1iwh_k$() && rhs.get_isList_ew1iwh_k$()) {
843
843
  tmp = allOfLists(this, lhs.castToList(), rhs.castToList(), equalityChecker);
844
844
  } else if (lhs.get_isTuple_zhv5m3_k$() && rhs.get_isTuple_zhv5m3_k$()) {
@@ -851,11 +851,11 @@
851
851
  var tmp_1 = zip(lhsStruct.get_argsSequence_z7gge1_k$(), rhsStruct.get_argsSequence_z7gge1_k$());
852
852
  tmp_0 = flatMap(tmp_1, Equation$Companion$allOf$lambda(equalityChecker));
853
853
  } else {
854
- tmp_0 = sequenceOf(this.of_w4otqq_k$(lhs, rhs, equalityChecker));
854
+ tmp_0 = sequenceOf(this.of_o4qqfs_k$(lhs, rhs, equalityChecker));
855
855
  }
856
856
  tmp = tmp_0;
857
857
  } else {
858
- tmp = sequenceOf(this.of_w4otqq_k$(lhs, rhs, equalityChecker));
858
+ tmp = sequenceOf(this.of_o4qqfs_k$(lhs, rhs, equalityChecker));
859
859
  }
860
860
  return tmp;
861
861
  };
@@ -867,7 +867,7 @@
867
867
  tmp = equalityChecker;
868
868
  }
869
869
  equalityChecker = tmp;
870
- return $super === VOID ? this.allOf_9byj3j_k$(lhs, rhs, equalityChecker) : $super.allOf_9byj3j_k$.call(this, lhs, rhs, equalityChecker);
870
+ return $super === VOID ? this.allOf_wylrdl_k$(lhs, rhs, equalityChecker) : $super.allOf_wylrdl_k$.call(this, lhs, rhs, equalityChecker);
871
871
  };
872
872
  var Companion_instance_0;
873
873
  function Companion_getInstance_1() {
@@ -982,7 +982,7 @@
982
982
  protoOf(Equation).clone = function (lhs, rhs, $super) {
983
983
  lhs = lhs === VOID ? this.get_lhs_18j1f6_k$() : lhs;
984
984
  rhs = rhs === VOID ? this.get_rhs_18iwz0_k$() : rhs;
985
- return $super === VOID ? this.clone_kr4pdv_k$(lhs, rhs) : $super.clone_kr4pdv_k$.call(this, lhs, rhs);
985
+ return $super === VOID ? this.clone_hhlixl_k$(lhs, rhs) : $super.clone_hhlixl_k$.call(this, lhs, rhs);
986
986
  };
987
987
  protoOf(Equation).toContradiction = function () {
988
988
  return new Contradiction(this.get_lhs_18j1f6_k$(), this.get_rhs_18iwz0_k$());
@@ -1022,7 +1022,7 @@
1022
1022
  return Companion_instance_0.of(this.get_rhs_18iwz0_k$(), this.get_lhs_18j1f6_k$());
1023
1023
  };
1024
1024
  protoOf(Equation).apply_e612l5_k$ = function (substitution, equalityChecker) {
1025
- return Companion_instance_0.of_w4otqq_k$(this.get_lhs_18j1f6_k$().getSubstituted(substitution, []), this.get_rhs_18iwz0_k$().getSubstituted(substitution, []), equalityChecker);
1025
+ return Companion_instance_0.of_o4qqfs_k$(this.get_lhs_18j1f6_k$().getSubstituted(substitution, []), this.get_rhs_18iwz0_k$().getSubstituted(substitution, []), equalityChecker);
1026
1026
  };
1027
1027
  protoOf(Equation).apply = function (substitution, equalityChecker, $super) {
1028
1028
  var tmp;
@@ -1070,12 +1070,12 @@
1070
1070
  function Unificator$Companion$naive$1($context) {
1071
1071
  AbstractUnificator.call(this, $context);
1072
1072
  }
1073
- protoOf(Unificator$Companion$naive$1).checkTermsEquality_whpy07_k$ = function (first, second) {
1073
+ protoOf(Unificator$Companion$naive$1).checkTermsEquality_u6kzr7_k$ = function (first, second) {
1074
1074
  var tmp;
1075
1075
  if (first.get_isInteger_vb3zt7_k$() && second.get_isInteger_vb3zt7_k$()) {
1076
- tmp = first.castToInteger().get_value_j01efc_k$().compareTo_cka4fx_k$(second.castToInteger().get_value_j01efc_k$()) === 0;
1076
+ tmp = first.castToInteger().get_value_j01efc_k$().compareTo_u56mz_k$(second.castToInteger().get_value_j01efc_k$()) === 0;
1077
1077
  } else if (first.get_isNumber_x9n6xo_k$() && second.get_isNumber_x9n6xo_k$()) {
1078
- tmp = first.castToNumeric().get_decimalValue_7pja3t_k$().compareTo_5oqbyo_k$(second.castToNumeric().get_decimalValue_7pja3t_k$()) === 0;
1078
+ tmp = first.castToNumeric().get_decimalValue_7pja3t_k$().compareTo_dqfxu6_k$(second.castToNumeric().get_decimalValue_7pja3t_k$()) === 0;
1079
1079
  } else {
1080
1080
  tmp = first.equals(second);
1081
1081
  }
@@ -1087,7 +1087,7 @@
1087
1087
  function Unificator$Companion$strict$1($context) {
1088
1088
  AbstractUnificator.call(this, $context);
1089
1089
  }
1090
- protoOf(Unificator$Companion$strict$1).checkTermsEquality_whpy07_k$ = function (first, second) {
1090
+ protoOf(Unificator$Companion$strict$1).checkTermsEquality_u6kzr7_k$ = function (first, second) {
1091
1091
  return first.equals(second);
1092
1092
  };
1093
1093
  protoOf(Unificator$Companion$strict$1).mguWithOccurCheck = function (term1, term2, occurCheckEnabled, $super) {