@tuprolog/arg2p-causality-solver 0.13.0 → 0.13.2

package/2p-core.js

@@ -24,7 +24,7 @@
   var initMetadataForCompanion = kotlin_kotlin.$_$.n5;
   var emptyList = kotlin_kotlin.$_$.e2;
   var emptySequence = kotlin_kotlin.$_$.d7;
-  var THROW_CCE = kotlin_kotlin.$_$.q9;
+  var THROW_CCE = kotlin_kotlin.$_$.u9;
   var isInterface = kotlin_kotlin.$_$.t5;
   var VOID = kotlin_kotlin.$_$.b;
   var toList = kotlin_kotlin.$_$.u3;
@@ -36,7 +36,7 @@
   var map = kotlin_kotlin.$_$.r7;
   var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.c1;
   var KtMap = kotlin_kotlin.$_$.m1;
-  var ensureNotNull = kotlin_kotlin.$_$.t9;
+  var ensureNotNull = kotlin_kotlin.$_$.x9;
   var listOf = kotlin_kotlin.$_$.u2;
   var asIterable = kotlin_kotlin.$_$.r1;
   var any = kotlin_kotlin.$_$.q1;
@@ -55,14 +55,14 @@
   var KtList = kotlin_kotlin.$_$.l1;
   var cursor_0 = kotlin_it_unibo_tuprolog_utils.$_$.t;
   var cursor_1 = kotlin_it_unibo_tuprolog_utils.$_$.u;
-  var toString_0 = kotlin_kotlin.$_$.aa;
+  var toString_0 = kotlin_kotlin.$_$.ea;
   var asReversed = kotlin_kotlin.$_$.s1;
   var last = kotlin_kotlin.$_$.q2;
   var count = kotlin_kotlin.$_$.a7;
-  var NumberFormatException = kotlin_kotlin.$_$.n9;
+  var NumberFormatException = kotlin_kotlin.$_$.r9;
   var contains = kotlin_kotlin.$_$.m8;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.f;
-  var toCharArray = kotlin_kotlin.$_$.y8;
+  var toCharArray = kotlin_kotlin.$_$.c9;
   var asSequence = kotlin_kotlin.$_$.t1;
   var emptyMap = kotlin_kotlin.$_$.f2;
   var first = kotlin_kotlin.$_$.i2;
@@ -73,7 +73,7 @@
   var equals = kotlin_kotlin.$_$.g5;
   var flatMap = kotlin_kotlin.$_$.j7;
   var asSequence_0 = kotlin_kotlin.$_$.v1;
-  var to = kotlin_kotlin.$_$.ba;
+  var to = kotlin_kotlin.$_$.fa;
   var mapOf = kotlin_kotlin.$_$.w2;
   var sequenceOf = kotlin_kotlin.$_$.w7;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
@@ -104,11 +104,11 @@
   var getTag = kotlin_it_unibo_tuprolog_utils.$_$.m;
   var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.l;
   var castTo = kotlin_it_unibo_tuprolog_utils.$_$.e;
-  var Comparator = kotlin_kotlin.$_$.g9;
+  var Comparator = kotlin_kotlin.$_$.k9;
   var initMetadataForObject = kotlin_kotlin.$_$.q5;
   var compareTo = kotlin_kotlin.$_$.e5;
-  var Enum = kotlin_kotlin.$_$.h9;
-  var noWhenBranchMatchedException = kotlin_kotlin.$_$.w9;
+  var Enum = kotlin_kotlin.$_$.l9;
+  var noWhenBranchMatchedException = kotlin_kotlin.$_$.aa;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
   var toString_1 = kotlin_kotlin.$_$.h1;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d1;
@@ -118,8 +118,8 @@
   var captureStack = kotlin_kotlin.$_$.y4;
   var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.b1;
   var RuntimeException_init_$Init$_0 = kotlin_kotlin.$_$.a1;
-  var RuntimeException = kotlin_kotlin.$_$.p9;
-  var lazy = kotlin_kotlin.$_$.v9;
+  var RuntimeException = kotlin_kotlin.$_$.t9;
+  var lazy = kotlin_kotlin.$_$.z9;
   var KProperty1 = kotlin_kotlin.$_$.t6;
   var getPropertyCallableRef = kotlin_kotlin.$_$.j5;
   var get_lastIndex_0 = kotlin_kotlin.$_$.p2;
@@ -155,14 +155,14 @@
   var asSequence_2 = kotlin_kotlin.$_$.u1;
   var filter = kotlin_kotlin.$_$.g7;
   var firstOrNull_0 = kotlin_kotlin.$_$.h7;
-  var Pair = kotlin_kotlin.$_$.o9;
+  var Pair = kotlin_kotlin.$_$.s9;
   var setOf = kotlin_kotlin.$_$.p3;
   var setOf_0 = kotlin_kotlin.$_$.o3;
   var defineProp = kotlin_kotlin.$_$.f5;
   var synchronizedOn = kotlin_it_unibo_tuprolog_utils.$_$.k1;
   var add = kotlin_kotlin.$_$.h4;
-  var IllegalStateException = kotlin_kotlin.$_$.j9;
-  var IllegalArgumentException = kotlin_kotlin.$_$.i9;
+  var IllegalStateException = kotlin_kotlin.$_$.n9;
+  var IllegalArgumentException = kotlin_kotlin.$_$.m9;
   var asSequence_3 = kotlin_kotlin.$_$.w1;
   var toSet = kotlin_kotlin.$_$.g8;
   var toHashSet = kotlin_kotlin.$_$.d8;
@@ -171,7 +171,7 @@
   var KtSet = kotlin_kotlin.$_$.n1;
   var plus_3 = kotlin_kotlin.$_$.j3;
   var IllegalArgumentException_init_$Create$_0 = kotlin_kotlin.$_$.r;
-  var THROW_IAE = kotlin_kotlin.$_$.r9;
+  var THROW_IAE = kotlin_kotlin.$_$.v9;
   //endregion
   //region block: pre-declaration
   function apply(substitution, substitutions) {

package/2p-solve-classic.js

@@ -43,14 +43,14 @@
   var Unit_instance = kotlin_kotlin.$_$.j1;
   var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.l1;
   var protoOf = kotlin_kotlin.$_$.b6;
-  var THROW_CCE = kotlin_kotlin.$_$.q9;
-  var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.y9;
+  var THROW_CCE = kotlin_kotlin.$_$.u9;
+  var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.ca;
   var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.z2;
   var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.b3;
   var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.x2;
   var asSequence = kotlin_kotlin.$_$.y6;
   var initMetadataForClass = kotlin_kotlin.$_$.m5;
-  var ensureNotNull = kotlin_kotlin.$_$.t9;
+  var ensureNotNull = kotlin_kotlin.$_$.x9;
   var fromInt = kotlin_kotlin.$_$.m4;
   var add = kotlin_kotlin.$_$.h4;
   var hashCode = kotlin_kotlin.$_$.l5;
@@ -60,7 +60,7 @@
   var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.d4;
   var initMetadataForLambda = kotlin_kotlin.$_$.p5;
   var sequence = kotlin_kotlin.$_$.y7;
-  var toString_0 = kotlin_kotlin.$_$.aa;
+  var toString_0 = kotlin_kotlin.$_$.ea;
   var asSequence_0 = kotlin_kotlin.$_$.v1;
   var emptySequence = kotlin_kotlin.$_$.d7;
   var plus = kotlin_kotlin.$_$.v7;
@@ -78,7 +78,7 @@
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.t;
   var Companion_instance_7 = kotlin_it_unibo_tuprolog_utils.$_$.c;
   var emptySet = kotlin_kotlin.$_$.g2;
-  var lazy = kotlin_kotlin.$_$.v9;
+  var lazy = kotlin_kotlin.$_$.z9;
   var contains = kotlin_kotlin.$_$.z6;
   var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.c;
   var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.b;
@@ -119,7 +119,7 @@
   var defineProp = kotlin_kotlin.$_$.f5;
   var listOf = kotlin_kotlin.$_$.t2;
   var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.a3;
-  var to = kotlin_kotlin.$_$.ba;
+  var to = kotlin_kotlin.$_$.fa;
   var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.f2;
   var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.g2;
   var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.h2;

package/2p-solve.js

@@ -30,7 +30,7 @@
   var imul = Math.imul;
   var VOID = kotlin_kotlin.$_$.b;
   var protoOf = kotlin_kotlin.$_$.b6;
-  var to = kotlin_kotlin.$_$.ba;
+  var to = kotlin_kotlin.$_$.fa;
   var defineProp = kotlin_kotlin.$_$.f5;
   var initMetadataForClass = kotlin_kotlin.$_$.m5;
   var add = kotlin_kotlin.$_$.h4;
@@ -38,14 +38,14 @@
   var initMetadataForInterface = kotlin_kotlin.$_$.o5;
   var listOf = kotlin_kotlin.$_$.t2;
   var asIterable = kotlin_kotlin.$_$.x6;
-  var ensureNotNull = kotlin_kotlin.$_$.t9;
+  var ensureNotNull = kotlin_kotlin.$_$.x9;
   var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.g;
   var last = kotlin_kotlin.$_$.q2;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.k1;
   var isInterface = kotlin_kotlin.$_$.t5;
   var first = kotlin_kotlin.$_$.i2;
-  var IllegalArgumentException = kotlin_kotlin.$_$.i9;
+  var IllegalArgumentException = kotlin_kotlin.$_$.m9;
   var initMetadataForCompanion = kotlin_kotlin.$_$.n5;
   var toString = kotlin_kotlin.$_$.e6;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
@@ -53,7 +53,7 @@
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.q;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.k;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.j;
-  var NotImplementedError = kotlin_kotlin.$_$.l9;
+  var NotImplementedError = kotlin_kotlin.$_$.p9;
   var count = kotlin_kotlin.$_$.d2;
   var toList = kotlin_kotlin.$_$.t3;
   var asSequence = kotlin_kotlin.$_$.v1;
@@ -67,9 +67,9 @@
   var Castable = kotlin_it_unibo_tuprolog_utils.$_$.f;
   var emptyMap = kotlin_kotlin.$_$.f2;
   var objectCreate = kotlin_kotlin.$_$.a6;
-  var THROW_CCE = kotlin_kotlin.$_$.q9;
+  var THROW_CCE = kotlin_kotlin.$_$.u9;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.k2;
-  var lazy = kotlin_kotlin.$_$.v9;
+  var lazy = kotlin_kotlin.$_$.z9;
   var KProperty1 = kotlin_kotlin.$_$.t6;
   var getPropertyCallableRef = kotlin_kotlin.$_$.j5;
   var filterNot = kotlin_kotlin.$_$.f7;
@@ -110,19 +110,19 @@
   var sequenceOf_0 = kotlin_kotlin.$_$.x7;
   var KtMap = kotlin_kotlin.$_$.m1;
   var get_ONE = kotlin_kotlin.$_$.g4;
-  var toString_0 = kotlin_kotlin.$_$.b9;
+  var toString_0 = kotlin_kotlin.$_$.f9;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d1;
-  var padStart = kotlin_kotlin.$_$.q8;
+  var padStart = kotlin_kotlin.$_$.r8;
   var synchronizedOnSelf = kotlin_it_unibo_tuprolog_utils.$_$.j1;
   var joinToString = kotlin_kotlin.$_$.m2;
   var takeFirst = kotlin_it_unibo_tuprolog_utils.$_$.l1;
   var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.x;
   var initMetadataForObject = kotlin_kotlin.$_$.q5;
-  var toCharArray = kotlin_kotlin.$_$.y8;
+  var toCharArray = kotlin_kotlin.$_$.c9;
   var asSequence_0 = kotlin_kotlin.$_$.t1;
-  var Char = kotlin_kotlin.$_$.f9;
+  var Char = kotlin_kotlin.$_$.j9;
   var toString_1 = kotlin_kotlin.$_$.h1;
-  var lineSequence = kotlin_kotlin.$_$.p8;
+  var lineSequence = kotlin_kotlin.$_$.q8;
   var minus = kotlin_kotlin.$_$.b3;
   var plus_1 = kotlin_kotlin.$_$.k3;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.x;
@@ -145,7 +145,7 @@
   var get_lastIndex = kotlin_kotlin.$_$.p2;
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.s;
   var format = kotlin_it_unibo_tuprolog_core.$_$.l2;
-  var NullPointerException = kotlin_kotlin.$_$.m9;
+  var NullPointerException = kotlin_kotlin.$_$.q9;
   var get_lastIndex_0 = kotlin_kotlin.$_$.o2;
   var until = kotlin_kotlin.$_$.q6;
   var slice = kotlin_kotlin.$_$.s3;
@@ -154,11 +154,11 @@
   var take = kotlin_kotlin.$_$.b8;
   var last_0 = kotlin_kotlin.$_$.r2;
   var joinToString_0 = kotlin_kotlin.$_$.n2;
-  var THROW_IAE = kotlin_kotlin.$_$.r9;
-  var Enum = kotlin_kotlin.$_$.h9;
-  var IllegalStateException = kotlin_kotlin.$_$.j9;
-  var replace = kotlin_kotlin.$_$.t8;
-  var trimMargin = kotlin_kotlin.$_$.c9;
+  var THROW_IAE = kotlin_kotlin.$_$.v9;
+  var Enum = kotlin_kotlin.$_$.l9;
+  var IllegalStateException = kotlin_kotlin.$_$.n9;
+  var replace = kotlin_kotlin.$_$.w8;
+  var trimMargin = kotlin_kotlin.$_$.g9;
   var drop = kotlin_kotlin.$_$.c7;
   var mapCapacity = kotlin_kotlin.$_$.v2;
   var coerceAtLeast = kotlin_kotlin.$_$.o6;
@@ -194,13 +194,13 @@
   var single = kotlin_kotlin.$_$.q3;
   var none = kotlin_kotlin.$_$.h3;
   var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
-  var toString_2 = kotlin_kotlin.$_$.aa;
+  var toString_2 = kotlin_kotlin.$_$.ea;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.i;
   var OperatorSet_init_$Create$_0 = kotlin_it_unibo_tuprolog_core.$_$.b;
   var distinct = kotlin_kotlin.$_$.b7;
-  var Pair = kotlin_kotlin.$_$.o9;
+  var Pair = kotlin_kotlin.$_$.s9;
   var asSequence_1 = kotlin_kotlin.$_$.u1;
-  var isBlank = kotlin_kotlin.$_$.n8;
+  var isBlank = kotlin_kotlin.$_$.o8;
   var addAll = kotlin_kotlin.$_$.p1;
   var Companion_instance_4 = kotlin_it_unibo_tuprolog_utils.$_$.a;
   var toSet_0 = kotlin_kotlin.$_$.b4;
@@ -242,8 +242,10 @@
   var charSequenceGet = kotlin_kotlin.$_$.c5;
   var List = kotlin_it_unibo_tuprolog_core.$_$.g1;
   var joinToString_1 = kotlin_kotlin.$_$.n7;
-  var substringAfter = kotlin_kotlin.$_$.u8;
-  var substringBefore = kotlin_kotlin.$_$.v8;
+  var removePrefix = kotlin_kotlin.$_$.s8;
+  var startsWith = kotlin_kotlin.$_$.x8;
+  var removeSuffix = kotlin_kotlin.$_$.u8;
+  var endsWith = kotlin_kotlin.$_$.n8;
   var Constant = kotlin_it_unibo_tuprolog_core.$_$.b1;
   var generateSequence = kotlin_kotlin.$_$.l7;
   var takeWhile = kotlin_kotlin.$_$.a8;
@@ -253,7 +255,7 @@
   var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.c1;
   var stringToAtom = kotlin_it_unibo_tuprolog_core.$_$.o2;
   var isCharSequence = kotlin_kotlin.$_$.s5;
-  var trim = kotlin_kotlin.$_$.d9;
+  var trim = kotlin_kotlin.$_$.h9;
   var Success = kotlin_it_unibo_tuprolog_theory.$_$.d;
   var asReversed = kotlin_kotlin.$_$.s1;
   var LinkedHashSet_init_$Create$_0 = kotlin_kotlin.$_$.h;
@@ -262,8 +264,10 @@
   var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.d4;
   var initMetadataForLambda = kotlin_kotlin.$_$.p5;
   var sequence = kotlin_kotlin.$_$.y7;
-  var substring = kotlin_kotlin.$_$.x8;
-  var substring_0 = kotlin_kotlin.$_$.w8;
+  var substring = kotlin_kotlin.$_$.b9;
+  var substring_0 = kotlin_kotlin.$_$.a9;
+  var substringBefore = kotlin_kotlin.$_$.z8;
+  var substringAfter = kotlin_kotlin.$_$.y8;
   var copyToArray = kotlin_kotlin.$_$.c2;
   var print = kotlin_kotlin.$_$.f4;
   //endregion
@@ -927,7 +931,7 @@
   initMetadataForClass(ExtensionLibrary, 'ExtensionLibrary', VOID, AbstractLibrary);
   initMetadataForClass(LibraryImpl, 'LibraryImpl', VOID, AbstractLibrary);
   initMetadataForCompanion(Companion_37);
-  initMetadataForClass(RuntimeImpl, 'RuntimeImpl', VOID, AbstractPluggable, [AbstractPluggable, KtMap, Pluggable]);
+  initMetadataForClass(RuntimeImpl, 'RuntimeImpl', VOID, AbstractPluggable, [AbstractPluggable, Pluggable, KtMap]);
   initMetadataForClass(PrimitiveWrapper, 'PrimitiveWrapper', VOID, AbstractWrapper);
   initMetadataForClass(BinaryRelation, 'BinaryRelation', VOID, PrimitiveWrapper);
   initMetadataForClass(NonBacktrackable, 'NonBacktrackable', VOID, BinaryRelation);
@@ -11055,18 +11059,30 @@
         Companion_getInstance_53().z2c(_this__u8e3s4, 1);
         Companion_getInstance_53().t2c(_this__u8e3s4, 2);
         Companion_getInstance_53().z2c(_this__u8e3s4, 2);
-        var tmp_1 = (isInterface(third, Atom) ? third : THROW_CCE()).c2();
-        var result_0 = substringBefore(tmp_1, (isInterface(second, Atom) ? second : THROW_CCE()).c2());
-        tmp = Companion_getInstance_2().of(first, Companion_getInstance().of(result_0));
+        var secondValue = (isInterface(second, Atom) ? second : THROW_CCE()).c2();
+        var thirdValue = (isInterface(third, Atom) ? third : THROW_CCE()).c2();
+        var tmp_1;
+        if (endsWith(thirdValue, secondValue)) {
+          tmp_1 = Companion_getInstance_2().of(first, Companion_getInstance().of(removeSuffix(thirdValue, secondValue)));
+        } else {
+          tmp_1 = Companion_getInstance_2().failed();
+        }
+        tmp = tmp_1;
       } else {
         if (isInterface(second, Var)) {
           Companion_getInstance_53().t2c(_this__u8e3s4, 0);
           Companion_getInstance_53().z2c(_this__u8e3s4, 0);
           Companion_getInstance_53().t2c(_this__u8e3s4, 2);
           Companion_getInstance_53().z2c(_this__u8e3s4, 2);
-          var tmp_2 = (isInterface(third, Atom) ? third : THROW_CCE()).c2();
-          var result_1 = substringAfter(tmp_2, (isInterface(first, Atom) ? first : THROW_CCE()).c2());
-          tmp = Companion_getInstance_2().of(second, Companion_getInstance().of(result_1));
+          var firstValue = (isInterface(first, Atom) ? first : THROW_CCE()).c2();
+          var thirdValue_0 = (isInterface(third, Atom) ? third : THROW_CCE()).c2();
+          var tmp_2;
+          if (startsWith(thirdValue_0, firstValue)) {
+            tmp_2 = Companion_getInstance_2().of(second, Companion_getInstance().of(removePrefix(thirdValue_0, firstValue)));
+          } else {
+            tmp_2 = Companion_getInstance_2().failed();
+          }
+          tmp = tmp_2;
         } else {
           Companion_getInstance_53().z2c(_this__u8e3s4, 0);
           Companion_getInstance_53().z2c(_this__u8e3s4, 1);