@tuprolog/2p-full 3.0.6 → 3.0.8

package/2p-unify.js

@@ -19,46 +19,46 @@
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.s8;
-  var getBooleanHashCode = kotlin_kotlin.$_$.w7;
-  var initMetadataForClass = kotlin_kotlin.$_$.b8;
-  var toString = kotlin_kotlin.$_$.v8;
-  var hashCode = kotlin_kotlin.$_$.a8;
-  var equals = kotlin_kotlin.$_$.t7;
-  var KProperty1 = kotlin_kotlin.$_$.t9;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.y7;
+  var protoOf = kotlin_kotlin.$_$.u8;
+  var getBooleanHashCode = kotlin_kotlin.$_$.y7;
+  var initMetadataForClass = kotlin_kotlin.$_$.d8;
+  var toString = kotlin_kotlin.$_$.x8;
+  var hashCode = kotlin_kotlin.$_$.c8;
+  var equals = kotlin_kotlin.$_$.v7;
+  var KProperty1 = kotlin_kotlin.$_$.v9;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.a8;
   var asSequence = kotlin_kotlin.$_$.q2;
-  var plus = kotlin_kotlin.$_$.ya;
-  var map = kotlin_kotlin.$_$.ta;
+  var plus = kotlin_kotlin.$_$.bb;
+  var map = kotlin_kotlin.$_$.wa;
   var Unit_instance = kotlin_kotlin.$_$.r;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.y;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.u;
-  var toCollection = kotlin_kotlin.$_$.fb;
-  var constructCallableReference = kotlin_kotlin.$_$.r7;
-  var Pair = kotlin_kotlin.$_$.de;
-  var lazy = kotlin_kotlin.$_$.pe;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.v;
+  var toCollection = kotlin_kotlin.$_$.ib;
+  var constructCallableReference = kotlin_kotlin.$_$.t7;
+  var Pair = kotlin_kotlin.$_$.fe;
+  var lazy = kotlin_kotlin.$_$.re;
   var asSequence_0 = kotlin_kotlin.$_$.r2;
-  var THROW_CCE = kotlin_kotlin.$_$.fe;
+  var THROW_CCE = kotlin_kotlin.$_$.he;
   var VOID = kotlin_kotlin.$_$.b;
   var Companion_instance = kotlin_it_unibo_tuprolog_utils.$_$.a;
-  var Triple = kotlin_kotlin.$_$.he;
+  var Triple = kotlin_kotlin.$_$.je;
   var Some = kotlin_it_unibo_tuprolog_utils.$_$.m;
-  var zip = kotlin_kotlin.$_$.mb;
-  var flatMap = kotlin_kotlin.$_$.ja;
-  var sequenceOf = kotlin_kotlin.$_$.ab;
-  var defineProp = kotlin_kotlin.$_$.s7;
-  var sequenceOf_0 = kotlin_kotlin.$_$.za;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
-  var getKClass = kotlin_kotlin.$_$.q9;
+  var zip = kotlin_kotlin.$_$.pb;
+  var flatMap = kotlin_kotlin.$_$.la;
+  var sequenceOf = kotlin_kotlin.$_$.db;
+  var defineProp = kotlin_kotlin.$_$.u7;
+  var sequenceOf_0 = kotlin_kotlin.$_$.cb;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.e8;
+  var getKClass = kotlin_kotlin.$_$.s9;
   var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.f1;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.j1;
-  var to = kotlin_kotlin.$_$.we;
+  var to = kotlin_kotlin.$_$.ye;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.x;
   var castTo = kotlin_it_unibo_tuprolog_utils.$_$.f;
   var Castable = kotlin_it_unibo_tuprolog_utils.$_$.g;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.w2;
-  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.t;
-  var initMetadataForInterface = kotlin_kotlin.$_$.e8;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.u;
+  var initMetadataForInterface = kotlin_kotlin.$_$.g8;
   //endregion
   //region block: pre-declaration
   initMetadataForClass(Mgu, 'Mgu');
@@ -78,7 +78,7 @@
   }
   function unifyWithOccurCheck(term1, term2, occurCheckEnabled) {
     var substitution = this.m1l(term1, term2, occurCheckEnabled);
-    return substitution.d13() ? null : term1.getSubstituted(substitution, []);
+    return substitution.c13() ? null : term1.getSubstituted(substitution, []);
   }
   function unify(term1, term2) {
     return this.unifyWithOccurCheck(term1, term2, true);
@@ -164,10 +164,10 @@
   }
   function occurrenceCheck($this, variable, term) {
     var tmp;
-    if (term.ux()) {
+    if (term.tx()) {
       tmp = $this.s1k(variable, term);
-    } else if (term.ex()) {
-      var tmp0 = term.ax();
+    } else if (term.dx()) {
+      var tmp0 = term.zw();
       var tmp$ret$0;
       $l$block: {
         // Inline function 'kotlin.sequences.any' call
@@ -279,24 +279,24 @@
   function AbstractUnificator$_get_contextEquations_$ref_7ajcte() {
     return constructCallableReference(function (p0) {
       return _get_contextEquations__x0dd77(p0);
-    }, 1, 0, 27);
+    }, 1, 0, 28);
   }
   function AbstractUnificator$checkTermsEquality$ref(p0) {
     return constructCallableReference(function (p0_0, p1) {
       return p0.s1k(p0_0, p1);
-    }, 2, 0, 28, 'checkTermsEquality', [p0]);
+    }, 2, 0, 29, 'checkTermsEquality', [p0]);
   }
   function AbstractUnificator$equationsFor$lambda(it) {
     // Inline function 'kotlin.collections.toPair' call
     return new Pair(it.e1(), it.f1());
   }
   function applySubstitutionToEquations$handleIndex($equations, $substitution, this$0, changed, i) {
-    if ($equations.x(i).z1k() || $equations.x(i).a1l())
+    if ($equations.t(i).z1k() || $equations.t(i).a1l())
       return Unit_instance;
-    var currentEq = $equations.x(i);
+    var currentEq = $equations.t(i);
     var _destruct__k2r9zo = currentEq.apply($substitution).toPair();
-    var newLhs = _destruct__k2r9zo.ae();
-    var newRhs = _destruct__k2r9zo.be();
+    var newLhs = _destruct__k2r9zo.zd();
+    var newRhs = _destruct__k2r9zo.ae();
     if (!currentEq.x1k().equals(newLhs) || !currentEq.y1k().equals(newRhs)) {
       var tmp = Companion_instance_0;
       $equations.i3(i, tmp.l1l(newLhs, newRhs, AbstractUnificator$checkTermsEquality$ref(this$0)));
@@ -318,7 +318,7 @@
     return equation;
   };
   protoOf(AbstractUnificator).m1l = function (term1, term2, occurCheckEnabled) {
-    if (this.v8().d13())
+    if (this.v8().c13())
       return Companion_getInstance().failed();
     var equations = newDeque(this, plus(asSequence_0(_get_contextEquations__x0dd77(this)), equationsFor(this, term1, term2)));
     return mgu_0(this, new Mgu(term1, term2, occurCheckEnabled), equations, occurCheckEnabled);
@@ -327,11 +327,11 @@
     return this.mguWithOccurCheck(term1, term2, occurCheckEnabled, ($super == null ? true : $super instanceof AbstractUnificator) ? $super : THROW_CCE());
   };
   protoOf(AbstractUnificator).n1l = function (substitution1, substitution2, occurCheckEnabled) {
-    if (this.v8().d13() || substitution1.d13() || substitution2.d13())
+    if (this.v8().c13() || substitution1.c13() || substitution2.c13())
       return Companion_getInstance().failed();
     if (!occurCheckEnabled) {
       var quickMerge = this.v8().plus(substitution1).plus(substitution2);
-      if (quickMerge.c13()) {
+      if (quickMerge.b13()) {
         return quickMerge;
       }
     }
@@ -343,17 +343,17 @@
   };
   function CachedUnificator(decorated, cacheCapacity) {
     this.o1l_1 = decorated;
-    this.p1l_1 = Companion_instance.er(cacheCapacity);
+    this.p1l_1 = Companion_instance.cr(cacheCapacity);
   }
   protoOf(CachedUnificator).m1l = function (term1, term2, occurCheckEnabled) {
     var mguRequest = new Triple(term1, term2, occurCheckEnabled);
     var cached = this.p1l_1.j2(mguRequest);
     var tmp;
     if (cached instanceof Some) {
-      tmp = cached.hr_1;
+      tmp = cached.fr_1;
     } else {
       var mguResult = this.o1l_1.m1l(term1, term2, occurCheckEnabled);
-      this.p1l_1.fr(mguRequest, mguResult);
+      this.p1l_1.dr(mguRequest, mguResult);
       tmp = mguResult;
     }
     return tmp;
@@ -366,10 +366,10 @@
     var cached = this.p1l_1.j2(mguRequest);
     var tmp;
     if (cached instanceof Some) {
-      tmp = cached.hr_1;
+      tmp = cached.fr_1;
     } else {
       var mguResult = this.o1l_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
-      this.p1l_1.fr(mguRequest, mguResult);
+      this.p1l_1.dr(mguRequest, mguResult);
       tmp = mguResult;
     }
     return tmp;
@@ -402,7 +402,7 @@
   function Term$equals$ref() {
     return constructCallableReference(function (p0, p1) {
       return p0.equals(p1);
-    }, 2, 0, 29, 'equals');
+    }, 2, 0, 30, 'equals');
   }
   function Equation$Companion$from$lambda($equalityChecker) {
     return function (it) {
@@ -411,16 +411,16 @@
   }
   function Equation$Companion$allOfLists$lambda($equalityChecker) {
     return function (_destruct__k2r9zo) {
-      var l = _destruct__k2r9zo.ae();
-      var r = _destruct__k2r9zo.be();
-      return l.lx() && r.lx() ? sequenceOf(Companion_instance_0.l1l(l.castToCons().ez(), r.castToCons().ez(), $equalityChecker)) : l.kx() && r.kx() ? sequenceOf(Companion_instance_0.l1l(l.castToList(), r.castToList(), $equalityChecker)) : Companion_instance_0.t1k(l, r, $equalityChecker);
+      var l = _destruct__k2r9zo.zd();
+      var r = _destruct__k2r9zo.ae();
+      return l.kx() && r.kx() ? sequenceOf(Companion_instance_0.l1l(l.castToCons().dz(), r.castToCons().dz(), $equalityChecker)) : l.jx() && r.jx() ? sequenceOf(Companion_instance_0.l1l(l.castToList(), r.castToList(), $equalityChecker)) : Companion_instance_0.t1k(l, r, $equalityChecker);
     };
   }
   function Equation$Companion$allOfTuples$lambda($equalityChecker) {
     return function (_destruct__k2r9zo) {
-      var l = _destruct__k2r9zo.ae();
-      var r = _destruct__k2r9zo.be();
-      return l.jx() && r.jx() ? sequenceOf(Companion_instance_0.l1l(l.castToTuple().sy(), r.castToTuple().sy(), $equalityChecker)) : Companion_instance_0.t1k(l, r, $equalityChecker);
+      var l = _destruct__k2r9zo.zd();
+      var r = _destruct__k2r9zo.ae();
+      return l.ix() && r.ix() ? sequenceOf(Companion_instance_0.l1l(l.castToTuple().ry(), r.castToTuple().ry(), $equalityChecker)) : Companion_instance_0.t1k(l, r, $equalityChecker);
     };
   }
   function Equation$Companion$allOf$lambda($equalityChecker) {
@@ -723,7 +723,7 @@
   }
   protoOf(Companion).l1l = function (lhs, rhs, equalityChecker) {
     var tmp;
-    if (lhs.ux() && rhs.ux()) {
+    if (lhs.tx() && rhs.tx()) {
       var tmp_0;
       if (equalityChecker(lhs, rhs)) {
         tmp_0 = new Identity(lhs, rhs);
@@ -731,11 +731,11 @@
         tmp_0 = new LeftAssignment(lhs.castToVar(), rhs);
       }
       tmp = tmp_0;
-    } else if (lhs.ux()) {
+    } else if (lhs.tx()) {
       tmp = new LeftAssignment(lhs.castToVar(), rhs);
-    } else if (rhs.ux()) {
+    } else if (rhs.tx()) {
       tmp = new RightAssignment(lhs, rhs.castToVar());
-    } else if (lhs.xx() && rhs.xx()) {
+    } else if (lhs.wx() && rhs.wx()) {
       var tmp_1;
       if (equalityChecker(lhs, rhs)) {
         tmp_1 = new Identity(lhs, rhs);
@@ -743,13 +743,13 @@
         tmp_1 = new Contradiction(lhs, rhs);
       }
       tmp = tmp_1;
-    } else if (lhs.xx() || rhs.xx()) {
+    } else if (lhs.wx() || rhs.wx()) {
       tmp = new Contradiction(lhs, rhs);
-    } else if (lhs.ex() && rhs.ex()) {
+    } else if (lhs.dx() && rhs.dx()) {
       var lhsStruct = lhs.castToStruct();
       var rhsStruct = rhs.castToStruct();
       var tmp_2;
-      if (!(lhsStruct.sw() === rhsStruct.sw()) || !(lhsStruct.yw() === rhsStruct.yw())) {
+      if (!(lhsStruct.rw() === rhsStruct.rw()) || !(lhsStruct.xw() === rhsStruct.xw())) {
         tmp_2 = new Contradiction(lhsStruct, rhsStruct);
       } else {
         tmp_2 = new Comparison(lhsStruct, rhsStruct);
@@ -837,18 +837,18 @@
   };
   protoOf(Companion).t1k = function (lhs, rhs, equalityChecker) {
     var tmp;
-    if (lhs.tw() && rhs.tw()) {
+    if (lhs.sw() && rhs.sw()) {
       tmp = sequenceOf(this.l1l(lhs, rhs, equalityChecker));
-    } else if (lhs.kx() && rhs.kx()) {
-      tmp = allOfLists(this, lhs.castToList(), rhs.castToList(), equalityChecker);
     } else if (lhs.jx() && rhs.jx()) {
+      tmp = allOfLists(this, lhs.castToList(), rhs.castToList(), equalityChecker);
+    } else if (lhs.ix() && rhs.ix()) {
       tmp = allOfTuples(this, lhs.castToTuple(), rhs.castToTuple(), equalityChecker);
-    } else if (lhs.ex() && rhs.ex()) {
+    } else if (lhs.dx() && rhs.dx()) {
       var lhsStruct = lhs.castToStruct();
       var rhsStruct = rhs.castToStruct();
       var tmp_0;
-      if (lhsStruct.sw() === rhsStruct.sw() && lhsStruct.yw() === rhsStruct.yw()) {
-        var tmp_1 = zip(lhsStruct.rx(), rhsStruct.rx());
+      if (lhsStruct.rw() === rhsStruct.rw() && lhsStruct.xw() === rhsStruct.xw()) {
+        var tmp_1 = zip(lhsStruct.qx(), rhsStruct.qx());
         tmp_0 = flatMap(tmp_1, Equation$Companion$allOf$lambda(equalityChecker));
       } else {
         tmp_0 = sequenceOf(this.l1l(lhs, rhs, equalityChecker));
@@ -989,9 +989,9 @@
   };
   protoOf(Equation).toAssignmentPair = function () {
     var tmp;
-    if (this.x1k().ux()) {
+    if (this.x1k().tx()) {
       tmp = to(this.x1k().castToVar(), this.y1k());
-    } else if (this.y1k().ux()) {
+    } else if (this.y1k().tx()) {
       tmp = to(this.y1k().castToVar(), this.x1k());
     } else {
       throw IllegalArgumentException_init_$Create$('Equation contains no variables: ' + toString(this));
@@ -1000,9 +1000,9 @@
   };
   protoOf(Equation).toSubstitution = function () {
     var tmp;
-    if (this.x1k().ux()) {
+    if (this.x1k().tx()) {
       tmp = Companion_getInstance().unifier(this.x1k().castToVar(), this.y1k());
-    } else if (this.y1k().ux()) {
+    } else if (this.y1k().tx()) {
       tmp = Companion_getInstance().unifier(this.y1k().castToVar(), this.x1k());
     } else {
       throw IllegalArgumentException_init_$Create$('Equation contains no variables: ' + toString(this));
@@ -1065,17 +1065,17 @@
   function Unificator$Companion$_get_default_$ref_8i2tx3() {
     return constructCallableReference(function (p0) {
       return p0.o1n();
-    }, 1, 0, 30);
+    }, 1, 0, 31);
   }
   function Unificator$Companion$naive$1($context) {
     AbstractUnificator.call(this, $context);
   }
   protoOf(Unificator$Companion$naive$1).s1k = function (first, second) {
     var tmp;
-    if (first.zx() && second.zx()) {
-      tmp = first.castToInteger().f1().ll(second.castToInteger().f1()) === 0;
-    } else if (first.yx() && second.yx()) {
-      tmp = first.castToNumeric().o11().cl(second.castToNumeric().o11()) === 0;
+    if (first.yx() && second.yx()) {
+      tmp = first.castToInteger().f1().jl(second.castToInteger().f1()) === 0;
+    } else if (first.xx() && second.xx()) {
+      tmp = first.castToNumeric().n11().al(second.castToNumeric().n11()) === 0;
     } else {
       tmp = first.equals(second);
     }
@@ -1166,7 +1166,7 @@
   protoOf(CachedUnificator).unifyWithOccurCheck = unifyWithOccurCheck;
   protoOf(CachedUnificator).unify = unify;
   protoOf(CachedUnificator).merge = merge;
-  protoOf(Equation).pr = castTo;
+  protoOf(Equation).mr = castTo;
   defineProp(protoOf(Equation), 'lhs', function () {
     return this.x1k();
   });