@tuprolog/arg2p 0.14.1 → 0.15.0

package/2p-dsl-solve.js

@@ -35,23 +35,23 @@
   //region block: imports
   var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.p1;
   var VOID = kotlin_kotlin.$_$.b;
-  var protoOf = kotlin_kotlin.$_$.n6;
+  var protoOf = kotlin_kotlin.$_$.o6;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_dsl_core.$_$.b;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.b1;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_unify.$_$.b;
   var IndexedTheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.c;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
-  var objectCreate = kotlin_kotlin.$_$.m6;
-  var toString = kotlin_kotlin.$_$.q6;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
+  var objectCreate = kotlin_kotlin.$_$.n6;
+  var toString = kotlin_kotlin.$_$.r6;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
   var Unit_instance = kotlin_kotlin.$_$.l1;
-  var equals = kotlin_kotlin.$_$.u5;
+  var equals = kotlin_kotlin.$_$.v5;
   var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.d;
   var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.b;
   var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.c;
   var copy = kotlin_it_unibo_tuprolog_solve.$_$.g;
-  var THROW_CCE = kotlin_kotlin.$_$.qa;
+  var THROW_CCE = kotlin_kotlin.$_$.ra;
   var mguWithOccurCheck = kotlin_it_unibo_tuprolog_unify.$_$.a;
   var stringInvoke = kotlin_it_unibo_tuprolog_dsl_core.$_$.v4;
   var structOfAny = kotlin_it_unibo_tuprolog_dsl_core.$_$.a5;
@@ -196,19 +196,19 @@
   var mutableTheory = kotlin_it_unibo_tuprolog_dsl_theory.$_$.c;
   var mutableTheoryOfConcatenatedSequences = kotlin_it_unibo_tuprolog_dsl_theory.$_$.a;
   var mutableTheoryOfConcatenatedIterables = kotlin_it_unibo_tuprolog_dsl_theory.$_$.b;
-  var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
-  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
-  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
   var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
-  var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
-  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
   var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
+  var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
+  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
+  var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
   var LogicProgrammingScopeWithTheories = kotlin_it_unibo_tuprolog_dsl_theory.$_$.h;
+  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
+  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
   var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
   var TheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.f;
   var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.t2;
-  var initMetadataForClass = kotlin_kotlin.$_$.a6;
-  var initMetadataForInterface = kotlin_kotlin.$_$.c6;
+  var initMetadataForClass = kotlin_kotlin.$_$.b6;
+  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
   //endregion
   //region block: pre-declaration
   initMetadataForCompanion(Companion);
@@ -251,8 +251,8 @@
   function dynamicKbByTheory(theory) {
     return this.p2z().loadDynamicKb(theory);
   }
-  initMetadataForInterface(LogicProgrammingScopeWithResolution, 'LogicProgrammingScopeWithResolution', VOID, VOID, [Unificator, BaseLogicProgrammingScope, MutableSolver]);
-  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithResolution, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithPrologStandardLibrary, Scope, BaseLogicProgrammingScope, MinimalLogicProgrammingScope, LogicProgrammingScopeWithTheories, Unificator, TheoryFactory, MutableSolver]);
+  initMetadataForInterface(LogicProgrammingScopeWithResolution, 'LogicProgrammingScopeWithResolution', VOID, VOID, [BaseLogicProgrammingScope, Unificator, MutableSolver]);
+  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, MinimalLogicProgrammingScope, LogicProgrammingScopeWithOperators, BaseLogicProgrammingScope, Scope, LogicProgrammingScopeWithTheories, LogicProgrammingScopeWithResolution, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithSubstitutions, Unificator, TheoryFactory, MutableSolver]);
   //endregion
   function prolog(unificator, function_0) {
     unificator = unificator === VOID ? Companion_getInstance().n1w().t1w() : unificator;

package/2p-dsl-theory.js

@@ -29,16 +29,16 @@
   //region block: imports
   var VOID = kotlin_kotlin.$_$.b;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.b;
-  var protoOf = kotlin_kotlin.$_$.n6;
+  var protoOf = kotlin_kotlin.$_$.o6;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_dsl_core.$_$.b;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.b1;
   var IndexedTheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.c;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
-  var toString = kotlin_kotlin.$_$.q6;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
+  var toString = kotlin_kotlin.$_$.r6;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
   var Unit_instance = kotlin_kotlin.$_$.l1;
-  var equals = kotlin_kotlin.$_$.u5;
+  var equals = kotlin_kotlin.$_$.v5;
   var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.d;
   var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.b;
   var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.c;
@@ -179,26 +179,26 @@
   var matchAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.a;
   var unify = kotlin_it_unibo_tuprolog_dsl_unify.$_$.i;
   var unifyAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.c;
-  var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
-  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
-  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
   var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
-  var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
-  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
   var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
+  var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
+  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
+  var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
+  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
+  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
   var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
   var TheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.f;
-  var initMetadataForClass = kotlin_kotlin.$_$.a6;
+  var initMetadataForClass = kotlin_kotlin.$_$.b6;
   var Clause = kotlin_it_unibo_tuprolog_core.$_$.g1;
-  var getKClass = kotlin_kotlin.$_$.f7;
+  var getKClass = kotlin_kotlin.$_$.g7;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
   var addAll = kotlin_kotlin.$_$.t1;
-  var plus = kotlin_kotlin.$_$.l8;
+  var plus = kotlin_kotlin.$_$.m8;
   var arrayConcat = kotlin_kotlin.$_$.a;
-  var listOf = kotlin_kotlin.$_$.e3;
-  var flatten = kotlin_kotlin.$_$.t2;
-  var initMetadataForInterface = kotlin_kotlin.$_$.c6;
+  var listOf = kotlin_kotlin.$_$.f3;
+  var flatten = kotlin_kotlin.$_$.u2;
+  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
   //endregion
   //region block: pre-declaration
   initMetadataForCompanion(Companion);
@@ -268,8 +268,8 @@
   function mutableTheoryOfConcatenatedIterables(clauses, otherClauses) {
     return this.mutableTheoryOfIterable(flatten(listOf(arrayConcat([[clauses], otherClauses]))));
   }
-  initMetadataForInterface(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', VOID, VOID, [Unificator, BaseLogicProgrammingScope, TheoryFactory]);
-  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithPrologStandardLibrary, Scope, BaseLogicProgrammingScope, MinimalLogicProgrammingScope, LogicProgrammingScopeWithTheories, Unificator, TheoryFactory]);
+  initMetadataForInterface(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', VOID, VOID, [BaseLogicProgrammingScope, Unificator, TheoryFactory]);
+  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, MinimalLogicProgrammingScope, LogicProgrammingScopeWithOperators, BaseLogicProgrammingScope, Scope, LogicProgrammingScopeWithTheories, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithSubstitutions, Unificator, TheoryFactory]);
   //endregion
   function logicProgramming(unificator, function_0) {
     unificator = unificator === VOID ? Companion_getInstance_0().w2y_1 : unificator;

package/2p-dsl-unify.js

@@ -1,28 +1,28 @@
 (function (factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports', './kotlin-kotlin-stdlib.js', './2p-unify.js', './2p-dsl-core.js'], factory);
+    define(['exports', './kotlin-kotlin-stdlib.js', './2p-dsl-core.js', './2p-unify.js'], factory);
   else if (typeof exports === 'object')
-    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-unify.js'), require('./2p-dsl-core.js'));
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-dsl-core.js'), require('./2p-unify.js'));
   else {
     if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
       throw new Error("Error loading module '2p-dsl-unify'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-dsl-unify'.");
     }
-    if (typeof globalThis['2p-unify'] === 'undefined') {
-      throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-dsl-unify'.");
-    }
     if (typeof globalThis['2p-dsl-core'] === 'undefined') {
       throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-dsl-core' was not found. Please, check whether '2p-dsl-core' is loaded prior to '2p-dsl-unify'.");
     }
-    globalThis['2p-dsl-unify'] = factory(typeof globalThis['2p-dsl-unify'] === 'undefined' ? {} : globalThis['2p-dsl-unify'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-unify'], globalThis['2p-dsl-core']);
+    if (typeof globalThis['2p-unify'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-unify'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-dsl-unify'.");
+    }
+    globalThis['2p-dsl-unify'] = factory(typeof globalThis['2p-dsl-unify'] === 'undefined' ? {} : globalThis['2p-dsl-unify'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-dsl-core'], globalThis['2p-unify']);
   }
-}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_dsl_core) {
+}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_dsl_core, kotlin_it_unibo_tuprolog_unify) {
   'use strict';
   //region block: imports
-  var protoOf = kotlin_kotlin.$_$.n6;
+  var protoOf = kotlin_kotlin.$_$.o6;
   var VOID = kotlin_kotlin.$_$.b;
-  var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
   var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
-  var initMetadataForInterface = kotlin_kotlin.$_$.c6;
+  var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
+  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
   //endregion
   //region block: pre-declaration
   function anyMguWith(_this__u8e3s4, other) {
@@ -55,7 +55,7 @@
     occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
     return $super === VOID ? this.v2y(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
   }
-  initMetadataForInterface(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', VOID, VOID, [Unificator, BaseLogicProgrammingScope]);
+  initMetadataForInterface(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', VOID, VOID, [BaseLogicProgrammingScope, Unificator]);
   //endregion
   function LogicProgrammingScopeWithUnification() {
   }

package/2p-parser-core.js

@@ -45,25 +45,25 @@
   var BailErrorStrategy = $module$antlr4_src_antlr4_error_s9pni7.BailErrorStrategy;
   var PrologParserVisitor = $module$_tuprolog_parser_utils_xy31vy.PrologParserVisitor;
   var VOID = kotlin_kotlin.$_$.b;
-  var captureStack = kotlin_kotlin.$_$.m5;
-  var protoOf = kotlin_kotlin.$_$.n6;
-  var initMetadataForClass = kotlin_kotlin.$_$.a6;
+  var captureStack = kotlin_kotlin.$_$.n5;
+  var protoOf = kotlin_kotlin.$_$.o6;
+  var initMetadataForClass = kotlin_kotlin.$_$.b6;
   var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.c1;
   var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.e;
-  var ensureNotNull = kotlin_kotlin.$_$.ua;
-  var replace = kotlin_kotlin.$_$.o9;
+  var ensureNotNull = kotlin_kotlin.$_$.va;
+  var replace = kotlin_kotlin.$_$.p9;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d1;
-  var Char = kotlin_kotlin.$_$.ea;
+  var Char = kotlin_kotlin.$_$.fa;
   var toString = kotlin_kotlin.$_$.h1;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.s1;
-  var isInterface = kotlin_kotlin.$_$.h6;
+  var isInterface = kotlin_kotlin.$_$.i6;
   var Numeric = kotlin_it_unibo_tuprolog_core.$_$.o1;
   var Atom = kotlin_it_unibo_tuprolog_core.$_$.f1;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.i;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
   var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.f;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
-  var getKClass = kotlin_kotlin.$_$.f7;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
+  var getKClass = kotlin_kotlin.$_$.g7;
   var Constant = kotlin_it_unibo_tuprolog_core.$_$.h1;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.t2;
   var Integer = kotlin_it_unibo_tuprolog_core.$_$.m1;
@@ -72,47 +72,47 @@
   var Rule = kotlin_it_unibo_tuprolog_core.$_$.q1;
   var Fact = kotlin_it_unibo_tuprolog_core.$_$.k1;
   var Directive = kotlin_it_unibo_tuprolog_core.$_$.j1;
-  var initMetadataForInterface = kotlin_kotlin.$_$.c6;
+  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.m;
-  var toString_0 = kotlin_kotlin.$_$.q6;
+  var toString_0 = kotlin_kotlin.$_$.r6;
   var Unit_instance = kotlin_kotlin.$_$.l1;
-  var THROW_CCE = kotlin_kotlin.$_$.qa;
+  var THROW_CCE = kotlin_kotlin.$_$.ra;
   var contains = kotlin_kotlin.$_$.e2;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.j;
-  var map = kotlin_kotlin.$_$.g8;
+  var map = kotlin_kotlin.$_$.h8;
   var Operator = kotlin_it_unibo_tuprolog_core.$_$.e1;
   var List = kotlin_it_unibo_tuprolog_core.$_$.n1;
-  var coerceAtLeast = kotlin_kotlin.$_$.b7;
+  var coerceAtLeast = kotlin_kotlin.$_$.c7;
   var isRecognitionException = kotlin_it_unibo_tuprolog_parser_js.$_$.b;
   var isParseCancellationException = kotlin_it_unibo_tuprolog_parser_js.$_$.a;
-  var generateSequence = kotlin_kotlin.$_$.a8;
-  var takeWhile = kotlin_kotlin.$_$.r8;
-  var to = kotlin_kotlin.$_$.cb;
-  var initMetadataForObject = kotlin_kotlin.$_$.e6;
-  var substring = kotlin_kotlin.$_$.u9;
+  var generateSequence = kotlin_kotlin.$_$.b8;
+  var takeWhile = kotlin_kotlin.$_$.s8;
+  var to = kotlin_kotlin.$_$.db;
+  var initMetadataForObject = kotlin_kotlin.$_$.f6;
+  var substring = kotlin_kotlin.$_$.v9;
   var Companion_getInstance_1 = kotlin_io_github_gciatto_kt_math.$_$.e;
-  var charCodeAt = kotlin_kotlin.$_$.p5;
+  var charCodeAt = kotlin_kotlin.$_$.q5;
   var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.g1;
-  var contains_0 = kotlin_kotlin.$_$.d9;
-  var plus = kotlin_kotlin.$_$.ya;
+  var contains_0 = kotlin_kotlin.$_$.e9;
+  var plus = kotlin_kotlin.$_$.za;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
-  var listOf = kotlin_kotlin.$_$.d3;
+  var listOf = kotlin_kotlin.$_$.e3;
   var asList = kotlin_kotlin.$_$.w1;
-  var plus_0 = kotlin_kotlin.$_$.x3;
+  var plus_0 = kotlin_kotlin.$_$.y3;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
-  var toList = kotlin_kotlin.$_$.g4;
-  var flatMap = kotlin_kotlin.$_$.x7;
+  var toList = kotlin_kotlin.$_$.h4;
+  var flatMap = kotlin_kotlin.$_$.y7;
   var asSequence = kotlin_kotlin.$_$.a2;
-  var toList_0 = kotlin_kotlin.$_$.v8;
-  var sequenceOf = kotlin_kotlin.$_$.n8;
+  var toList_0 = kotlin_kotlin.$_$.w8;
+  var sequenceOf = kotlin_kotlin.$_$.o8;
   var asSequence_0 = kotlin_kotlin.$_$.b2;
-  var plus_1 = kotlin_kotlin.$_$.k8;
+  var plus_1 = kotlin_kotlin.$_$.l8;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
   var Term = kotlin_it_unibo_tuprolog_core.$_$.r2;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.o;
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.r;
-  var NumberFormatException = kotlin_kotlin.$_$.na;
+  var NumberFormatException = kotlin_kotlin.$_$.oa;
   //endregion
   //region block: pre-declaration
   initMetadataForClass(ParseException, 'ParseException', VOID, TuPrologException);

package/2p-parser-js.js

@@ -12,7 +12,7 @@
 }(function (_, kotlin_kotlin) {
   'use strict';
   //region block: imports
-  var THROW_CCE = kotlin_kotlin.$_$.qa;
+  var THROW_CCE = kotlin_kotlin.$_$.ra;
   //endregion
   //region block: pre-declaration
   //endregion

package/2p-parser-theory.js

@@ -25,18 +25,18 @@
   'use strict';
   //region block: imports
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.i;
-  var protoOf = kotlin_kotlin.$_$.n6;
+  var protoOf = kotlin_kotlin.$_$.o6;
   var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.f;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
   var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_unify.$_$.b;
-  var toList = kotlin_kotlin.$_$.v8;
-  var initMetadataForInterface = kotlin_kotlin.$_$.c6;
+  var toList = kotlin_kotlin.$_$.w8;
+  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
   var PrologVisitor = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
   var termToClause = kotlin_it_unibo_tuprolog_parser_core.$_$.g;
   var PrologParserFactory_instance = kotlin_it_unibo_tuprolog_parser_core.$_$.a;
-  var map = kotlin_kotlin.$_$.g8;
-  var initMetadataForClass = kotlin_kotlin.$_$.a6;
+  var map = kotlin_kotlin.$_$.h8;
+  var initMetadataForClass = kotlin_kotlin.$_$.b6;
   var VOID = kotlin_kotlin.$_$.b;
   //endregion
   //region block: pre-declaration

package/2p-solve-classic.js

@@ -38,55 +38,55 @@
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.s;
   var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.r;
   var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.t;
-  var toString = kotlin_kotlin.$_$.q6;
+  var toString = kotlin_kotlin.$_$.r6;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
   var Unit_instance = kotlin_kotlin.$_$.l1;
   var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.t1;
-  var protoOf = kotlin_kotlin.$_$.n6;
-  var THROW_CCE = kotlin_kotlin.$_$.qa;
-  var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.s4;
+  var protoOf = kotlin_kotlin.$_$.o6;
+  var THROW_CCE = kotlin_kotlin.$_$.ra;
+  var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.t4;
   var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.l3;
   var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.n3;
   var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.j3;
-  var asSequence = kotlin_kotlin.$_$.m7;
-  var initMetadataForClass = kotlin_kotlin.$_$.a6;
-  var ensureNotNull = kotlin_kotlin.$_$.ua;
-  var fromInt = kotlin_kotlin.$_$.a5;
-  var add = kotlin_kotlin.$_$.v4;
-  var hashCode = kotlin_kotlin.$_$.z5;
-  var equals = kotlin_kotlin.$_$.u5;
-  var CoroutineImpl = kotlin_kotlin.$_$.r4;
-  var SequenceScope = kotlin_kotlin.$_$.i7;
-  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.q4;
-  var initMetadataForLambda = kotlin_kotlin.$_$.d6;
-  var sequence = kotlin_kotlin.$_$.o8;
-  var toString_0 = kotlin_kotlin.$_$.bb;
+  var asSequence = kotlin_kotlin.$_$.n7;
+  var initMetadataForClass = kotlin_kotlin.$_$.b6;
+  var ensureNotNull = kotlin_kotlin.$_$.va;
+  var fromInt = kotlin_kotlin.$_$.b5;
+  var add = kotlin_kotlin.$_$.w4;
+  var hashCode = kotlin_kotlin.$_$.a6;
+  var equals = kotlin_kotlin.$_$.v5;
+  var CoroutineImpl = kotlin_kotlin.$_$.s4;
+  var SequenceScope = kotlin_kotlin.$_$.j7;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.r4;
+  var initMetadataForLambda = kotlin_kotlin.$_$.e6;
+  var sequence = kotlin_kotlin.$_$.p8;
+  var toString_0 = kotlin_kotlin.$_$.cb;
   var asSequence_0 = kotlin_kotlin.$_$.a2;
-  var emptySequence = kotlin_kotlin.$_$.r7;
-  var plus = kotlin_kotlin.$_$.k8;
-  var KProperty1 = kotlin_kotlin.$_$.h7;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.x5;
-  var flatMap = kotlin_kotlin.$_$.x7;
-  var distinct = kotlin_kotlin.$_$.p7;
+  var emptySequence = kotlin_kotlin.$_$.s7;
+  var plus = kotlin_kotlin.$_$.l8;
+  var KProperty1 = kotlin_kotlin.$_$.i7;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.y5;
+  var flatMap = kotlin_kotlin.$_$.y7;
+  var distinct = kotlin_kotlin.$_$.q7;
   var cached = kotlin_it_unibo_tuprolog_utils.$_$.v;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.u;
-  var filter = kotlin_kotlin.$_$.u7;
-  var map = kotlin_kotlin.$_$.g8;
-  var toList = kotlin_kotlin.$_$.v8;
+  var filter = kotlin_kotlin.$_$.v7;
+  var map = kotlin_kotlin.$_$.h8;
+  var toList = kotlin_kotlin.$_$.w8;
   var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.u;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.v;
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.y;
   var Companion_instance_7 = kotlin_it_unibo_tuprolog_utils.$_$.c;
-  var emptySet = kotlin_kotlin.$_$.p2;
-  var lazy = kotlin_kotlin.$_$.wa;
-  var contains = kotlin_kotlin.$_$.n7;
+  var emptySet = kotlin_kotlin.$_$.q2;
+  var lazy = kotlin_kotlin.$_$.xa;
+  var contains = kotlin_kotlin.$_$.o7;
   var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.e;
   var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.d;
   var update = kotlin_it_unibo_tuprolog_solve.$_$.f;
   var apply = kotlin_it_unibo_tuprolog_solve.$_$.g2;
   var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.f2;
   var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.h2;
-  var getBigIntHashCode = kotlin_kotlin.$_$.v5;
+  var getBigIntHashCode = kotlin_kotlin.$_$.w5;
   var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.j2;
   var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.k2;
   var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.i2;
@@ -95,7 +95,7 @@
   var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.e2;
   var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.c2;
   var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.m2;
-  var objectCreate = kotlin_kotlin.$_$.m6;
+  var objectCreate = kotlin_kotlin.$_$.n6;
   var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.l;
   var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.k;
   var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.h;
@@ -115,11 +115,11 @@
   var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.f3;
   var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.j;
   var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.i3;
-  var initMetadataForObject = kotlin_kotlin.$_$.e6;
-  var defineProp = kotlin_kotlin.$_$.t5;
-  var listOf = kotlin_kotlin.$_$.d3;
+  var initMetadataForObject = kotlin_kotlin.$_$.f6;
+  var defineProp = kotlin_kotlin.$_$.u5;
+  var listOf = kotlin_kotlin.$_$.e3;
   var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.m3;
-  var to = kotlin_kotlin.$_$.cb;
+  var to = kotlin_kotlin.$_$.db;
   var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.q2;
   var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.r2;
   var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.s2;
@@ -127,26 +127,26 @@
   var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.n2;
   var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.o2;
   var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.t2;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.w;
-  var subtract = kotlin_kotlin.$_$.i5;
+  var subtract = kotlin_kotlin.$_$.j5;
   var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.o;
   var NoSuchElementException_init_$Create$_0 = kotlin_kotlin.$_$.x;
-  var initMetadataForInterface = kotlin_kotlin.$_$.c6;
-  var getKClass = kotlin_kotlin.$_$.f7;
+  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
+  var getKClass = kotlin_kotlin.$_$.g7;
   var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.o;
   var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
   var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.q1;
   var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.a1;
   var plus_0 = kotlin_it_unibo_tuprolog_utils.$_$.l1;
   var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.r1;
-  var toSet = kotlin_kotlin.$_$.x8;
-  var plus_1 = kotlin_kotlin.$_$.t3;
+  var toSet = kotlin_kotlin.$_$.y8;
+  var plus_1 = kotlin_kotlin.$_$.u3;
   var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
-  var drop = kotlin_kotlin.$_$.q7;
-  var first = kotlin_kotlin.$_$.w7;
+  var drop = kotlin_kotlin.$_$.r7;
+  var first = kotlin_kotlin.$_$.x7;
   var Unifier = kotlin_it_unibo_tuprolog_core.$_$.t1;
-  var isInterface = kotlin_kotlin.$_$.h6;
+  var isInterface = kotlin_kotlin.$_$.i6;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
   var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.s1;
   var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
@@ -156,23 +156,23 @@
   var cursor = kotlin_it_unibo_tuprolog_utils.$_$.x;
   var Companion_instance_11 = kotlin_it_unibo_tuprolog_solve.$_$.y;
   var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.v2;
-  var setOf = kotlin_kotlin.$_$.b4;
+  var setOf = kotlin_kotlin.$_$.c4;
   var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
   var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.n;
   var Companion_instance_12 = kotlin_it_unibo_tuprolog_solve.$_$.x;
   var contains_0 = kotlin_kotlin.$_$.d2;
-  var firstOrNull = kotlin_kotlin.$_$.v7;
-  var any = kotlin_kotlin.$_$.k7;
+  var firstOrNull = kotlin_kotlin.$_$.w7;
+  var any = kotlin_kotlin.$_$.l7;
   var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e1;
   var buffered = kotlin_it_unibo_tuprolog_utils.$_$.u;
-  var sequenceOf = kotlin_kotlin.$_$.m8;
+  var sequenceOf = kotlin_kotlin.$_$.n8;
   var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.b2;
-  var sequenceOf_0 = kotlin_kotlin.$_$.n8;
+  var sequenceOf_0 = kotlin_kotlin.$_$.o8;
   var Request = kotlin_it_unibo_tuprolog_solve.$_$.x1;
-  var get_ONE = kotlin_kotlin.$_$.u4;
+  var get_ONE = kotlin_kotlin.$_$.v4;
   var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.u1;
   var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.m1;
-  var listOf_0 = kotlin_kotlin.$_$.e3;
+  var listOf_0 = kotlin_kotlin.$_$.f3;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.s1;
   var Companion_instance_13 = kotlin_it_unibo_tuprolog_solve.$_$.z;
   var Companion_instance_14 = kotlin_it_unibo_tuprolog_solve.$_$.c1;