@tuprolog/2p-full 2.0.9 → 3.0.1

package/2p-solve-problog.js

@@ -1,8 +1,8 @@
 (function (factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-solve.js', './2p-solve-plp.js', './2p-solve-classic.js', './2p-bdd.js', './2p-theory.js', './2p-utils.js', './2p-unify.js'], factory);
+    define(['exports', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-solve.js', './2p-solve-plp.js', './2p-solve-prolog.js', './2p-bdd.js', './2p-theory.js', './2p-utils.js', './2p-unify.js'], factory);
   else if (typeof exports === 'object')
-    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-solve.js'), require('./2p-solve-plp.js'), require('./2p-solve-classic.js'), require('./2p-bdd.js'), require('./2p-theory.js'), require('./2p-utils.js'), require('./2p-unify.js'));
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-solve.js'), require('./2p-solve-plp.js'), require('./2p-solve-prolog.js'), require('./2p-bdd.js'), require('./2p-theory.js'), require('./2p-utils.js'), require('./2p-unify.js'));
   else {
     if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
       throw new Error("Error loading module '2p-solve-problog'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-solve-problog'.");
@@ -16,8 +16,8 @@
     if (typeof globalThis['2p-solve-plp'] === 'undefined') {
       throw new Error("Error loading module '2p-solve-problog'. Its dependency '2p-solve-plp' was not found. Please, check whether '2p-solve-plp' is loaded prior to '2p-solve-problog'.");
     }
-    if (typeof globalThis['2p-solve-classic'] === 'undefined') {
-      throw new Error("Error loading module '2p-solve-problog'. Its dependency '2p-solve-classic' was not found. Please, check whether '2p-solve-classic' is loaded prior to '2p-solve-problog'.");
+    if (typeof globalThis['2p-solve-prolog'] === 'undefined') {
+      throw new Error("Error loading module '2p-solve-problog'. Its dependency '2p-solve-prolog' was not found. Please, check whether '2p-solve-prolog' is loaded prior to '2p-solve-problog'.");
     }
     if (typeof globalThis['2p-bdd'] === 'undefined') {
       throw new Error("Error loading module '2p-solve-problog'. Its dependency '2p-bdd' was not found. Please, check whether '2p-bdd' is loaded prior to '2p-solve-problog'.");
@@ -31,24 +31,24 @@
     if (typeof globalThis['2p-unify'] === 'undefined') {
       throw new Error("Error loading module '2p-solve-problog'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-solve-problog'.");
     }
-    globalThis['2p-solve-problog'] = factory(typeof globalThis['2p-solve-problog'] === 'undefined' ? {} : globalThis['2p-solve-problog'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-core'], globalThis['2p-solve'], globalThis['2p-solve-plp'], globalThis['2p-solve-classic'], globalThis['2p-bdd'], globalThis['2p-theory'], globalThis['2p-utils'], globalThis['2p-unify']);
+    globalThis['2p-solve-problog'] = factory(typeof globalThis['2p-solve-problog'] === 'undefined' ? {} : globalThis['2p-solve-problog'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-core'], globalThis['2p-solve'], globalThis['2p-solve-plp'], globalThis['2p-solve-prolog'], globalThis['2p-bdd'], globalThis['2p-theory'], globalThis['2p-utils'], globalThis['2p-unify']);
   }
-}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_solve_plp, kotlin_it_unibo_tuprolog_solve_classic, kotlin_it_unibo_tuprolog_bdd, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_utils, kotlin_it_unibo_tuprolog_unify) {
+}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_solve_plp, kotlin_it_unibo_tuprolog_solve_prolog, kotlin_it_unibo_tuprolog_bdd, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_utils, kotlin_it_unibo_tuprolog_unify) {
   'use strict';
   //region block: imports
   var imul = Math.imul;
-  var protoOf = kotlin_kotlin.$_$.r8;
-  var first = kotlin_kotlin.$_$.o3;
+  var protoOf = kotlin_kotlin.$_$.s8;
+  var first = kotlin_kotlin.$_$.p3;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.p;
-  var THROW_CCE = kotlin_kotlin.$_$.ge;
-  var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.f4;
-  var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.g4;
-  var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.h4;
-  var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.e4;
-  var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.c4;
-  var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.d4;
-  var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.i4;
-  var initMetadataForClass = kotlin_kotlin.$_$.a8;
+  var THROW_CCE = kotlin_kotlin.$_$.fe;
+  var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.h4;
+  var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.i4;
+  var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.j4;
+  var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.g4;
+  var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.e4;
+  var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.f4;
+  var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.k4;
+  var initMetadataForClass = kotlin_kotlin.$_$.b8;
   var VOID = kotlin_kotlin.$_$.b;
   var Specifier_XFY_getInstance = kotlin_it_unibo_tuprolog_core.$_$.c;
   var Operator = kotlin_it_unibo_tuprolog_core.$_$.n1;
@@ -57,93 +57,93 @@
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.c1;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.b1;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.x;
-  var map = kotlin_kotlin.$_$.ua;
-  var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.q1;
-  var Halt = kotlin_it_unibo_tuprolog_solve.$_$.k4;
-  var isInterface = kotlin_kotlin.$_$.j8;
-  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.m4;
+  var map = kotlin_kotlin.$_$.ta;
+  var Companion_instance_1 = kotlin_it_unibo_tuprolog_solve.$_$.s1;
+  var Halt = kotlin_it_unibo_tuprolog_solve.$_$.m4;
+  var isInterface = kotlin_kotlin.$_$.k8;
+  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.o4;
   var Unit_instance = kotlin_kotlin.$_$.r;
   var setProbability = kotlin_it_unibo_tuprolog_solve_plp.$_$.d;
   var Numeric = kotlin_it_unibo_tuprolog_core.$_$.w1;
   var setBinaryDecisionDiagram = kotlin_it_unibo_tuprolog_solve_plp.$_$.b;
   var get_isProbabilistic = kotlin_it_unibo_tuprolog_solve_plp.$_$.a;
-  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_solve.$_$.s1;
-  var toList = kotlin_kotlin.$_$.jb;
+  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_solve.$_$.u1;
+  var toList = kotlin_kotlin.$_$.hb;
   var first_0 = kotlin_kotlin.$_$.ia;
-  var copy = kotlin_it_unibo_tuprolog_solve.$_$.x1;
-  var Solver = kotlin_it_unibo_tuprolog_solve.$_$.j5;
-  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
-  var invoke = kotlin_it_unibo_tuprolog_solve.$_$.t2;
+  var copy = kotlin_it_unibo_tuprolog_solve.$_$.z1;
+  var Solver = kotlin_it_unibo_tuprolog_solve.$_$.c5;
+  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j1;
+  var invoke = kotlin_it_unibo_tuprolog_solve.$_$.u2;
   var KtMap = kotlin_kotlin.$_$.f2;
-  var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.y4;
-  var ClassicSolverFactory_instance = kotlin_it_unibo_tuprolog_solve_classic.$_$.c;
-  var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.c2;
-  var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.b2;
-  var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.y1;
-  var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.z1;
-  var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.g5;
-  var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.b5;
-  var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.d5;
-  var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.c5;
-  var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.w4;
-  var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.z4;
-  var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.a5;
-  var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.x4;
-  var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.e5;
-  var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.h5;
-  var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.d2;
-  var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.f5;
-  var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.a2;
-  var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.i5;
-  var initMetadataForObject = kotlin_kotlin.$_$.f8;
-  var defineProp = kotlin_kotlin.$_$.r7;
-  var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.w2;
-  var DefaultBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve_classic.$_$.b;
-  var EnsureExecutable_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n1;
-  var listOf = kotlin_kotlin.$_$.f4;
-  var Call_getInstance = kotlin_it_unibo_tuprolog_solve_classic.$_$.a;
-  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_solve.$_$.j1;
-  var listOf_0 = kotlin_kotlin.$_$.g4;
+  var get_defaultFlags = kotlin_it_unibo_tuprolog_solve.$_$.r4;
+  var PrologSolverFactory_instance = kotlin_it_unibo_tuprolog_solve_prolog.$_$.c;
+  var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.e2;
+  var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.d2;
+  var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.a2;
+  var rawMutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.b2;
+  var newBuilder = kotlin_it_unibo_tuprolog_solve.$_$.z4;
+  var get_defaultRuntime = kotlin_it_unibo_tuprolog_solve.$_$.u4;
+  var get_defaultUnificator = kotlin_it_unibo_tuprolog_solve.$_$.w4;
+  var get_defaultStaticKb = kotlin_it_unibo_tuprolog_solve.$_$.v4;
+  var get_defaultDynamicKb = kotlin_it_unibo_tuprolog_solve.$_$.p4;
+  var get_defaultInputChannel = kotlin_it_unibo_tuprolog_solve.$_$.s4;
+  var get_defaultOutputChannel = kotlin_it_unibo_tuprolog_solve.$_$.t4;
+  var get_defaultErrorChannel = kotlin_it_unibo_tuprolog_solve.$_$.q4;
+  var get_defaultWarningsChannel = kotlin_it_unibo_tuprolog_solve.$_$.x4;
+  var solverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.a5;
+  var solverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.f2;
+  var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.y4;
+  var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.c2;
+  var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.b5;
+  var initMetadataForObject = kotlin_kotlin.$_$.g8;
+  var defineProp = kotlin_kotlin.$_$.s7;
+  var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.x2;
+  var DefaultBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve_prolog.$_$.b;
+  var EnsureExecutable_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.p1;
+  var listOf = kotlin_kotlin.$_$.g4;
+  var Call_getInstance = kotlin_it_unibo_tuprolog_solve_prolog.$_$.a;
+  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_solve.$_$.l1;
+  var listOf_0 = kotlin_kotlin.$_$.h4;
   var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
   var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.f1;
-  var captureStack = kotlin_kotlin.$_$.i7;
-  var emptyList = kotlin_kotlin.$_$.j3;
+  var captureStack = kotlin_kotlin.$_$.j7;
+  var emptyList = kotlin_kotlin.$_$.k3;
   var asIterable = kotlin_kotlin.$_$.l2;
-  var asIterable_0 = kotlin_kotlin.$_$.w9;
+  var asIterable_0 = kotlin_kotlin.$_$.x9;
   var ArrayList_init_$Create$ = kotlin_kotlin.$_$.t;
   var Companion_instance_2 = kotlin_it_unibo_tuprolog_core.$_$.w;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.b8;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
   var bddTerminalOf = kotlin_it_unibo_tuprolog_bdd.$_$.d;
   var bddOf = kotlin_it_unibo_tuprolog_bdd.$_$.c;
-  var initMetadataForInterface = kotlin_kotlin.$_$.d8;
+  var initMetadataForInterface = kotlin_kotlin.$_$.e8;
   var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_core.$_$.m;
   var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_core.$_$.y;
   var Term = kotlin_it_unibo_tuprolog_core.$_$.y2;
   var Atom = kotlin_it_unibo_tuprolog_core.$_$.o1;
-  var KProperty1 = kotlin_kotlin.$_$.s9;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.x7;
+  var KProperty1 = kotlin_kotlin.$_$.t9;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.y7;
   var Collection = kotlin_kotlin.$_$.b2;
-  var constructCallableReference = kotlin_kotlin.$_$.q7;
-  var getBigIntHashCode = kotlin_kotlin.$_$.u7;
-  var getNumberHashCode = kotlin_kotlin.$_$.w7;
-  var hashCode = kotlin_kotlin.$_$.z7;
-  var emptySet = kotlin_kotlin.$_$.l3;
+  var constructCallableReference = kotlin_kotlin.$_$.r7;
+  var getBigIntHashCode = kotlin_kotlin.$_$.v7;
+  var getNumberHashCode = kotlin_kotlin.$_$.x7;
+  var hashCode = kotlin_kotlin.$_$.a8;
+  var emptySet = kotlin_kotlin.$_$.m3;
   var Companion_getInstance_6 = kotlin_it_unibo_tuprolog_core.$_$.t;
   var lazy = kotlin_kotlin.$_$.pe;
   var collectionSizeOrDefault = kotlin_kotlin.$_$.w2;
-  var toSet = kotlin_kotlin.$_$.a6;
+  var toSet = kotlin_kotlin.$_$.b6;
   var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.u;
   var compareTo = kotlin_it_unibo_tuprolog_core.$_$.b2;
-  var compareTo_0 = kotlin_kotlin.$_$.p7;
-  var equals = kotlin_kotlin.$_$.s7;
-  var round = kotlin_kotlin.$_$.z8;
+  var compareTo_0 = kotlin_kotlin.$_$.q7;
+  var equals = kotlin_kotlin.$_$.t7;
+  var round = kotlin_kotlin.$_$.a9;
   var MutableTheory = kotlin_it_unibo_tuprolog_theory.$_$.c;
   var Theory = kotlin_it_unibo_tuprolog_theory.$_$.f;
   var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
   var TuPrologException_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.h1;
   var Rule = kotlin_it_unibo_tuprolog_core.$_$.y1;
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_core.$_$.v;
-  var toList_0 = kotlin_kotlin.$_$.r5;
+  var toList_0 = kotlin_kotlin.$_$.t5;
   var UnsupportedOperationException_init_$Create$ = kotlin_kotlin.$_$.z1;
   var notThenExpansion = kotlin_it_unibo_tuprolog_bdd.$_$.g;
   var expansion = kotlin_it_unibo_tuprolog_bdd.$_$.e;
@@ -151,21 +151,21 @@
   var andThenExpansion = kotlin_it_unibo_tuprolog_bdd.$_$.a;
   var orThenExpansion = kotlin_it_unibo_tuprolog_bdd.$_$.h;
   var map_0 = kotlin_it_unibo_tuprolog_bdd.$_$.f;
-  var get_ONE = kotlin_kotlin.$_$.p6;
-  var add = kotlin_kotlin.$_$.q6;
+  var get_ONE = kotlin_kotlin.$_$.q6;
+  var add = kotlin_kotlin.$_$.r6;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.s1;
   var Companion_instance_4 = kotlin_it_unibo_tuprolog_core.$_$.q;
-  var plus = kotlin_kotlin.$_$.a5;
+  var plus = kotlin_kotlin.$_$.b5;
   var setTag = kotlin_it_unibo_tuprolog_utils.$_$.l1;
   var Regex_init_$Create$ = kotlin_kotlin.$_$.z;
-  var toDoubleOrNull = kotlin_kotlin.$_$.gd;
-  var toSet_0 = kotlin_kotlin.$_$.lb;
-  var plus_0 = kotlin_kotlin.$_$.x4;
+  var toDoubleOrNull = kotlin_kotlin.$_$.fd;
+  var toSet_0 = kotlin_kotlin.$_$.jb;
+  var plus_0 = kotlin_kotlin.$_$.y4;
   var checkIndexOverflow = kotlin_kotlin.$_$.v2;
-  var Pair = kotlin_kotlin.$_$.ee;
+  var Pair = kotlin_kotlin.$_$.de;
   var Fact = kotlin_it_unibo_tuprolog_core.$_$.s1;
-  var subtract = kotlin_kotlin.$_$.l5;
-  var setOf = kotlin_kotlin.$_$.f5;
+  var subtract = kotlin_kotlin.$_$.n5;
+  var setOf = kotlin_kotlin.$_$.g5;
   var Directive = kotlin_it_unibo_tuprolog_core.$_$.r1;
   var Indicator = kotlin_it_unibo_tuprolog_core.$_$.t1;
   var Companion_instance_5 = kotlin_it_unibo_tuprolog_core.$_$.o;
@@ -177,34 +177,34 @@
   var Companion_instance_7 = kotlin_it_unibo_tuprolog_theory.$_$.b;
   var Failure = kotlin_it_unibo_tuprolog_theory.$_$.d;
   var Success = kotlin_it_unibo_tuprolog_theory.$_$.e;
-  var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.h3;
-  var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_solve.$_$.l1;
+  var NonBacktrackable = kotlin_it_unibo_tuprolog_solve.$_$.j3;
+  var Companion_getInstance_9 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
   var Var = kotlin_it_unibo_tuprolog_core.$_$.b3;
-  var ResolutionException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.g2;
-  var CoroutineImpl = kotlin_kotlin.$_$.i6;
-  var SequenceScope = kotlin_kotlin.$_$.t9;
-  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.h6;
-  var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.l5;
-  var ensureNotNull = kotlin_kotlin.$_$.me;
+  var ResolutionException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.i2;
+  var CoroutineImpl = kotlin_kotlin.$_$.j6;
+  var SequenceScope = kotlin_kotlin.$_$.u9;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.i6;
+  var extractSignature = kotlin_it_unibo_tuprolog_solve.$_$.e5;
+  var ensureNotNull = kotlin_kotlin.$_$.le;
   var Clause = kotlin_it_unibo_tuprolog_core.$_$.p1;
   var copyToArray = kotlin_kotlin.$_$.g3;
-  var initMetadataForLambda = kotlin_kotlin.$_$.e8;
-  var WithoutSideEffects = kotlin_it_unibo_tuprolog_solve.$_$.j3;
-  var sequence = kotlin_kotlin.$_$.db;
-  var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.y2;
+  var initMetadataForLambda = kotlin_kotlin.$_$.f8;
+  var WithoutSideEffects = kotlin_it_unibo_tuprolog_solve.$_$.l3;
+  var sequence = kotlin_kotlin.$_$.bb;
+  var NonBacktrackable_0 = kotlin_it_unibo_tuprolog_solve.$_$.b3;
   var setProbabilistic = kotlin_it_unibo_tuprolog_solve_plp.$_$.c;
   var firstOrNull = kotlin_kotlin.$_$.ha;
-  var WithoutSideEffects_0 = kotlin_it_unibo_tuprolog_solve.$_$.e3;
-  var NonBacktrackable_1 = kotlin_it_unibo_tuprolog_solve.$_$.m3;
-  var SetFlags_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.k2;
-  var WithoutSideEffects_1 = kotlin_it_unibo_tuprolog_solve.$_$.z2;
+  var WithoutSideEffects_0 = kotlin_it_unibo_tuprolog_solve.$_$.g3;
+  var NonBacktrackable_1 = kotlin_it_unibo_tuprolog_solve.$_$.o3;
+  var SetFlags_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.l2;
+  var WithoutSideEffects_1 = kotlin_it_unibo_tuprolog_solve.$_$.c3;
   var asSequence = kotlin_kotlin.$_$.r2;
   var filter = kotlin_kotlin.$_$.ga;
-  var Sequence = kotlin_kotlin.$_$.u9;
+  var Sequence = kotlin_kotlin.$_$.v9;
   var LinkedHashMap_init_$Create$ = kotlin_kotlin.$_$.w;
-  var sequenceOf = kotlin_kotlin.$_$.cb;
-  var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.p3;
-  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.j2;
+  var sequenceOf = kotlin_kotlin.$_$.ab;
+  var RuleWrapper = kotlin_it_unibo_tuprolog_solve.$_$.r3;
+  var RuleWrapper_init_$Init$ = kotlin_it_unibo_tuprolog_solve.$_$.k2;
   //endregion
   //region block: pre-declaration
   initMetadataForClass(ProblogSolver, 'ProblogSolver', VOID, VOID, [Solver]);
@@ -267,17 +267,17 @@
     ProblogSolver.call(this, solver);
     this.solver_2 = solver;
   }
-  protoOf(MutableProblogSolver).loadLibrary_orxs0q_k$ = function (library) {
+  protoOf(MutableProblogSolver).loadLibrary_q1n5nu_k$ = function (library) {
     this.solver_2.loadLibrary(library);
   };
   protoOf(MutableProblogSolver).loadLibrary = function (library) {
-    return this.loadLibrary_orxs0q_k$(library);
+    return this.loadLibrary_q1n5nu_k$(library);
   };
-  protoOf(MutableProblogSolver).unloadLibrary_5p9mvn_k$ = function (library) {
+  protoOf(MutableProblogSolver).unloadLibrary_v0n1oj_k$ = function (library) {
     this.solver_2.unloadLibrary(library);
   };
   protoOf(MutableProblogSolver).unloadLibrary = function (library) {
-    return this.unloadLibrary_5p9mvn_k$(library);
+    return this.unloadLibrary_v0n1oj_k$(library);
   };
   protoOf(MutableProblogSolver).setLibraries_6nxae9_k$ = function (libraries) {
     this.solver_2.setLibraries(libraries);
@@ -381,11 +381,11 @@
   protoOf(MutableProblogSolver).setFlagPair = function (flag) {
     return this.setFlagPair_5b01qk_k$(flag);
   };
-  protoOf(MutableProblogSolver).setFlagNotable_j8i9ir_k$ = function (flag) {
+  protoOf(MutableProblogSolver).setFlagNotable_13nuxs_k$ = function (flag) {
     this.solver_2.setFlagNotable(flag);
   };
   protoOf(MutableProblogSolver).setFlagNotable = function (flag) {
-    return this.setFlagNotable_j8i9ir_k$(flag);
+    return this.setFlagNotable_13nuxs_k$(flag);
   };
   protoOf(MutableProblogSolver).setStandardInput_4u5ra6_k$ = function (stdIn) {
     this.solver_2.setStandardInput(stdIn);
@@ -676,25 +676,25 @@
     return ensureVariablesTracking(this, get_defaultFlags.call(this));
   };
   protoOf(ProblogSolverFactory).solverOf_7gm3c2_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
-    return new ProblogSolver(ClassicSolverFactory_instance.solverOf_7gm3c2_k$(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), inputs, outputs));
+    return new ProblogSolver(PrologSolverFactory_instance.solverOf_7gm3c2_k$(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), inputs, outputs));
   };
   protoOf(ProblogSolverFactory).rawSolverOf = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, $super) {
     return this.rawSolverOf(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, ($super == null ? true : $super instanceof ProblogSolverFactory) ? $super : THROW_CCE());
   };
   protoOf(ProblogSolverFactory).solverOf_dn642x_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new ProblogSolver(ClassicSolverFactory_instance.solverOf_dn642x_k$(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), stdIn, stdOut, stdErr, warnings));
+    return new ProblogSolver(PrologSolverFactory_instance.solverOf_dn642x_k$(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), stdIn, stdOut, stdErr, warnings));
   };
   protoOf(ProblogSolverFactory).solverOf = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
     return this.solverOf(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof ProblogSolverFactory) ? $super : THROW_CCE());
   };
   protoOf(ProblogSolverFactory).mutableSolverOf_wmp0rz_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return new MutableProblogSolver(ClassicSolverFactory_instance.mutableSolverOf_wmp0rz_k$(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), stdIn, stdOut, stdErr, warnings));
+    return new MutableProblogSolver(PrologSolverFactory_instance.mutableSolverOf_wmp0rz_k$(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), stdIn, stdOut, stdErr, warnings));
   };
   protoOf(ProblogSolverFactory).mutableSolverOf = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
     return this.mutableSolverOf(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof ProblogSolverFactory) ? $super : THROW_CCE());
   };
   protoOf(ProblogSolverFactory).mutableSolverOf_16557c_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
-    return new MutableProblogSolver(ClassicSolverFactory_instance.mutableSolverOf_16557c_k$(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), inputs, outputs));
+    return new MutableProblogSolver(PrologSolverFactory_instance.mutableSolverOf_16557c_k$(unificator, fixLibraries(this, libraries), ensureVariablesTracking(this, flags), Companion_instance_10.ofIterable(unificator, staticKb), Companion_instance_10.ofIterable(unificator, dynamicKb), inputs, outputs));
   };
   protoOf(ProblogSolverFactory).rawMutableSolverOf = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, $super) {
     return this.rawMutableSolverOf(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs, ($super == null ? true : $super instanceof ProblogSolverFactory) ? $super : THROW_CCE());
@@ -1207,7 +1207,7 @@
   function ProbTerm$_get_isGround_$ref_ue0rck() {
     return constructCallableReference(function (p0) {
       return p0.get_isGround_twq4nu_k$();
-    }, 1, 0, 98);
+    }, 1, 0, 92);
   }
   function ProbTerm$cachedHashCode$delegate$lambda(this$0) {
     return function () {
@@ -1221,7 +1221,7 @@
   function ProbTerm$_get_cachedHashCode_$ref_1qdqtc() {
     return constructCallableReference(function (p0) {
       return _get_cachedHashCode__d7x0zy(p0);
-    }, 1, 0, 99);
+    }, 1, 0, 93);
   }
   function ProbTerm(id, probability, term, extraVariables) {
     extraVariables = extraVariables === VOID ? emptySet() : extraVariables;
@@ -1796,7 +1796,7 @@
   function BinaryDecisionDiagramExplanation$_get_cachedNot_$ref_q3r5qq() {
     return constructCallableReference(function (p0) {
       return _get_cachedNot__l38068(p0);
-    }, 1, 0, 100);
+    }, 1, 0, 94);
   }
   function BinaryDecisionDiagramExplanation$and$lambda(this$0) {
     return function (node, low, high) {
@@ -1826,7 +1826,7 @@
   function BinaryDecisionDiagramExplanation$_get_probability_$ref_gzzr62() {
     return constructCallableReference(function (p0) {
       return p0.get_probability_7g5yr8_k$();
-    }, 1, 0, 101);
+    }, 1, 0, 95);
   }
   function BinaryDecisionDiagramExplanation$containsAnyNotGroundTerm$delegate$lambda$lambda(it) {
     return !it.get_isGround_twq4nu_k$();
@@ -1839,7 +1839,7 @@
   function BinaryDecisionDiagramExplanation$_get_containsAnyNotGroundTerm_$ref_82xwv2() {
     return constructCallableReference(function (p0) {
       return p0.get_containsNonGroundTerm_exngzs_k$();
-    }, 1, 0, 102);
+    }, 1, 0, 96);
   }
   function BinaryDecisionDiagramExplanation$apply$lambda($transformation) {
     return function (it) {