@tuprolog/arg2p 0.16.5 → 0.16.6

package/2p-io-lib.js

@@ -38,7 +38,7 @@
   //region block: imports
   var VOID = kotlin_kotlin.$_$.b;
   var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.v;
-  var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.n;
+  var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.o;
   var Unit_instance = kotlin_kotlin.$_$.q;
   var protoOf = kotlin_kotlin.$_$.r7;
   var equals = kotlin_kotlin.$_$.x6;
@@ -60,8 +60,8 @@
   var PrologTermParserVisitor = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
   var sequence = kotlin_kotlin.$_$.t9;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.v;
-  var AbstractLibrary = kotlin_it_unibo_tuprolog_solve.$_$.k2;
-  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
+  var AbstractLibrary = kotlin_it_unibo_tuprolog_solve.$_$.l2;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
   var listOf = kotlin_kotlin.$_$.x3;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.q2;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.s;
@@ -80,8 +80,8 @@
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.i1;
   var startsWith = kotlin_kotlin.$_$.cb;
   var initMetadataForInterface = kotlin_kotlin.$_$.g7;
-  var AbstractOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.d2;
-  var AbstractInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.c2;
+  var AbstractOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.e2;
+  var AbstractInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.d2;
   var ArrayDeque_init_$Create$ = kotlin_kotlin.$_$.r;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
   var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.g;
@@ -93,16 +93,16 @@
   var captureStack = kotlin_kotlin.$_$.o6;
   var TuPrologException_init_$Init$_0 = kotlin_it_unibo_tuprolog_core.$_$.i1;
   var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
-  var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.z;
-  var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.a1;
-  var Expected_URL_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l;
-  var Predicative = kotlin_it_unibo_tuprolog_solve.$_$.p2;
-  var Predicative_0 = kotlin_it_unibo_tuprolog_solve.$_$.v2;
-  var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.m2;
-  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.i1;
-  var InputChannel = kotlin_it_unibo_tuprolog_solve.$_$.e2;
-  var OutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.f2;
-  var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.u2;
+  var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.a1;
+  var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
+  var Expected_URL_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.m;
+  var Predicative = kotlin_it_unibo_tuprolog_solve.$_$.q2;
+  var Predicative_0 = kotlin_it_unibo_tuprolog_solve.$_$.w2;
+  var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.n2;
+  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_solve.$_$.j1;
+  var InputChannel = kotlin_it_unibo_tuprolog_solve.$_$.f2;
+  var OutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.g2;
+  var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.v2;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.l1;
   var IllegalStateException = kotlin_kotlin.$_$.xb;
   var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
@@ -123,11 +123,11 @@
   var addAll = kotlin_kotlin.$_$.f2;
   var toList = kotlin_kotlin.$_$.d5;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.b2;
-  var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.p;
+  var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.q;
   var filterNot = kotlin_kotlin.$_$.y8;
   var Truth = kotlin_it_unibo_tuprolog_core.$_$.b3;
   var lazy = kotlin_kotlin.$_$.mc;
-  var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.s;
+  var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.t;
   var Expected_STREAM_PROPERTY_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e;
   var Expected_WRITE_OPTION_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g;
   var Expected_READ_OPTION_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.b;
@@ -141,10 +141,10 @@
   var VarFormat_UNDERSCORE_getInstance = kotlin_it_unibo_tuprolog_core.$_$.f;
   var Expected_SOURCE_SINK_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.c;
   var Expected_IO_MODE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a;
-  var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.u;
+  var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.v;
   var Expected_STREAM_OR_ALIAS_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.d;
-  var Expected_IN_CHARACTER_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j;
-  var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.x;
+  var Expected_IN_CHARACTER_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k;
+  var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.y;
   var Limit_CHARACTER_CODE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h;
   var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.o;
   var Integer = kotlin_it_unibo_tuprolog_core.$_$.v1;
@@ -156,12 +156,12 @@
   var get_lastIndex = kotlin_kotlin.$_$.r3;
   var toList_0 = kotlin_kotlin.$_$.aa;
   var last = kotlin_kotlin.$_$.t3;
-  var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.y;
+  var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.z;
   var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.a;
   var emptySet = kotlin_kotlin.$_$.g3;
   var noWhenBranchMatchedException = kotlin_kotlin.$_$.nc;
-  var NonBacktrackable_1 = kotlin_it_unibo_tuprolog_solve.$_$.t2;
-  var NonBacktrackable_2 = kotlin_it_unibo_tuprolog_solve.$_$.r2;
+  var NonBacktrackable_1 = kotlin_it_unibo_tuprolog_solve.$_$.u2;
+  var NonBacktrackable_2 = kotlin_it_unibo_tuprolog_solve.$_$.s2;
   var Companion_instance_11 = kotlin_it_unibo_tuprolog_parser_theory.$_$.a;
   var Companion_instance_12 = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var Companion_instance_13 = kotlin_it_unibo_tuprolog_theory.$_$.a;
@@ -169,7 +169,7 @@
   var titlecase = kotlin_kotlin.$_$.hb;
   var isLowerCase = kotlin_kotlin.$_$.pa;
   var substring = kotlin_kotlin.$_$.fb;
-  var BinaryRelation = kotlin_it_unibo_tuprolog_solve.$_$.o2;
+  var BinaryRelation = kotlin_it_unibo_tuprolog_solve.$_$.p2;
   var distinct = kotlin_kotlin.$_$.u8;
   var removeSuffix = kotlin_kotlin.$_$.va;
   var toIntOrNull = kotlin_kotlin.$_$.kb;

package/2p-solve-classic.js

@@ -30,25 +30,25 @@
   var imul = Math.imul;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
   var VOID = kotlin_kotlin.$_$.b;
-  var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
+  var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.i1;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.d1;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_theory.$_$.a;
-  var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.n;
-  var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.p;
-  var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.o;
-  var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.q;
+  var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.o;
+  var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.q;
+  var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.p;
+  var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.r;
   var toString = kotlin_kotlin.$_$.u7;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.i1;
   var Unit_instance = kotlin_kotlin.$_$.q;
   var constructCallableReference = kotlin_kotlin.$_$.v6;
-  var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.j2;
+  var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.k2;
   var protoOf = kotlin_kotlin.$_$.r7;
   var THROW_CCE = kotlin_kotlin.$_$.ec;
   var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.u5;
-  var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.j4;
-  var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.l4;
-  var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.h4;
+  var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.l4;
+  var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.n4;
+  var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.j4;
   var asSequence = kotlin_kotlin.$_$.r8;
   var initMetadataForClass = kotlin_kotlin.$_$.e7;
   var ensureNotNull = kotlin_kotlin.$_$.kc;
@@ -74,115 +74,115 @@
   var filter = kotlin_kotlin.$_$.z8;
   var map = kotlin_kotlin.$_$.l9;
   var toList = kotlin_kotlin.$_$.aa;
-  var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.r;
+  var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.s;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.v;
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.z;
   var Companion_instance_7 = kotlin_it_unibo_tuprolog_utils.$_$.c;
   var emptySet = kotlin_kotlin.$_$.g3;
   var lazy = kotlin_kotlin.$_$.mc;
   var contains = kotlin_kotlin.$_$.s8;
-  var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.q1;
-  var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.p1;
-  var update = kotlin_it_unibo_tuprolog_solve.$_$.r1;
-  var apply = kotlin_it_unibo_tuprolog_solve.$_$.e3;
-  var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.d3;
-  var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.f3;
+  var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.r1;
+  var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.q1;
+  var update = kotlin_it_unibo_tuprolog_solve.$_$.s1;
+  var apply = kotlin_it_unibo_tuprolog_solve.$_$.f3;
+  var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.e3;
+  var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.g3;
   var getBigIntHashCode = kotlin_kotlin.$_$.z6;
-  var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.h3;
-  var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.i3;
-  var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.g3;
-  var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.j3;
-  var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.b3;
-  var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.c3;
-  var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.a3;
-  var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.k3;
+  var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.i3;
+  var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.j3;
+  var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.h3;
+  var get_warnings = kotlin_it_unibo_tuprolog_solve.$_$.k3;
+  var get_endTime = kotlin_it_unibo_tuprolog_solve.$_$.c3;
+  var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.d3;
+  var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.b3;
+  var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.l3;
   var objectCreate = kotlin_kotlin.$_$.q7;
-  var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.x1;
-  var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.w1;
-  var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.t1;
-  var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.u1;
-  var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.e4;
-  var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.z3;
-  var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.b4;
-  var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.w3;
-  var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.a4;
-  var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.u3;
-  var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.x3;
-  var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.y3;
-  var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.v3;
-  var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.c4;
-  var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.f4;
-  var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.y1;
-  var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.d4;
-  var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.v1;
-  var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.g4;
+  var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.y1;
+  var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.x1;
+  var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.u1;
+  var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.v1;
+  var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.g4;
+  var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.b4;
+  var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.d4;
+  var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.y3;
+  var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.c4;
+  var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.w3;
+  var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.z3;
+  var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.a4;
+  var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.x3;
+  var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.e4;
+  var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.h4;
+  var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.z1;
+  var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.f4;
+  var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.w1;
+  var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.i4;
   var initMetadataForObject = kotlin_kotlin.$_$.i7;
   var defineProp = kotlin_kotlin.$_$.w6;
   var listOf = kotlin_kotlin.$_$.w3;
-  var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.k4;
+  var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.m4;
   var to = kotlin_kotlin.$_$.rc;
-  var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.o3;
-  var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.p3;
-  var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.q3;
-  var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.n3;
-  var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.l3;
-  var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.m3;
-  var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.r3;
+  var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.p3;
+  var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.q3;
+  var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.r3;
+  var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.o3;
+  var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.m3;
+  var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.n3;
+  var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.s3;
   var initMetadataForCompanion = kotlin_kotlin.$_$.f7;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.p1;
   var subtract = kotlin_kotlin.$_$.k6;
-  var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.a2;
+  var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.b2;
   var NoSuchElementException_init_$Create$_0 = kotlin_kotlin.$_$.q1;
   var initMetadataForInterface = kotlin_kotlin.$_$.g7;
   var getKClass = kotlin_kotlin.$_$.k8;
   var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.e1;
-  var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.m1;
-  var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.g2;
-  var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.z;
+  var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
+  var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.h2;
+  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.$_$.h2;
+  var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.i2;
   var toSet = kotlin_kotlin.$_$.ca;
   var plus_1 = kotlin_kotlin.$_$.n4;
-  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e1;
+  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
   var drop = kotlin_kotlin.$_$.v8;
   var first = kotlin_kotlin.$_$.b9;
   var Unifier = kotlin_it_unibo_tuprolog_core.$_$.c2;
   var isInterface = kotlin_kotlin.$_$.l7;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.l1;
-  var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.i2;
-  var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.a1;
-  var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.i4;
-  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.s3;
-  var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.i;
+  var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.j2;
+  var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
+  var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.k4;
+  var Signature = kotlin_it_unibo_tuprolog_solve.$_$.t3;
+  var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j;
   var cursor = kotlin_it_unibo_tuprolog_utils.$_$.x;
-  var Companion_instance_11 = kotlin_it_unibo_tuprolog_solve.$_$.v;
+  var Companion_instance_11 = kotlin_it_unibo_tuprolog_solve.$_$.w;
   var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.f3;
   var setOf = kotlin_kotlin.$_$.w4;
-  var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.f1;
-  var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.z1;
-  var Companion_instance_12 = kotlin_it_unibo_tuprolog_solve.$_$.u;
+  var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.g1;
+  var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.a2;
+  var Companion_instance_12 = kotlin_it_unibo_tuprolog_solve.$_$.v;
   var contains_0 = kotlin_kotlin.$_$.r2;
   var firstOrNull = kotlin_kotlin.$_$.a9;
   var any = kotlin_kotlin.$_$.p8;
-  var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.d1;
+  var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.e1;
   var buffered = kotlin_it_unibo_tuprolog_utils.$_$.u;
   var sequenceOf = kotlin_kotlin.$_$.r9;
-  var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.z2;
+  var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.a3;
   var sequenceOf_0 = kotlin_kotlin.$_$.s9;
-  var Request = kotlin_it_unibo_tuprolog_solve.$_$.s2;
+  var Request = kotlin_it_unibo_tuprolog_solve.$_$.t2;
   var get_ONE = kotlin_kotlin.$_$.w5;
-  var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.l2;
-  var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l1;
+  var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.m2;
+  var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.m1;
   var listOf_0 = kotlin_kotlin.$_$.x3;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.b2;
-  var Companion_instance_13 = kotlin_it_unibo_tuprolog_solve.$_$.w;
-  var Companion_instance_14 = kotlin_it_unibo_tuprolog_solve.$_$.b1;
-  var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.x2;
-  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.i1;
-  var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.y2;
-  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.b2;
-  var EnsureExecutable_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k1;
-  var MagicCut_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j1;
+  var Companion_instance_13 = kotlin_it_unibo_tuprolog_solve.$_$.x;
+  var Companion_instance_14 = kotlin_it_unibo_tuprolog_solve.$_$.c1;
+  var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.y2;
+  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.j1;
+  var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.z2;
+  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.c2;
+  var EnsureExecutable_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l1;
+  var MagicCut_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.k1;
   //endregion
   //region block: pre-declaration
   initMetadataForClass(AbstractClassicSolver, 'AbstractClassicSolver', VOID, AbstractSolver);

package/2p-solve.js

@@ -940,7 +940,7 @@
   initMetadataForClass(ExtensionLibrary, 'ExtensionLibrary', VOID, AbstractLibrary);
   initMetadataForClass(LibraryImpl, 'LibraryImpl', VOID, AbstractLibrary);
   initMetadataForCompanion(Companion_38);
-  initMetadataForClass(RuntimeImpl, 'RuntimeImpl', VOID, AbstractPluggable, [Pluggable, KtMap]);
+  initMetadataForClass(RuntimeImpl, 'RuntimeImpl', VOID, AbstractPluggable, [KtMap, Pluggable]);
   initMetadataForClass(PrimitiveWrapper, 'PrimitiveWrapper', VOID, AbstractWrapper);
   initMetadataForClass(BinaryRelation, 'BinaryRelation', VOID, PrimitiveWrapper);
   initMetadataForClass(NonBacktrackable, 'NonBacktrackable', VOID, BinaryRelation);
@@ -14778,114 +14778,116 @@
   _.$_$.f = Expected_STREAM_TYPE_getInstance;
   _.$_$.g = Expected_WRITE_OPTION_getInstance;
   _.$_$.h = Limit_CHARACTER_CODE_getInstance;
-  _.$_$.i = Expected_CALLABLE_getInstance;
-  _.$_$.j = Expected_IN_CHARACTER_getInstance;
-  _.$_$.k = Expected_LIST_getInstance;
-  _.$_$.l = Expected_URL_getInstance;
-  _.$_$.m = Expected_VARIABLE_getInstance;
-  _.$_$.n = Companion_instance_16;
-  _.$_$.o = Companion_instance_17;
-  _.$_$.p = Companion_instance_18;
-  _.$_$.q = Companion_instance_19;
-  _.$_$.r = Companion_instance_22;
-  _.$_$.s = Companion_instance_27;
-  _.$_$.t = Companion_instance_26;
-  _.$_$.u = Companion_instance_31;
-  _.$_$.v = Companion_instance_32;
-  _.$_$.w = Companion_instance_33;
-  _.$_$.x = Companion_instance_38;
-  _.$_$.y = Companion_instance_39;
-  _.$_$.z = Companion_instance_40;
-  _.$_$.a1 = Companion_instance_42;
-  _.$_$.b1 = Companion_instance_25;
-  _.$_$.c1 = Companion_getInstance_46;
-  _.$_$.d1 = LastCallOptimization_getInstance;
-  _.$_$.e1 = TrackVariables_getInstance;
-  _.$_$.f1 = Unknown_getInstance;
-  _.$_$.g1 = Companion_getInstance_50;
-  _.$_$.h1 = Companion_instance_48;
-  _.$_$.i1 = Companion_getInstance_54;
-  _.$_$.j1 = MagicCut_getInstance;
-  _.$_$.k1 = EnsureExecutable_getInstance;
-  _.$_$.l1 = CommonBuiltins_getInstance;
-  _.$_$.m1 = Companion_instance_11;
-  _.$_$.n1 = Companion_getInstance_16;
-  _.$_$.o1 = Companion_getInstance_17;
-  _.$_$.p1 = createMutableSolver;
-  _.$_$.q1 = createSolver;
-  _.$_$.r1 = update;
-  _.$_$.s1 = copy;
-  _.$_$.t1 = mutableSolverOf;
-  _.$_$.u1 = rawMutableSolverOf;
-  _.$_$.v1 = mutableSolverWithDefaultBuiltinsAnd;
-  _.$_$.w1 = solverOf;
-  _.$_$.x1 = rawSolverOf;
-  _.$_$.y1 = solverWithDefaultBuiltinsAnd;
-  _.$_$.z1 = MissingPredicate_init_$Create$;
-  _.$_$.a2 = TimeOutException_init_$Create$;
-  _.$_$.b2 = RuleWrapper_init_$Init$;
-  _.$_$.c2 = AbstractInputChannel;
-  _.$_$.d2 = AbstractOutputChannel;
-  _.$_$.e2 = InputChannel;
-  _.$_$.f2 = OutputChannel;
-  _.$_$.g2 = MessageError;
-  _.$_$.h2 = LogicError;
-  _.$_$.i2 = ResolutionException;
-  _.$_$.j2 = AbstractSolver;
-  _.$_$.k2 = AbstractLibrary;
-  _.$_$.l2 = ExtensionLibrary;
-  _.$_$.m2 = NonBacktrackable;
-  _.$_$.n2 = WithoutSideEffects;
-  _.$_$.o2 = BinaryRelation;
-  _.$_$.p2 = Predicative_0;
-  _.$_$.q2 = Primitive;
-  _.$_$.r2 = NonBacktrackable_1;
-  _.$_$.s2 = Request_0;
-  _.$_$.t2 = NonBacktrackable_2;
-  _.$_$.u2 = NonBacktrackable_3;
-  _.$_$.v2 = Predicative_1;
-  _.$_$.w2 = WithoutSideEffects_3;
-  _.$_$.x2 = UnaryPredicate;
-  _.$_$.y2 = RuleWrapper;
-  _.$_$.z2 = MagicCut;
-  _.$_$.a3 = get_elapsedTime;
-  _.$_$.b3 = get_endTime;
-  _.$_$.c3 = get_remainingTime;
-  _.$_$.d3 = applyIterable;
-  _.$_$.e3 = apply;
-  _.$_$.f3 = applySequence;
-  _.$_$.g3 = get_standardError;
-  _.$_$.h3 = get_standardInput;
-  _.$_$.i3 = get_standardOutput;
-  _.$_$.j3 = get_warnings;
-  _.$_$.k3 = ExecutionContext;
-  _.$_$.l3 = loadDynamicClausesIterable;
-  _.$_$.m3 = loadDynamicClausesSequence;
-  _.$_$.n3 = loadDynamicClauses;
-  _.$_$.o3 = loadStaticClauses;
-  _.$_$.p3 = loadStaticClausesIterable;
-  _.$_$.q3 = loadStaticClausesSequence;
-  _.$_$.r3 = MutableSolver;
-  _.$_$.s3 = Signature;
-  _.$_$.t3 = Yes;
-  _.$_$.u3 = get_defaultDynamicKb;
-  _.$_$.v3 = get_defaultErrorChannel;
-  _.$_$.w3 = get_defaultFlags;
-  _.$_$.x3 = get_defaultInputChannel;
-  _.$_$.y3 = get_defaultOutputChannel;
-  _.$_$.z3 = get_defaultRuntime;
-  _.$_$.a4 = get_defaultStaticKb;
-  _.$_$.b4 = get_defaultUnificator;
-  _.$_$.c4 = get_defaultWarningsChannel;
-  _.$_$.d4 = mutableSolverWithDefaultBuiltins;
-  _.$_$.e4 = newBuilder;
-  _.$_$.f4 = solverWithDefaultBuiltins;
-  _.$_$.g4 = SolverFactory;
-  _.$_$.h4 = currentTimeInstant;
-  _.$_$.i4 = extractSignature;
-  _.$_$.j4 = getAllOperators;
-  _.$_$.k4 = getAllOperators_0;
-  _.$_$.l4 = toOperatorSet;
+  _.$_$.i = Expected_ATOM_getInstance;
+  _.$_$.j = Expected_CALLABLE_getInstance;
+  _.$_$.k = Expected_IN_CHARACTER_getInstance;
+  _.$_$.l = Expected_LIST_getInstance;
+  _.$_$.m = Expected_URL_getInstance;
+  _.$_$.n = Expected_VARIABLE_getInstance;
+  _.$_$.o = Companion_instance_16;
+  _.$_$.p = Companion_instance_17;
+  _.$_$.q = Companion_instance_18;
+  _.$_$.r = Companion_instance_19;
+  _.$_$.s = Companion_instance_22;
+  _.$_$.t = Companion_instance_27;
+  _.$_$.u = Companion_instance_26;
+  _.$_$.v = Companion_instance_31;
+  _.$_$.w = Companion_instance_32;
+  _.$_$.x = Companion_instance_33;
+  _.$_$.y = Companion_instance_38;
+  _.$_$.z = Companion_instance_39;
+  _.$_$.a1 = Companion_instance_40;
+  _.$_$.b1 = Companion_instance_42;
+  _.$_$.c1 = Companion_instance_25;
+  _.$_$.d1 = Companion_getInstance_46;
+  _.$_$.e1 = LastCallOptimization_getInstance;
+  _.$_$.f1 = TrackVariables_getInstance;
+  _.$_$.g1 = Unknown_getInstance;
+  _.$_$.h1 = Companion_getInstance_50;
+  _.$_$.i1 = Companion_instance_48;
+  _.$_$.j1 = Companion_getInstance_54;
+  _.$_$.k1 = MagicCut_getInstance;
+  _.$_$.l1 = EnsureExecutable_getInstance;
+  _.$_$.m1 = CommonBuiltins_getInstance;
+  _.$_$.n1 = Companion_instance_11;
+  _.$_$.o1 = Companion_getInstance_16;
+  _.$_$.p1 = Companion_getInstance_17;
+  _.$_$.q1 = createMutableSolver;
+  _.$_$.r1 = createSolver;
+  _.$_$.s1 = update;
+  _.$_$.t1 = copy;
+  _.$_$.u1 = mutableSolverOf;
+  _.$_$.v1 = rawMutableSolverOf;
+  _.$_$.w1 = mutableSolverWithDefaultBuiltinsAnd;
+  _.$_$.x1 = solverOf;
+  _.$_$.y1 = rawSolverOf;
+  _.$_$.z1 = solverWithDefaultBuiltinsAnd;
+  _.$_$.a2 = MissingPredicate_init_$Create$;
+  _.$_$.b2 = TimeOutException_init_$Create$;
+  _.$_$.c2 = RuleWrapper_init_$Init$;
+  _.$_$.d2 = AbstractInputChannel;
+  _.$_$.e2 = AbstractOutputChannel;
+  _.$_$.f2 = InputChannel;
+  _.$_$.g2 = OutputChannel;
+  _.$_$.h2 = MessageError;
+  _.$_$.i2 = LogicError;
+  _.$_$.j2 = ResolutionException;
+  _.$_$.k2 = AbstractSolver;
+  _.$_$.l2 = AbstractLibrary;
+  _.$_$.m2 = ExtensionLibrary;
+  _.$_$.n2 = NonBacktrackable;
+  _.$_$.o2 = WithoutSideEffects;
+  _.$_$.p2 = BinaryRelation;
+  _.$_$.q2 = Predicative_0;
+  _.$_$.r2 = Primitive;
+  _.$_$.s2 = NonBacktrackable_1;
+  _.$_$.t2 = Request_0;
+  _.$_$.u2 = NonBacktrackable_2;
+  _.$_$.v2 = NonBacktrackable_3;
+  _.$_$.w2 = Predicative_1;
+  _.$_$.x2 = WithoutSideEffects_3;
+  _.$_$.y2 = UnaryPredicate;
+  _.$_$.z2 = RuleWrapper;
+  _.$_$.a3 = MagicCut;
+  _.$_$.b3 = get_elapsedTime;
+  _.$_$.c3 = get_endTime;
+  _.$_$.d3 = get_remainingTime;
+  _.$_$.e3 = applyIterable;
+  _.$_$.f3 = apply;
+  _.$_$.g3 = applySequence;
+  _.$_$.h3 = get_standardError;
+  _.$_$.i3 = get_standardInput;
+  _.$_$.j3 = get_standardOutput;
+  _.$_$.k3 = get_warnings;
+  _.$_$.l3 = ExecutionContext;
+  _.$_$.m3 = loadDynamicClausesIterable;
+  _.$_$.n3 = loadDynamicClausesSequence;
+  _.$_$.o3 = loadDynamicClauses;
+  _.$_$.p3 = loadStaticClauses;
+  _.$_$.q3 = loadStaticClausesIterable;
+  _.$_$.r3 = loadStaticClausesSequence;
+  _.$_$.s3 = MutableSolver;
+  _.$_$.t3 = Signature;
+  _.$_$.u3 = Halt;
+  _.$_$.v3 = Yes;
+  _.$_$.w3 = get_defaultDynamicKb;
+  _.$_$.x3 = get_defaultErrorChannel;
+  _.$_$.y3 = get_defaultFlags;
+  _.$_$.z3 = get_defaultInputChannel;
+  _.$_$.a4 = get_defaultOutputChannel;
+  _.$_$.b4 = get_defaultRuntime;
+  _.$_$.c4 = get_defaultStaticKb;
+  _.$_$.d4 = get_defaultUnificator;
+  _.$_$.e4 = get_defaultWarningsChannel;
+  _.$_$.f4 = mutableSolverWithDefaultBuiltins;
+  _.$_$.g4 = newBuilder;
+  _.$_$.h4 = solverWithDefaultBuiltins;
+  _.$_$.i4 = SolverFactory;
+  _.$_$.j4 = currentTimeInstant;
+  _.$_$.k4 = extractSignature;
+  _.$_$.l4 = getAllOperators;
+  _.$_$.m4 = getAllOperators_0;
+  _.$_$.n4 = toOperatorSet;
   //endregion
   return _;
 }));