@tuprolog/2p-full 2.0.9 → 3.0.0

package/2p-bdd.js

@@ -13,31 +13,31 @@
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.r8;
-  var initMetadataForInterface = kotlin_kotlin.$_$.d8;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.b8;
+  var protoOf = kotlin_kotlin.$_$.s8;
+  var initMetadataForInterface = kotlin_kotlin.$_$.e8;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
   var VOID = kotlin_kotlin.$_$.b;
-  var RuntimeException = kotlin_kotlin.$_$.fe;
+  var RuntimeException = kotlin_kotlin.$_$.ee;
   var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.y1;
-  var captureStack = kotlin_kotlin.$_$.i7;
-  var defineProp = kotlin_kotlin.$_$.r7;
-  var initMetadataForClass = kotlin_kotlin.$_$.a8;
-  var hashCode = kotlin_kotlin.$_$.z7;
+  var captureStack = kotlin_kotlin.$_$.j7;
+  var defineProp = kotlin_kotlin.$_$.s7;
+  var initMetadataForClass = kotlin_kotlin.$_$.b8;
+  var hashCode = kotlin_kotlin.$_$.a8;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.w;
   var Unit_instance = kotlin_kotlin.$_$.r;
-  var ensureNotNull = kotlin_kotlin.$_$.me;
-  var Pair = kotlin_kotlin.$_$.ee;
-  var compareTo = kotlin_kotlin.$_$.p7;
-  var equals = kotlin_kotlin.$_$.s7;
-  var THROW_CCE = kotlin_kotlin.$_$.ge;
-  var isComparable = kotlin_kotlin.$_$.i8;
-  var getKClassFromExpression = kotlin_kotlin.$_$.o9;
-  var getBooleanHashCode = kotlin_kotlin.$_$.v7;
-  var KProperty1 = kotlin_kotlin.$_$.s9;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.x7;
-  var constructCallableReference = kotlin_kotlin.$_$.q7;
+  var ensureNotNull = kotlin_kotlin.$_$.le;
+  var Pair = kotlin_kotlin.$_$.de;
+  var compareTo = kotlin_kotlin.$_$.q7;
+  var equals = kotlin_kotlin.$_$.t7;
+  var THROW_CCE = kotlin_kotlin.$_$.fe;
+  var isComparable = kotlin_kotlin.$_$.j8;
+  var getKClassFromExpression = kotlin_kotlin.$_$.p9;
+  var getBooleanHashCode = kotlin_kotlin.$_$.w7;
+  var KProperty1 = kotlin_kotlin.$_$.t9;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.y7;
+  var constructCallableReference = kotlin_kotlin.$_$.r7;
   var lazy = kotlin_kotlin.$_$.pe;
-  var toString = kotlin_kotlin.$_$.u8;
+  var toString = kotlin_kotlin.$_$.v8;
   //endregion
   //region block: pre-declaration
   function accept(visitor) {
@@ -512,7 +512,7 @@
   function SimpleBinaryDecisionDiagramVariable$_get_hashCodeCache_$ref_6b1az9() {
     return constructCallableReference(function (p0) {
       return _get_hashCodeCache__ny3r0q(p0);
-    }, 1, 0, 97);
+    }, 1, 0, 91);
   }
   function SimpleBinaryDecisionDiagramVariable(value, low, high) {
     this.value_1 = value;

package/2p-core.js

@@ -19,45 +19,45 @@
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var constructCallableReference = kotlin_kotlin.$_$.q7;
+  var constructCallableReference = kotlin_kotlin.$_$.r7;
   var lazy = kotlin_kotlin.$_$.pe;
-  var KProperty1 = kotlin_kotlin.$_$.s9;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.x7;
-  var protoOf = kotlin_kotlin.$_$.r8;
-  var initMetadataForObject = kotlin_kotlin.$_$.f8;
+  var KProperty1 = kotlin_kotlin.$_$.t9;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.y7;
+  var protoOf = kotlin_kotlin.$_$.s8;
+  var initMetadataForObject = kotlin_kotlin.$_$.g8;
   var Unit_instance = kotlin_kotlin.$_$.r;
   var Companion_instance = kotlin_kotlin.$_$.p;
-  var contains = kotlin_kotlin.$_$.vb;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.b8;
-  var Enum = kotlin_kotlin.$_$.wd;
-  var initMetadataForClass = kotlin_kotlin.$_$.a8;
+  var contains = kotlin_kotlin.$_$.tb;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
+  var Enum = kotlin_kotlin.$_$.vd;
+  var initMetadataForClass = kotlin_kotlin.$_$.b8;
   var VOID = kotlin_kotlin.$_$.b;
-  var initMetadataForInterface = kotlin_kotlin.$_$.d8;
-  var emptyList = kotlin_kotlin.$_$.j3;
-  var emptySequence = kotlin_kotlin.$_$.ca;
-  var THROW_CCE = kotlin_kotlin.$_$.ge;
-  var isInterface = kotlin_kotlin.$_$.j8;
-  var toList = kotlin_kotlin.$_$.s5;
-  var single = kotlin_kotlin.$_$.h5;
-  var toList_0 = kotlin_kotlin.$_$.r5;
-  var toList_1 = kotlin_kotlin.$_$.jb;
+  var initMetadataForInterface = kotlin_kotlin.$_$.e8;
+  var emptyList = kotlin_kotlin.$_$.k3;
+  var emptySequence = kotlin_kotlin.$_$.da;
+  var THROW_CCE = kotlin_kotlin.$_$.fe;
+  var isInterface = kotlin_kotlin.$_$.k8;
+  var toList = kotlin_kotlin.$_$.u5;
+  var single = kotlin_kotlin.$_$.i5;
+  var toList_0 = kotlin_kotlin.$_$.t5;
+  var toList_1 = kotlin_kotlin.$_$.hb;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.r1;
-  var map = kotlin_kotlin.$_$.ua;
+  var map = kotlin_kotlin.$_$.ta;
   var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.z1;
   var KtMap = kotlin_kotlin.$_$.f2;
-  var ensureNotNull = kotlin_kotlin.$_$.me;
-  var listOf = kotlin_kotlin.$_$.g4;
+  var ensureNotNull = kotlin_kotlin.$_$.le;
+  var listOf = kotlin_kotlin.$_$.h4;
   var asIterable = kotlin_kotlin.$_$.l2;
   var any = kotlin_kotlin.$_$.j2;
-  var toString = kotlin_kotlin.$_$.u8;
+  var toString = kotlin_kotlin.$_$.v8;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.j1;
-  var asIterable_0 = kotlin_kotlin.$_$.w9;
+  var asIterable_0 = kotlin_kotlin.$_$.x9;
   var arrayConcat = kotlin_kotlin.$_$.a;
-  var until = kotlin_kotlin.$_$.n9;
+  var until = kotlin_kotlin.$_$.o9;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.w2;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.t;
   var Companion_getInstance = kotlin_io_github_gciatto_kt_math.$_$.e;
-  var fromInt = kotlin_kotlin.$_$.v6;
+  var fromInt = kotlin_kotlin.$_$.w6;
   var Companion_getInstance_0 = kotlin_io_github_gciatto_kt_math.$_$.d;
   var cursor = kotlin_it_unibo_tuprolog_utils.$_$.u;
   var KtList = kotlin_kotlin.$_$.e2;
@@ -65,126 +65,127 @@
   var cursor_1 = kotlin_it_unibo_tuprolog_utils.$_$.w;
   var toString_0 = kotlin_kotlin.$_$.ve;
   var asReversed = kotlin_kotlin.$_$.o2;
-  var last = kotlin_kotlin.$_$.a4;
-  var count = kotlin_kotlin.$_$.z9;
-  var NumberFormatException = kotlin_kotlin.$_$.de;
+  var last = kotlin_kotlin.$_$.b4;
+  var count = kotlin_kotlin.$_$.aa;
+  var NumberFormatException = kotlin_kotlin.$_$.ce;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.w;
-  var toCharArray = kotlin_kotlin.$_$.fd;
+  var toCharArray = kotlin_kotlin.$_$.ed;
   var asSequence = kotlin_kotlin.$_$.p2;
-  var emptyMap = kotlin_kotlin.$_$.k3;
-  var first = kotlin_kotlin.$_$.n3;
-  var get_lastIndex = kotlin_kotlin.$_$.x3;
-  var slice = kotlin_kotlin.$_$.j5;
-  var listOfNotNull = kotlin_kotlin.$_$.d4;
-  var plus = kotlin_kotlin.$_$.z4;
-  var equals = kotlin_kotlin.$_$.s7;
+  var emptyMap = kotlin_kotlin.$_$.l3;
+  var first = kotlin_kotlin.$_$.o3;
+  var get_lastIndex = kotlin_kotlin.$_$.y3;
+  var slice = kotlin_kotlin.$_$.k5;
+  var listOfNotNull = kotlin_kotlin.$_$.e4;
+  var plus = kotlin_kotlin.$_$.a5;
+  var equals = kotlin_kotlin.$_$.t7;
   var flatMap = kotlin_kotlin.$_$.ja;
   var asSequence_0 = kotlin_kotlin.$_$.r2;
   var to = kotlin_kotlin.$_$.we;
-  var mapOf = kotlin_kotlin.$_$.i4;
-  var sequenceOf = kotlin_kotlin.$_$.bb;
+  var mapOf = kotlin_kotlin.$_$.j4;
+  var sequenceOf = kotlin_kotlin.$_$.za;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.n1;
-  var getKClass = kotlin_kotlin.$_$.p9;
+  var getKClass = kotlin_kotlin.$_$.q9;
   var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.f1;
   var Taggable = kotlin_it_unibo_tuprolog_utils.$_$.p;
   var Castable = kotlin_it_unibo_tuprolog_utils.$_$.g;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.u;
-  var firstOrNull = kotlin_kotlin.$_$.m3;
-  var CoroutineImpl = kotlin_kotlin.$_$.i6;
-  var SequenceScope = kotlin_kotlin.$_$.t9;
-  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.h6;
-  var initMetadataForLambda = kotlin_kotlin.$_$.e8;
-  var none = kotlin_kotlin.$_$.wa;
-  var mapCapacity = kotlin_kotlin.$_$.h4;
+  var firstOrNull = kotlin_kotlin.$_$.n3;
+  var CoroutineImpl = kotlin_kotlin.$_$.j6;
+  var SequenceScope = kotlin_kotlin.$_$.u9;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.i6;
+  var initMetadataForLambda = kotlin_kotlin.$_$.f8;
+  var none = kotlin_kotlin.$_$.va;
+  var mapCapacity = kotlin_kotlin.$_$.i4;
   var LinkedHashMap_init_$Create$_0 = kotlin_kotlin.$_$.v;
-  var mutableSetOf = kotlin_kotlin.$_$.t4;
-  var getValue = kotlin_kotlin.$_$.r3;
+  var mutableSetOf = kotlin_kotlin.$_$.u4;
+  var getValue = kotlin_kotlin.$_$.s3;
   var contains_0 = kotlin_kotlin.$_$.x2;
-  var sequence = kotlin_kotlin.$_$.db;
-  var lastOrNull = kotlin_kotlin.$_$.qa;
-  var getKClassFromExpression = kotlin_kotlin.$_$.o9;
-  var hashCode = kotlin_kotlin.$_$.z7;
-  var toMap = kotlin_kotlin.$_$.v5;
-  var plus_0 = kotlin_kotlin.$_$.v4;
-  var minus = kotlin_kotlin.$_$.n4;
-  var listOf_0 = kotlin_kotlin.$_$.f4;
+  var sequence = kotlin_kotlin.$_$.bb;
+  var lastOrNull = kotlin_kotlin.$_$.pa;
+  var getKClassFromExpression = kotlin_kotlin.$_$.p9;
+  var hashCode = kotlin_kotlin.$_$.a8;
+  var toMap = kotlin_kotlin.$_$.x5;
+  var plus_0 = kotlin_kotlin.$_$.w4;
+  var minus = kotlin_kotlin.$_$.o4;
+  var listOf_0 = kotlin_kotlin.$_$.g4;
   var getTag = kotlin_it_unibo_tuprolog_utils.$_$.o;
   var containsTag = kotlin_it_unibo_tuprolog_utils.$_$.n;
   var castTo = kotlin_it_unibo_tuprolog_utils.$_$.f;
-  var Comparable = kotlin_kotlin.$_$.ud;
-  var Comparator = kotlin_kotlin.$_$.vd;
-  var compareTo = kotlin_kotlin.$_$.p7;
-  var joinToString = kotlin_kotlin.$_$.t3;
-  var getBooleanHashCode = kotlin_kotlin.$_$.v7;
-  var getStringHashCode = kotlin_kotlin.$_$.y7;
+  var Comparable = kotlin_kotlin.$_$.td;
+  var Comparator = kotlin_kotlin.$_$.ud;
+  var compareTo = kotlin_kotlin.$_$.q7;
+  var joinToString = kotlin_kotlin.$_$.u3;
+  var getBooleanHashCode = kotlin_kotlin.$_$.w7;
+  var getStringHashCode = kotlin_kotlin.$_$.z7;
   var noWhenBranchMatchedException = kotlin_kotlin.$_$.qe;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.z;
   var toString_1 = kotlin_kotlin.$_$.h;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
-  var mutableListOf = kotlin_kotlin.$_$.r4;
-  var sequenceOf_0 = kotlin_kotlin.$_$.cb;
-  var objectCreate = kotlin_kotlin.$_$.q8;
-  var captureStack = kotlin_kotlin.$_$.i7;
+  var mutableListOf = kotlin_kotlin.$_$.s4;
+  var sequenceOf_0 = kotlin_kotlin.$_$.ab;
+  var startsWith = kotlin_kotlin.$_$.vc;
+  var objectCreate = kotlin_kotlin.$_$.r8;
+  var captureStack = kotlin_kotlin.$_$.j7;
   var RuntimeException_init_$Init$ = kotlin_kotlin.$_$.y1;
   var RuntimeException_init_$Init$_0 = kotlin_kotlin.$_$.x1;
   var RuntimeException_init_$Init$_1 = kotlin_kotlin.$_$.w1;
-  var RuntimeException = kotlin_kotlin.$_$.fe;
-  var get_lastIndex_0 = kotlin_kotlin.$_$.y3;
-  var sliceArray = kotlin_kotlin.$_$.i5;
-  var asSequence_1 = kotlin_kotlin.$_$.x9;
-  var last_0 = kotlin_kotlin.$_$.ra;
-  var take = kotlin_kotlin.$_$.gb;
-  var joinToString_0 = kotlin_kotlin.$_$.pa;
+  var RuntimeException = kotlin_kotlin.$_$.ee;
+  var get_lastIndex_0 = kotlin_kotlin.$_$.z3;
+  var sliceArray = kotlin_kotlin.$_$.j5;
+  var asSequence_1 = kotlin_kotlin.$_$.y9;
+  var last_0 = kotlin_kotlin.$_$.qa;
+  var take = kotlin_kotlin.$_$.eb;
+  var joinToString_0 = kotlin_kotlin.$_$.oa;
   var setTags = kotlin_it_unibo_tuprolog_utils.$_$.k1;
   var forceCast = kotlin_it_unibo_tuprolog_utils.$_$.b1;
   var itemWiseHashCode = kotlin_it_unibo_tuprolog_utils.$_$.f1;
-  var plus_1 = kotlin_kotlin.$_$.a5;
-  var get_indices = kotlin_kotlin.$_$.s3;
+  var plus_1 = kotlin_kotlin.$_$.b5;
+  var get_indices = kotlin_kotlin.$_$.t3;
   var IndexOutOfBoundsException_init_$Create$ = kotlin_kotlin.$_$.q1;
   var copyToArray = kotlin_kotlin.$_$.g3;
-  var numberToChar = kotlin_kotlin.$_$.n8;
-  var charSequenceLength = kotlin_kotlin.$_$.n7;
-  var mutableMapOf = kotlin_kotlin.$_$.s4;
-  var drop = kotlin_kotlin.$_$.ba;
+  var numberToChar = kotlin_kotlin.$_$.o8;
+  var charSequenceLength = kotlin_kotlin.$_$.o7;
+  var mutableMapOf = kotlin_kotlin.$_$.t4;
+  var drop = kotlin_kotlin.$_$.ca;
   var first_0 = kotlin_kotlin.$_$.ia;
   var insertAt = kotlin_it_unibo_tuprolog_utils.$_$.c1;
-  var plus_2 = kotlin_kotlin.$_$.za;
+  var plus_2 = kotlin_kotlin.$_$.ya;
   var dropLast = kotlin_it_unibo_tuprolog_utils.$_$.a1;
   var Collection = kotlin_kotlin.$_$.b2;
-  var iterator = kotlin_kotlin.$_$.oa;
+  var iterator = kotlin_kotlin.$_$.na;
   var asJsReadonlyArrayView = kotlin_kotlin.$_$.d2;
   var dequeOf = kotlin_it_unibo_tuprolog_utils.$_$.x;
   var itemWiseHashCode_0 = kotlin_it_unibo_tuprolog_utils.$_$.h1;
   var itemWiseEquals = kotlin_it_unibo_tuprolog_utils.$_$.d1;
-  var toMap_0 = kotlin_kotlin.$_$.t5;
+  var toMap_0 = kotlin_kotlin.$_$.v5;
   var synchronizedOnSelf = kotlin_it_unibo_tuprolog_utils.$_$.m1;
-  var mapOf_0 = kotlin_kotlin.$_$.j4;
-  var emptySet = kotlin_kotlin.$_$.l3;
+  var mapOf_0 = kotlin_kotlin.$_$.k4;
+  var emptySet = kotlin_kotlin.$_$.m3;
   var asSequence_2 = kotlin_kotlin.$_$.q2;
   var filter = kotlin_kotlin.$_$.ga;
   var firstOrNull_0 = kotlin_kotlin.$_$.ha;
-  var Pair = kotlin_kotlin.$_$.ee;
-  var setOf = kotlin_kotlin.$_$.f5;
-  var setOf_0 = kotlin_kotlin.$_$.e5;
-  var defineProp = kotlin_kotlin.$_$.r7;
+  var Pair = kotlin_kotlin.$_$.de;
+  var setOf = kotlin_kotlin.$_$.g5;
+  var setOf_0 = kotlin_kotlin.$_$.f5;
+  var defineProp = kotlin_kotlin.$_$.s7;
   var synchronizedOn = kotlin_it_unibo_tuprolog_utils.$_$.n1;
-  var add = kotlin_kotlin.$_$.q6;
-  var singleOrNull = kotlin_kotlin.$_$.g5;
+  var add = kotlin_kotlin.$_$.r6;
+  var singleOrNull = kotlin_kotlin.$_$.h5;
   var Companion_instance_0 = kotlin_kotlin.$_$.q;
   var _Result___init__impl__xyqfz8 = kotlin_kotlin.$_$.i;
-  var createFailure = kotlin_kotlin.$_$.le;
+  var createFailure = kotlin_kotlin.$_$.ke;
   var _Result___get_value__impl__bjfvqg = kotlin_kotlin.$_$.l;
   var _Result___get_isFailure__impl__jpiriv = kotlin_kotlin.$_$.j;
   var asSequence_3 = kotlin_kotlin.$_$.s2;
-  var toSet = kotlin_kotlin.$_$.lb;
-  var toHashSet = kotlin_kotlin.$_$.ib;
-  var minus_0 = kotlin_kotlin.$_$.q4;
-  var minus_1 = kotlin_kotlin.$_$.p4;
+  var toSet = kotlin_kotlin.$_$.jb;
+  var toHashSet = kotlin_kotlin.$_$.gb;
+  var minus_0 = kotlin_kotlin.$_$.r4;
+  var minus_1 = kotlin_kotlin.$_$.q4;
   var KtSet = kotlin_kotlin.$_$.g2;
-  var plus_3 = kotlin_kotlin.$_$.x4;
+  var plus_3 = kotlin_kotlin.$_$.y4;
   var IllegalArgumentException_init_$Create$_0 = kotlin_kotlin.$_$.k1;
-  var IllegalStateException = kotlin_kotlin.$_$.zd;
-  var THROW_IAE = kotlin_kotlin.$_$.he;
+  var IllegalStateException = kotlin_kotlin.$_$.yd;
+  var THROW_IAE = kotlin_kotlin.$_$.ge;
   //endregion
   //region block: pre-declaration
   initMetadataForObject(Info, 'Info');
@@ -1502,6 +1503,9 @@
   function get_isAnonymous() {
     return '_' === this.get_name_woqyms_k$();
   }
+  function get_isWildcard() {
+    return startsWith(this.get_name_woqyms_k$(), '_');
+  }
   function asVar_0() {
     return this;
   }
@@ -1592,7 +1596,7 @@
   }
   function Info() {
     Info_instance = this;
-    this.VERSION_1 = '2.0.9';
+    this.VERSION_1 = '3.0.0';
     var tmp = this;
     tmp.PLATFORM$delegate_1 = lazy(Info$PLATFORM$delegate$lambda);
     var tmp_0 = this;
@@ -4673,7 +4677,7 @@
   function numberedVar($this, integer) {
     var letterIndex = integer.get_value_j01efc_k$().rem(Companion_getInstance_30().TWENTY_SIX_1).toInt() + 65 | 0;
     var varNumber = integer.get_value_j01efc_k$().div(Companion_getInstance_30().TWENTY_SIX_1);
-    return toString_1(numberToChar(letterIndex)) + varNumber.toString();
+    return toString_1(numberToChar(letterIndex)) + toString(varNumber.signum > 0 ? varNumber : '');
   }
   function formatFunctor($this, term) {
     var tmp;
@@ -9440,6 +9444,7 @@
   protoOf(VarImpl).get_isVar_it73p0_k$ = get_isVar_0;
   protoOf(VarImpl).asVar_1jfb85_k$ = asVar_0;
   protoOf(VarImpl).get_variables_75f0zy_k$ = get_variables_2;
+  protoOf(VarImpl).get_isWildcard_ic6nql_k$ = get_isWildcard;
   protoOf(VariablesProviderImpl).logicListFromFrom = logicListFromFrom;
   protoOf(VariablesProviderImpl).logicListFromIterable = logicListFromIterable;
   protoOf(VariablesProviderImpl).logicListFromSequence = logicListFromSequence;