@tuprolog/arg2p-core 0.16.5 → 0.16.7

package/{2p-solve-classic.js → 2p-solve-prolog.js}

@@ -5,24 +5,24 @@
     factory(module.exports, require('./2p-unify.js'), require('./kotlin-kotlin-stdlib.js'), require('./2p-solve.js'), require('./2p-theory.js'), require('./2p-utils.js'), require('./2p-core.js'));
   else {
     if (typeof globalThis['2p-unify'] === 'undefined') {
-      throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-solve-classic'.");
+      throw new Error("Error loading module '2p-solve-prolog'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-solve-prolog'.");
     }
     if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
-      throw new Error("Error loading module '2p-solve-classic'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-solve-classic'.");
+      throw new Error("Error loading module '2p-solve-prolog'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-solve-prolog'.");
     }
     if (typeof globalThis['2p-solve'] === 'undefined') {
-      throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to '2p-solve-classic'.");
+      throw new Error("Error loading module '2p-solve-prolog'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to '2p-solve-prolog'.");
     }
     if (typeof globalThis['2p-theory'] === 'undefined') {
-      throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to '2p-solve-classic'.");
+      throw new Error("Error loading module '2p-solve-prolog'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to '2p-solve-prolog'.");
     }
     if (typeof globalThis['2p-utils'] === 'undefined') {
-      throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-utils' was not found. Please, check whether '2p-utils' is loaded prior to '2p-solve-classic'.");
+      throw new Error("Error loading module '2p-solve-prolog'. Its dependency '2p-utils' was not found. Please, check whether '2p-utils' is loaded prior to '2p-solve-prolog'.");
     }
     if (typeof globalThis['2p-core'] === 'undefined') {
-      throw new Error("Error loading module '2p-solve-classic'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-solve-classic'.");
+      throw new Error("Error loading module '2p-solve-prolog'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-solve-prolog'.");
     }
-    globalThis['2p-solve-classic'] = factory(typeof globalThis['2p-solve-classic'] === 'undefined' ? {} : globalThis['2p-solve-classic'], globalThis['2p-unify'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-solve'], globalThis['2p-theory'], globalThis['2p-utils'], globalThis['2p-core']);
+    globalThis['2p-solve-prolog'] = factory(typeof globalThis['2p-solve-prolog'] === 'undefined' ? {} : globalThis['2p-solve-prolog'], globalThis['2p-unify'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-solve'], globalThis['2p-theory'], globalThis['2p-utils'], globalThis['2p-core']);
   }
 }(function (_, kotlin_it_unibo_tuprolog_unify, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_utils, kotlin_it_unibo_tuprolog_core) {
   'use strict';
@@ -38,56 +38,67 @@
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.d;
   var Companion_instance_4 = kotlin_it_unibo_tuprolog_solve.$_$.c;
   var Companion_instance_5 = kotlin_it_unibo_tuprolog_solve.$_$.e;
-  var toString = kotlin_kotlin.$_$.m6;
+  var toString = kotlin_kotlin.$_$.r6;
   var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.c1;
   var Unit_instance = kotlin_kotlin.$_$.n;
-  var constructCallableReference = kotlin_kotlin.$_$.o5;
+  var constructCallableReference = kotlin_kotlin.$_$.t5;
   var AbstractSolver = kotlin_it_unibo_tuprolog_solve.$_$.l1;
-  var protoOf = kotlin_kotlin.$_$.j6;
-  var THROW_CCE = kotlin_kotlin.$_$.ca;
-  var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.n4;
+  var protoOf = kotlin_kotlin.$_$.o6;
+  var THROW_CCE = kotlin_kotlin.$_$.ka;
+  var throwUninitializedPropertyAccessException = kotlin_kotlin.$_$.s4;
   var getAllOperators = kotlin_it_unibo_tuprolog_solve.$_$.z2;
   var toOperatorSet = kotlin_it_unibo_tuprolog_solve.$_$.b3;
   var currentTimeInstant = kotlin_it_unibo_tuprolog_solve.$_$.x2;
-  var asSequence = kotlin_kotlin.$_$.f7;
-  var initMetadataForClass = kotlin_kotlin.$_$.w5;
-  var ensureNotNull = kotlin_kotlin.$_$.ga;
-  var fromInt = kotlin_kotlin.$_$.v4;
-  var add = kotlin_kotlin.$_$.q4;
-  var hashCode = kotlin_kotlin.$_$.v5;
-  var equals = kotlin_kotlin.$_$.q5;
-  var CoroutineImpl = kotlin_kotlin.$_$.m4;
-  var SequenceScope = kotlin_kotlin.$_$.b7;
-  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.l4;
-  var initMetadataForLambda = kotlin_kotlin.$_$.z5;
-  var sequence = kotlin_kotlin.$_$.f8;
-  var toString_0 = kotlin_kotlin.$_$.ma;
+  var asSequence = kotlin_kotlin.$_$.k7;
+  var initMetadataForClass = kotlin_kotlin.$_$.b6;
+  var ensureNotNull = kotlin_kotlin.$_$.oa;
+  var fromInt = kotlin_kotlin.$_$.a5;
+  var add = kotlin_kotlin.$_$.v4;
+  var hashCode = kotlin_kotlin.$_$.a6;
+  var equals = kotlin_kotlin.$_$.v5;
+  var CoroutineImpl = kotlin_kotlin.$_$.r4;
+  var SequenceScope = kotlin_kotlin.$_$.g7;
+  var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.q4;
+  var initMetadataForLambda = kotlin_kotlin.$_$.e6;
+  var sequence = kotlin_kotlin.$_$.k8;
+  var toString_0 = kotlin_kotlin.$_$.va;
+  var objectCreate = kotlin_kotlin.$_$.n6;
+  var listOf = kotlin_kotlin.$_$.a3;
+  var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.a3;
+  var to = kotlin_kotlin.$_$.wa;
+  var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.f2;
+  var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.g2;
+  var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.h2;
+  var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.e2;
+  var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.c2;
+  var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.d2;
+  var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.i2;
   var asSequence_0 = kotlin_kotlin.$_$.b2;
-  var emptySequence = kotlin_kotlin.$_$.k7;
-  var plus = kotlin_kotlin.$_$.c8;
-  var KProperty1 = kotlin_kotlin.$_$.a7;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.t5;
-  var flatMap = kotlin_kotlin.$_$.q7;
-  var distinct = kotlin_kotlin.$_$.i7;
+  var emptySequence = kotlin_kotlin.$_$.p7;
+  var plus = kotlin_kotlin.$_$.h8;
+  var KProperty1 = kotlin_kotlin.$_$.f7;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.y5;
+  var flatMap = kotlin_kotlin.$_$.v7;
+  var distinct = kotlin_kotlin.$_$.n7;
   var cached = kotlin_it_unibo_tuprolog_utils.$_$.r;
-  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.n;
-  var filter = kotlin_kotlin.$_$.n7;
-  var map = kotlin_kotlin.$_$.y7;
-  var toList = kotlin_kotlin.$_$.l8;
+  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.o;
+  var filter = kotlin_kotlin.$_$.s7;
+  var map = kotlin_kotlin.$_$.d8;
+  var toList = kotlin_kotlin.$_$.q8;
   var Companion_instance_6 = kotlin_it_unibo_tuprolog_solve.$_$.f;
-  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.o;
-  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.q;
+  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.p;
+  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.r;
   var Companion_instance_7 = kotlin_it_unibo_tuprolog_utils.$_$.c;
-  var emptySet = kotlin_kotlin.$_$.m2;
-  var lazy = kotlin_kotlin.$_$.ia;
-  var contains = kotlin_kotlin.$_$.g7;
+  var emptySet = kotlin_kotlin.$_$.n2;
+  var lazy = kotlin_kotlin.$_$.ra;
+  var contains = kotlin_kotlin.$_$.l7;
   var createSolver = kotlin_it_unibo_tuprolog_solve.$_$.x;
   var createMutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.w;
   var update = kotlin_it_unibo_tuprolog_solve.$_$.y;
   var apply = kotlin_it_unibo_tuprolog_solve.$_$.v1;
   var applyIterable = kotlin_it_unibo_tuprolog_solve.$_$.u1;
   var applySequence = kotlin_it_unibo_tuprolog_solve.$_$.w1;
-  var getBigIntHashCode = kotlin_kotlin.$_$.r5;
+  var getBigIntHashCode = kotlin_kotlin.$_$.w5;
   var get_standardInput = kotlin_it_unibo_tuprolog_solve.$_$.y1;
   var get_standardOutput = kotlin_it_unibo_tuprolog_solve.$_$.z1;
   var get_standardError = kotlin_it_unibo_tuprolog_solve.$_$.x1;
@@ -96,7 +107,6 @@
   var get_remainingTime = kotlin_it_unibo_tuprolog_solve.$_$.t1;
   var get_elapsedTime = kotlin_it_unibo_tuprolog_solve.$_$.r1;
   var ExecutionContext = kotlin_it_unibo_tuprolog_solve.$_$.b2;
-  var objectCreate = kotlin_kotlin.$_$.i6;
   var rawSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.d1;
   var solverOf = kotlin_it_unibo_tuprolog_solve.$_$.c1;
   var mutableSolverOf = kotlin_it_unibo_tuprolog_solve.$_$.z;
@@ -116,38 +126,28 @@
   var mutableSolverWithDefaultBuiltins = kotlin_it_unibo_tuprolog_solve.$_$.t2;
   var mutableSolverWithDefaultBuiltinsAnd = kotlin_it_unibo_tuprolog_solve.$_$.b1;
   var SolverFactory = kotlin_it_unibo_tuprolog_solve.$_$.w2;
-  var initMetadataForObject = kotlin_kotlin.$_$.a6;
-  var defineProp = kotlin_kotlin.$_$.p5;
-  var listOf = kotlin_kotlin.$_$.z2;
-  var getAllOperators_0 = kotlin_it_unibo_tuprolog_solve.$_$.a3;
-  var to = kotlin_kotlin.$_$.na;
-  var loadStaticClauses = kotlin_it_unibo_tuprolog_solve.$_$.f2;
-  var loadStaticClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.g2;
-  var loadStaticClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.h2;
-  var loadDynamicClauses = kotlin_it_unibo_tuprolog_solve.$_$.e2;
-  var loadDynamicClausesIterable = kotlin_it_unibo_tuprolog_solve.$_$.c2;
-  var loadDynamicClausesSequence = kotlin_it_unibo_tuprolog_solve.$_$.d2;
-  var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.i2;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.x5;
+  var initMetadataForObject = kotlin_kotlin.$_$.f6;
+  var defineProp = kotlin_kotlin.$_$.u5;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.c6;
   var NoSuchElementException_init_$Create$ = kotlin_kotlin.$_$.i1;
-  var subtract = kotlin_kotlin.$_$.d5;
+  var subtract = kotlin_kotlin.$_$.i5;
   var TimeOutException_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.g1;
   var NoSuchElementException_init_$Create$_0 = kotlin_kotlin.$_$.j1;
-  var initMetadataForInterface = kotlin_kotlin.$_$.y5;
-  var getKClass = kotlin_kotlin.$_$.z6;
+  var initMetadataForInterface = kotlin_kotlin.$_$.d6;
+  var getKClass = kotlin_kotlin.$_$.e7;
   var ClassCastException_init_$Create$ = kotlin_kotlin.$_$.a1;
   var Companion_instance_8 = kotlin_it_unibo_tuprolog_solve.$_$.v;
   var MessageError = kotlin_it_unibo_tuprolog_solve.$_$.i1;
   var Companion_instance_9 = kotlin_it_unibo_tuprolog_solve.$_$.j;
   var plus_0 = kotlin_it_unibo_tuprolog_utils.$_$.h1;
   var LogicError = kotlin_it_unibo_tuprolog_solve.$_$.j1;
-  var toSet = kotlin_kotlin.$_$.n8;
-  var plus_1 = kotlin_kotlin.$_$.p3;
+  var toSet = kotlin_kotlin.$_$.s8;
+  var plus_1 = kotlin_kotlin.$_$.q3;
   var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.o;
-  var drop = kotlin_kotlin.$_$.j7;
-  var first = kotlin_kotlin.$_$.p7;
-  var Unifier = kotlin_it_unibo_tuprolog_core.$_$.l1;
-  var isInterface = kotlin_kotlin.$_$.d6;
+  var drop = kotlin_kotlin.$_$.o7;
+  var first = kotlin_kotlin.$_$.u7;
+  var Unifier = kotlin_it_unibo_tuprolog_core.$_$.m1;
+  var isInterface = kotlin_kotlin.$_$.i6;
   var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.f1;
   var ResolutionException = kotlin_it_unibo_tuprolog_solve.$_$.k1;
   var Companion_instance_10 = kotlin_it_unibo_tuprolog_solve.$_$.k;
@@ -156,25 +156,25 @@
   var Expected_CALLABLE_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a;
   var cursor = kotlin_it_unibo_tuprolog_utils.$_$.t;
   var Companion_instance_11 = kotlin_it_unibo_tuprolog_solve.$_$.h;
-  var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.m2;
-  var setOf = kotlin_kotlin.$_$.v3;
+  var prepareForExecutionWithUnifier = kotlin_it_unibo_tuprolog_core.$_$.n2;
+  var setOf = kotlin_kotlin.$_$.w3;
   var Unknown_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.p;
   var MissingPredicate_init_$Create$ = kotlin_it_unibo_tuprolog_solve.$_$.f1;
   var Companion_instance_12 = kotlin_it_unibo_tuprolog_solve.$_$.g;
   var contains_0 = kotlin_kotlin.$_$.e2;
-  var firstOrNull = kotlin_kotlin.$_$.o7;
-  var any = kotlin_kotlin.$_$.d7;
+  var firstOrNull = kotlin_kotlin.$_$.t7;
+  var any = kotlin_kotlin.$_$.i7;
   var LastCallOptimization_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n;
   var buffered = kotlin_it_unibo_tuprolog_utils.$_$.q;
-  var sequenceOf = kotlin_kotlin.$_$.d8;
+  var sequenceOf = kotlin_kotlin.$_$.i8;
   var MagicCut = kotlin_it_unibo_tuprolog_solve.$_$.q1;
-  var sequenceOf_0 = kotlin_kotlin.$_$.e8;
+  var sequenceOf_0 = kotlin_kotlin.$_$.j8;
   var Request = kotlin_it_unibo_tuprolog_solve.$_$.n1;
-  var get_ONE = kotlin_kotlin.$_$.p4;
+  var get_ONE = kotlin_kotlin.$_$.u4;
   var ExtensionLibrary = kotlin_it_unibo_tuprolog_solve.$_$.m1;
   var CommonBuiltins_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.u;
-  var listOf_0 = kotlin_kotlin.$_$.a3;
-  var Struct = kotlin_it_unibo_tuprolog_core.$_$.k1;
+  var listOf_0 = kotlin_kotlin.$_$.b3;
+  var Struct = kotlin_it_unibo_tuprolog_core.$_$.l1;
   var Companion_instance_13 = kotlin_it_unibo_tuprolog_solve.$_$.i;
   var Companion_instance_14 = kotlin_it_unibo_tuprolog_solve.$_$.l;
   var UnaryPredicate = kotlin_it_unibo_tuprolog_solve.$_$.o1;
@@ -185,16 +185,16 @@
   var MagicCut_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.s;
   //endregion
   //region block: pre-declaration
-  initMetadataForClass(AbstractClassicSolver, 'AbstractClassicSolver', VOID, AbstractSolver);
+  initMetadataForClass(AbstractPrologSolver, 'AbstractPrologSolver', VOID, AbstractSolver);
   initMetadataForClass(ChoicePointContext, 'ChoicePointContext');
   initMetadataForClass(Primitives, 'Primitives', VOID, ChoicePointContext);
   initMetadataForClass(Rules, 'Rules', VOID, ChoicePointContext);
   initMetadataForLambda(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn, CoroutineImpl, VOID, [1]);
-  initMetadataForLambda(ClassicExecutionContext$pathToRoot$slambda, CoroutineImpl, VOID, [1]);
-  initMetadataForClass(ClassicExecutionContext, 'ClassicExecutionContext', VOID, VOID, [ExecutionContext]);
-  initMetadataForClass(ClassicSolver, 'ClassicSolver', VOID, AbstractClassicSolver);
-  initMetadataForObject(ClassicSolverFactory, 'ClassicSolverFactory', VOID, VOID, [SolverFactory]);
-  initMetadataForClass(MutableClassicSolver, 'MutableClassicSolver', VOID, ClassicSolver, [MutableSolver]);
+  initMetadataForClass(PrologSolver, 'PrologSolver', VOID, AbstractPrologSolver);
+  initMetadataForClass(MutablePrologSolver, 'MutablePrologSolver', VOID, PrologSolver, [MutableSolver]);
+  initMetadataForLambda(PrologExecutionContext$pathToRoot$slambda, CoroutineImpl, VOID, [1]);
+  initMetadataForClass(PrologExecutionContext, 'PrologExecutionContext', VOID, VOID, [ExecutionContext]);
+  initMetadataForObject(PrologSolverFactory, 'PrologSolverFactory', VOID, VOID, [SolverFactory]);
   initMetadataForCompanion(Companion);
   function get_isEndState() {
     return false;
@@ -214,7 +214,7 @@
   }
   function clone(context, $super) {
     context = context === VOID ? this.get_context_h02k06_k$() : context;
-    return $super === VOID ? this.clone_jlfdvx_k$(context) : $super.clone_jlfdvx_k$.call(this, context);
+    return $super === VOID ? this.clone_vtwevb_k$(context) : $super.clone_vtwevb_k$.call(this, context);
   }
   initMetadataForInterface(State, 'State');
   initMetadataForClass(AbstractState, 'AbstractState', VOID, VOID, [State]);
@@ -259,7 +259,7 @@
   initMetadataForObject(Success, 'Success', VOID, NegationAsFailure);
   initMetadataForCompanion(Companion_1);
   //endregion
-  function AbstractClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
+  function AbstractPrologSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
     unificator = unificator === VOID ? Companion_getInstance().get_default_qtagd4_k$() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
@@ -270,7 +270,7 @@
     stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
     warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
     trustKb = trustKb === VOID ? false : trustKb;
-    AbstractClassicSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.fromStandard_im9cmu_k$(stdIn), Companion_instance_5.fromStandard_rfofsy_k$(stdOut, stdErr, warnings), trustKb);
+    AbstractPrologSolver.call($this, unificator, libraries, flags, staticKb, dynamicKb, Companion_instance_4.fromStandard_im9cmu_k$(stdIn), Companion_instance_5.fromStandard_rfofsy_k$(stdOut, stdErr, warnings), trustKb);
     return $this;
   }
   function updateCurrentContextAfterStateTransition($this, source, destination, index) {
@@ -280,16 +280,16 @@
       var message = 'Failed requirement.';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
-    $this.set_currentContext_mejos3_k$(destination.get_context_h02k06_k$());
+    $this.set_currentContext_izyel_k$(destination.get_context_h02k06_k$());
   }
-  function AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(p0) {
+  function AbstractPrologSolver$updateCurrentContextAfterStateTransition$ref(p0) {
     return constructCallableReference(function (p0_0, p1, p2) {
       var tmp0 = p0;
       updateCurrentContextAfterStateTransition(tmp0, p0_0, p1, p2);
       return Unit_instance;
-    }, 3, 0, 84, 'updateCurrentContextAfterStateTransition', [p0]);
+    }, 3, 0, 80, 'updateCurrentContextAfterStateTransition', [p0]);
   }
-  function AbstractClassicSolver(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb) {
+  function AbstractPrologSolver(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb) {
     unificator = unificator === VOID ? Companion_getInstance().get_default_qtagd4_k$() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
@@ -300,13 +300,13 @@
     trustKb = trustKb === VOID ? false : trustKb;
     AbstractSolver.call(this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
   }
-  protoOf(AbstractClassicSolver).set_currentContext_mejos3_k$ = function (_set____db54di) {
+  protoOf(AbstractPrologSolver).set_currentContext_izyel_k$ = function (_set____db54di) {
     this.currentContext_1 = _set____db54di;
   };
-  protoOf(AbstractClassicSolver).set_currentContext_mfj1ib_k$ = function (_set____db54di) {
-    return this.set_currentContext_mejos3_k$(_set____db54di instanceof ClassicExecutionContext ? _set____db54di : THROW_CCE());
+  protoOf(AbstractPrologSolver).set_currentContext_mfj1ib_k$ = function (_set____db54di) {
+    return this.set_currentContext_izyel_k$(_set____db54di instanceof PrologExecutionContext ? _set____db54di : THROW_CCE());
   };
-  protoOf(AbstractClassicSolver).get_currentContext_mswz5r_k$ = function () {
+  protoOf(AbstractPrologSolver).get_currentContext_mswz5r_k$ = function () {
     var tmp = this.currentContext_1;
     if (!(tmp == null))
       return tmp;
@@ -314,10 +314,10 @@
       throwUninitializedPropertyAccessException('currentContext');
     }
   };
-  protoOf(AbstractClassicSolver).initializeContext_l70zgd_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
-    return new ClassicExecutionContext(VOID, unificator, libraries, flags, trustKb ? staticKb.toImmutableTheory() : Companion_instance_0.empty(unificator), trustKb ? dynamicKb.toMutableTheory() : Companion_instance_1.empty(unificator), toOperatorSet(getAllOperators(libraries, [])), inputChannels, outputChannels, VOID, VOID, VOID, VOID, VOID, VOID, 0n);
+  protoOf(AbstractPrologSolver).initializeContext_l70zgd_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, trustKb) {
+    return new PrologExecutionContext(VOID, unificator, libraries, flags, trustKb ? staticKb.toImmutableTheory() : Companion_instance_0.empty(unificator), trustKb ? dynamicKb.toMutableTheory() : Companion_instance_1.empty(unificator), toOperatorSet(getAllOperators(libraries, [])), inputChannels, outputChannels, VOID, VOID, VOID, VOID, VOID, VOID, 0n);
   };
-  protoOf(AbstractClassicSolver).solveImpl_b3jlyn_k$ = function (goal, options) {
+  protoOf(AbstractPrologSolver).solveImpl_b3jlyn_k$ = function (goal, options) {
     var tmp0_unificator = this.get_unificator_xw6v3j_k$();
     var tmp1_libraries = this.get_libraries_lyf10w_k$();
     var tmp2_flags = this.get_flags_irfhb2_k$();
@@ -329,12 +329,12 @@
     var tmp8_customData = this.get_currentContext_mswz5r_k$().customData_1;
     var tmp9_startTime = currentTimeInstant();
     var tmp10_maxDuration = options.get_timeout_kgpqiw_k$();
-    this.set_currentContext_mejos3_k$(new ClassicExecutionContext(VOID, tmp0_unificator, tmp1_libraries, tmp2_flags, tmp3_staticKb, tmp4_dynamicKb, tmp5_operators, tmp6_inputChannels, tmp7_outputChannels, tmp8_customData, VOID, goal, VOID, VOID, VOID, tmp9_startTime, tmp10_maxDuration));
+    this.set_currentContext_izyel_k$(new PrologExecutionContext(VOID, tmp0_unificator, tmp1_libraries, tmp2_flags, tmp3_staticKb, tmp4_dynamicKb, tmp5_operators, tmp6_inputChannels, tmp7_outputChannels, tmp8_customData, VOID, goal, VOID, VOID, VOID, tmp9_startTime, tmp10_maxDuration));
     var tmp = new StateInit(this.get_currentContext_mswz5r_k$());
-    return asSequence(this.solutionIterator_c8pgry_k$(tmp, AbstractClassicSolver$updateCurrentContextAfterStateTransition$ref(this)));
+    return asSequence(this.solutionIterator_3eur09_k$(tmp, AbstractPrologSolver$updateCurrentContextAfterStateTransition$ref(this)));
   };
-  protoOf(AbstractClassicSolver).copy = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
-    return this.copy(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof AbstractClassicSolver) ? $super : THROW_CCE());
+  protoOf(AbstractPrologSolver).copy = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
+    return this.copy(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof AbstractPrologSolver) ? $super : THROW_CCE());
   };
   function Primitives(alternatives, executionContext, parent, depth) {
     ChoicePointContext.call(this, alternatives, executionContext, parent, depth);
@@ -361,7 +361,7 @@
   protoOf(Primitives).get_typeName_s1eeum_k$ = function () {
     return 'Primitives';
   };
-  protoOf(Primitives).backtrack_fhua38_k$ = function (context) {
+  protoOf(Primitives).backtrack_4ek2oe_k$ = function (context) {
     var tmp0_$this = ensureNotNull(this.executionContext_2);
     var tmp1_primitives = this.alternatives_2;
     // Inline function 'kotlin.Long.plus' call
@@ -376,19 +376,19 @@
     var tmp9_outputChannels = context.outputChannels_1;
     var tmp10_libraries = context.libraries_1;
     var tmp11_customData = context.customData_1.discardEphemeral();
-    var tempContext = tmp0_$this.copy$default_jnnbw6_k$(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, VOID, tmp1_primitives, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
-    var nextChoicePointContext = this.copy$default_57x656_k$(this.alternatives_2.get_next_wor1vg_k$(), tempContext);
-    return tempContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
+    var tempContext = tmp0_$this.copy$default_dhd9rp_k$(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, VOID, tmp1_primitives, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
+    var nextChoicePointContext = this.copy$default_dv119p_k$(this.alternatives_2.get_next_wor1vg_k$(), tempContext);
+    return tempContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
   };
-  protoOf(Primitives).copy_u85hf7_k$ = function (alternatives, executionContext, parent, depth) {
+  protoOf(Primitives).copy_t04hxo_k$ = function (alternatives, executionContext, parent, depth) {
     return new Primitives(alternatives, executionContext, parent, depth);
   };
-  protoOf(Primitives).copy$default_57x656_k$ = function (alternatives, executionContext, parent, depth, $super) {
+  protoOf(Primitives).copy$default_dv119p_k$ = function (alternatives, executionContext, parent, depth, $super) {
     alternatives = alternatives === VOID ? this.alternatives_2 : alternatives;
     executionContext = executionContext === VOID ? this.executionContext_2 : executionContext;
     parent = parent === VOID ? this.parent_2 : parent;
     depth = depth === VOID ? this.depth_2 : depth;
-    return $super === VOID ? this.copy_u85hf7_k$(alternatives, executionContext, parent, depth) : $super.copy_u85hf7_k$.call(this, alternatives, executionContext, parent, depth);
+    return $super === VOID ? this.copy_t04hxo_k$(alternatives, executionContext, parent, depth) : $super.copy_t04hxo_k$.call(this, alternatives, executionContext, parent, depth);
   };
   protoOf(Primitives).hashCode = function () {
     var result = hashCode(this.alternatives_2);
@@ -437,7 +437,7 @@
   protoOf(Rules).get_typeName_s1eeum_k$ = function () {
     return 'Rules';
   };
-  protoOf(Rules).backtrack_fhua38_k$ = function (context) {
+  protoOf(Rules).backtrack_4ek2oe_k$ = function (context) {
     var tmp0_$this = ensureNotNull(this.executionContext_2);
     var tmp1_rules = this.alternatives_2;
     // Inline function 'kotlin.Long.plus' call
@@ -452,19 +452,19 @@
     var tmp9_outputChannels = context.outputChannels_1;
     var tmp10_libraries = context.libraries_1;
     var tmp11_customData = context.customData_1.discardEphemeral();
-    var tempContext = tmp0_$this.copy$default_jnnbw6_k$(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, tmp1_rules, VOID, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
-    var nextChoicePointContext = this.copy$default_l7pxxj_k$(this.alternatives_2.get_next_wor1vg_k$(), tempContext);
-    return tempContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
+    var tempContext = tmp0_$this.copy$default_dhd9rp_k$(VOID, VOID, tmp10_libraries, tmp4_flags, tmp6_staticKb, tmp5_dynamicKb, tmp7_operators, tmp8_inputChannels, tmp9_outputChannels, tmp11_customData, VOID, VOID, VOID, tmp1_rules, VOID, tmp3_startTime, VOID, VOID, VOID, VOID, tmp2_step);
+    var nextChoicePointContext = this.copy$default_tfu8rc_k$(this.alternatives_2.get_next_wor1vg_k$(), tempContext);
+    return tempContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, nextChoicePointContext);
   };
-  protoOf(Rules).copy_q6birz_k$ = function (alternatives, executionContext, parent, depth) {
+  protoOf(Rules).copy_msakpk_k$ = function (alternatives, executionContext, parent, depth) {
     return new Rules(alternatives, executionContext, parent, depth);
   };
-  protoOf(Rules).copy$default_l7pxxj_k$ = function (alternatives, executionContext, parent, depth, $super) {
+  protoOf(Rules).copy$default_tfu8rc_k$ = function (alternatives, executionContext, parent, depth, $super) {
     alternatives = alternatives === VOID ? this.alternatives_2 : alternatives;
     executionContext = executionContext === VOID ? this.executionContext_2 : executionContext;
     parent = parent === VOID ? this.parent_2 : parent;
     depth = depth === VOID ? this.depth_2 : depth;
-    return $super === VOID ? this.copy_q6birz_k$(alternatives, executionContext, parent, depth) : $super.copy_q6birz_k$.call(this, alternatives, executionContext, parent, depth);
+    return $super === VOID ? this.copy_msakpk_k$(alternatives, executionContext, parent, depth) : $super.copy_msakpk_k$.call(this, alternatives, executionContext, parent, depth);
   };
   protoOf(Rules).hashCode = function () {
     var result = hashCode(this.alternatives_2);
@@ -492,14 +492,14 @@
     this.this$0__1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).invoke_wb3f07_k$ = function ($this$sequence, $completion) {
-    var tmp = this.create_glhm39_k$($this$sequence, $completion);
+  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).invoke_c0xb8o_k$ = function ($this$sequence, $completion) {
+    var tmp = this.create_txzjro_k$($this$sequence, $completion);
     tmp.result_1 = Unit_instance;
     tmp.exception_1 = null;
     return tmp.doResume_5yljmg_k$();
   };
   protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).invoke_qns8j1_k$ = function (p1, $completion) {
-    return this.invoke_wb3f07_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+    return this.invoke_c0xb8o_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
   protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).doResume_5yljmg_k$ = function () {
     var suspendResult = this.result_1;
@@ -545,7 +545,7 @@
       }
      while (true);
   };
-  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).create_glhm39_k$ = function ($this$sequence, completion) {
+  protoOf(ChoicePointContext$_get_pathToRoot_$slambda_q0myjn).create_txzjro_k$ = function ($this$sequence, completion) {
     var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this.this$0__1, completion);
     i.$this$sequence_1 = $this$sequence;
     return i;
@@ -553,7 +553,7 @@
   function ChoicePointContext$_get_pathToRoot_$slambda_q0myjn_0(this$0, resultContinuation) {
     var i = new ChoicePointContext$_get_pathToRoot_$slambda_q0myjn(this$0, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.invoke_wb3f07_k$($this$sequence, $completion);
+      return i.invoke_c0xb8o_k$($this$sequence, $completion);
     }, 1);
   }
   function ChoicePointContext(alternatives, executionContext, parent, depth) {
@@ -625,6 +625,304 @@
     executionContext = executionContext === VOID ? null : executionContext;
     return new Primitives(alternatives, executionContext, _this__u8e3s4, nextDepth(_this__u8e3s4));
   }
+  function MutablePrologSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $this) {
+    unificator = unificator === VOID ? Companion_getInstance().get_default_qtagd4_k$() : unificator;
+    libraries = libraries === VOID ? Companion_instance.empty() : libraries;
+    flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
+    staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
+    dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
+    inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
+    outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
+    trustKb = trustKb === VOID ? false : trustKb;
+    PrologSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $this);
+    MutablePrologSolver.call($this);
+    return $this;
+  }
+  function MutablePrologSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb) {
+    return MutablePrologSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(MutablePrologSolver)));
+  }
+  function MutablePrologSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
+    unificator = unificator === VOID ? Companion_getInstance().get_default_qtagd4_k$() : unificator;
+    libraries = libraries === VOID ? Companion_instance.empty() : libraries;
+    flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
+    staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
+    dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
+    stdIn = stdIn === VOID ? Companion_instance_2.stdIn() : stdIn;
+    stdOut = stdOut === VOID ? Companion_instance_3.stdOut() : stdOut;
+    stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
+    warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
+    trustKb = trustKb === VOID ? false : trustKb;
+    PrologSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
+    MutablePrologSolver.call($this);
+    return $this;
+  }
+  function MutablePrologSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb) {
+    return MutablePrologSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, objectCreate(protoOf(MutablePrologSolver)));
+  }
+  function MutablePrologSolver$loadLibrary$lambda($library) {
+    return function ($this$updateContext) {
+      var newRuntime = $this$updateContext.libraries_1.plusLibrary($library);
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.operators_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
+    };
+  }
+  function MutablePrologSolver$unloadLibrary$lambda($library) {
+    return function ($this$updateContext) {
+      var newRuntime = $this$updateContext.libraries_1.plusLibrary($library);
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.staticKb_1, $this$updateContext.dynamicKb_1])));
+    };
+  }
+  function MutablePrologSolver$setRuntime$lambda($libraries) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.staticKb_1, $this$updateContext.dynamicKb_1])));
+    };
+  }
+  function MutablePrologSolver$resetStaticKb$lambda($this$updateContext) {
+    return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, Companion_instance_0.empty($this$updateContext.unificator_1), VOID, toOperatorSet(getAllOperators($this$updateContext.libraries_1, [$this$updateContext.dynamicKb_1])));
+  }
+  function MutablePrologSolver$resetDynamicKb$lambda($this$updateContext) {
+    return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, Companion_instance_1.empty($this$updateContext.unificator_1), toOperatorSet(getAllOperators($this$updateContext.libraries_1, [$this$updateContext.staticKb_1])));
+  }
+  function MutablePrologSolver$assertA$lambda($clause) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, $this$updateContext.dynamicKb_1.assertA_rph7uu_k$($clause), $this$updateContext.operators_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
+    };
+  }
+  function MutablePrologSolver$assertA$lambda_0($fact) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, $this$updateContext.dynamicKb_1.assertAFact_4uxdq5_k$($fact));
+    };
+  }
+  function MutablePrologSolver$assertZ$lambda($clause) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, $this$updateContext.dynamicKb_1.assertZ_cv7m25_k$($clause), $this$updateContext.operators_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
+    };
+  }
+  function MutablePrologSolver$assertZ$lambda_0($fact) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, $this$updateContext.dynamicKb_1.assertZFact_k45js4_k$($fact));
+    };
+  }
+  function MutablePrologSolver$retract$lambda($result, $clause) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, $result.get_theory_jxxpta_k$().toMutableTheory(), $this$updateContext.operators_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
+    };
+  }
+  function MutablePrologSolver$retract$lambda_0($result) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, $result.get_theory_jxxpta_k$().toMutableTheory());
+    };
+  }
+  function MutablePrologSolver$retractAll$lambda($result) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, $result.get_theory_jxxpta_k$().toMutableTheory(), $this$updateContext.operators_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.get_theory_jxxpta_k$()))));
+    };
+  }
+  function MutablePrologSolver$retractAll$lambda_0($result) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, $result.get_theory_jxxpta_k$().toMutableTheory());
+    };
+  }
+  function MutablePrologSolver$setFlag$lambda($name, $value) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, $this$updateContext.flags_1.set($name, $value));
+    };
+  }
+  function MutablePrologSolver$setFlag$lambda_0($flag) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, $this$updateContext.flags_1.plusPair($flag));
+    };
+  }
+  function MutablePrologSolver$setFlag$lambda_1($flag) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, $this$updateContext.flags_1.plusNotable($flag));
+    };
+  }
+  function MutablePrologSolver$setStandardInput$lambda($stdIn) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.inputChannels_1.plus(to('stdin', $stdIn)));
+    };
+  }
+  function MutablePrologSolver$setStandardError$lambda($stdErr) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.outputChannels_1.plus(to('stderr', $stdErr)));
+    };
+  }
+  function MutablePrologSolver$setStandardOutput$lambda($stdOut) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.outputChannels_1.plus(to('stdout', $stdOut)));
+    };
+  }
+  function MutablePrologSolver$setWarnings$lambda($warnings) {
+    return function ($this$updateContext) {
+      return $this$updateContext.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_5.of_1naorf_k$($this$updateContext.outputChannels_1, $warnings));
+    };
+  }
+  protoOf(MutablePrologSolver).loadLibrary_q1n5nu_k$ = function (library) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$loadLibrary$lambda(library));
+  };
+  protoOf(MutablePrologSolver).loadLibrary = function (library) {
+    return this.loadLibrary_q1n5nu_k$(library);
+  };
+  protoOf(MutablePrologSolver).unloadLibrary_v0n1oj_k$ = function (library) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$unloadLibrary$lambda(library));
+  };
+  protoOf(MutablePrologSolver).unloadLibrary = function (library) {
+    return this.unloadLibrary_v0n1oj_k$(library);
+  };
+  protoOf(MutablePrologSolver).setLibraries_6nxae9_k$ = function (libraries) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$setRuntime$lambda(libraries));
+  };
+  protoOf(MutablePrologSolver).setLibraries = function (libraries) {
+    return this.setLibraries_6nxae9_k$(libraries);
+  };
+  protoOf(MutablePrologSolver).loadStaticKb_2i4jai_k$ = function (theory) {
+    this.initializeKb$default_3mydqu_k$(theory, VOID, false);
+  };
+  protoOf(MutablePrologSolver).loadStaticKb = function (theory) {
+    return this.loadStaticKb_2i4jai_k$(theory);
+  };
+  protoOf(MutablePrologSolver).appendStaticKb_uqqmam_k$ = function (theory) {
+    this.initializeKb$default_3mydqu_k$(theory);
+  };
+  protoOf(MutablePrologSolver).appendStaticKb = function (theory) {
+    return this.appendStaticKb_uqqmam_k$(theory);
+  };
+  protoOf(MutablePrologSolver).resetStaticKb_rhuuis_k$ = function () {
+    this.updateContext_rloucg_k$(MutablePrologSolver$resetStaticKb$lambda);
+  };
+  protoOf(MutablePrologSolver).resetStaticKb = function () {
+    return this.resetStaticKb_rhuuis_k$();
+  };
+  protoOf(MutablePrologSolver).loadDynamicKb_5wazkf_k$ = function (theory) {
+    this.initializeKb$default_3mydqu_k$(VOID, theory, VOID, false);
+  };
+  protoOf(MutablePrologSolver).loadDynamicKb = function (theory) {
+    return this.loadDynamicKb_5wazkf_k$(theory);
+  };
+  protoOf(MutablePrologSolver).appendDynamicKb_sxywyj_k$ = function (theory) {
+    this.initializeKb$default_3mydqu_k$(VOID, theory);
+  };
+  protoOf(MutablePrologSolver).appendDynamicKb = function (theory) {
+    return this.appendDynamicKb_sxywyj_k$(theory);
+  };
+  protoOf(MutablePrologSolver).resetDynamicKb_ja5swn_k$ = function () {
+    this.updateContext_rloucg_k$(MutablePrologSolver$resetDynamicKb$lambda);
+  };
+  protoOf(MutablePrologSolver).resetDynamicKb = function () {
+    return this.resetDynamicKb_ja5swn_k$();
+  };
+  protoOf(MutablePrologSolver).assertA_tusqwa_k$ = function (clause) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$assertA$lambda(clause));
+  };
+  protoOf(MutablePrologSolver).assertA = function (clause) {
+    return this.assertA_tusqwa_k$(clause);
+  };
+  protoOf(MutablePrologSolver).assertAFact_a3ln65_k$ = function (fact) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$assertA$lambda_0(fact));
+  };
+  protoOf(MutablePrologSolver).assertAFact = function (fact) {
+    return this.assertAFact_a3ln65_k$(fact);
+  };
+  protoOf(MutablePrologSolver).assertZ_zg84ar_k$ = function (clause) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$assertZ$lambda(clause));
+  };
+  protoOf(MutablePrologSolver).assertZ = function (clause) {
+    return this.assertZ_zg84ar_k$(clause);
+  };
+  protoOf(MutablePrologSolver).assertZFact_vgt1ys_k$ = function (fact) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$assertZ$lambda_0(fact));
+  };
+  protoOf(MutablePrologSolver).assertZFact = function (fact) {
+    return this.assertZFact_vgt1ys_k$(fact);
+  };
+  protoOf(MutablePrologSolver).retract_hfhq2o_k$ = function (clause) {
+    var result = this.get_dynamicKb_wvqg8j_k$().retract(clause);
+    this.updateContext_rloucg_k$(MutablePrologSolver$retract$lambda(result, clause));
+    return result;
+  };
+  protoOf(MutablePrologSolver).retract = function (clause) {
+    return this.retract_hfhq2o_k$(clause);
+  };
+  protoOf(MutablePrologSolver).retractByHead_iva4y4_k$ = function (fact) {
+    var result = this.get_dynamicKb_wvqg8j_k$().retractByHead(fact);
+    this.updateContext_rloucg_k$(MutablePrologSolver$retract$lambda_0(result));
+    return result;
+  };
+  protoOf(MutablePrologSolver).retractByHead = function (fact) {
+    return this.retractByHead_iva4y4_k$(fact);
+  };
+  protoOf(MutablePrologSolver).retractAll_ggzq75_k$ = function (clause) {
+    var result = this.get_dynamicKb_wvqg8j_k$().retractAll(clause);
+    this.updateContext_rloucg_k$(MutablePrologSolver$retractAll$lambda(result));
+    return result;
+  };
+  protoOf(MutablePrologSolver).retractAll = function (clause) {
+    return this.retractAll_ggzq75_k$(clause);
+  };
+  protoOf(MutablePrologSolver).retractAllBeHead_dm84sf_k$ = function (fact) {
+    var result = this.get_dynamicKb_wvqg8j_k$().retractAllByHead(fact);
+    this.updateContext_rloucg_k$(MutablePrologSolver$retractAll$lambda_0(result));
+    return result;
+  };
+  protoOf(MutablePrologSolver).retractAllBeHead = function (fact) {
+    return this.retractAllBeHead_dm84sf_k$(fact);
+  };
+  protoOf(MutablePrologSolver).setFlag_38uvxd_k$ = function (name, value) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$setFlag$lambda(name, value));
+  };
+  protoOf(MutablePrologSolver).setFlag = function (name, value) {
+    return this.setFlag_38uvxd_k$(name, value);
+  };
+  protoOf(MutablePrologSolver).setFlagPair_5b01qk_k$ = function (flag) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$setFlag$lambda_0(flag));
+  };
+  protoOf(MutablePrologSolver).setFlagPair = function (flag) {
+    return this.setFlagPair_5b01qk_k$(flag);
+  };
+  protoOf(MutablePrologSolver).setFlagNotable_13nuxs_k$ = function (flag) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$setFlag$lambda_1(flag));
+  };
+  protoOf(MutablePrologSolver).setFlagNotable = function (flag) {
+    return this.setFlagNotable_13nuxs_k$(flag);
+  };
+  protoOf(MutablePrologSolver).setStandardInput_4u5ra6_k$ = function (stdIn) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$setStandardInput$lambda(stdIn));
+  };
+  protoOf(MutablePrologSolver).setStandardInput = function (stdIn) {
+    return this.setStandardInput_4u5ra6_k$(stdIn);
+  };
+  protoOf(MutablePrologSolver).setStandardError_7qwifb_k$ = function (stdErr) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$setStandardError$lambda(stdErr));
+  };
+  protoOf(MutablePrologSolver).setStandardError = function (stdErr) {
+    return this.setStandardError_7qwifb_k$(stdErr);
+  };
+  protoOf(MutablePrologSolver).setStandardOutput_apporm_k$ = function (stdOut) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$setStandardOutput$lambda(stdOut));
+  };
+  protoOf(MutablePrologSolver).setStandardOutput = function (stdOut) {
+    return this.setStandardOutput_apporm_k$(stdOut);
+  };
+  protoOf(MutablePrologSolver).setWarnings_9w8les_k$ = function (warnings) {
+    this.updateContext_rloucg_k$(MutablePrologSolver$setWarnings$lambda(warnings));
+  };
+  protoOf(MutablePrologSolver).setWarnings = function (warnings) {
+    return this.setWarnings_9w8les_k$(warnings);
+  };
+  protoOf(MutablePrologSolver).copy_equ050_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return MutablePrologSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
+  };
+  protoOf(MutablePrologSolver).copy = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
+    return this.copy(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof MutablePrologSolver) ? $super : THROW_CCE());
+  };
+  protoOf(MutablePrologSolver).clone_1keycd_k$ = function () {
+    return this.copy();
+  };
+  protoOf(MutablePrologSolver).clone = function () {
+    return this.clone_1keycd_k$();
+  };
+  function MutablePrologSolver() {
+  }
   function _get_locallyInterestingVariables__39cqti($this) {
     var tmp = asSequence_0($this.relevantVariables_1);
     var tmp0_safe_receiver = $this.goals_1.get_current_jwi6j4_k$();
@@ -638,20 +936,20 @@
     /* dead property reference removed */
     return tmp0.get_value_j01efc_k$();
   }
-  function ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation) {
+  function PrologExecutionContext$pathToRoot$slambda(this$0, resultContinuation) {
     this.this$0__1 = this$0;
     CoroutineImpl.call(this, resultContinuation);
   }
-  protoOf(ClassicExecutionContext$pathToRoot$slambda).invoke_z2vwsc_k$ = function ($this$sequence, $completion) {
-    var tmp = this.create_6cmksg_k$($this$sequence, $completion);
+  protoOf(PrologExecutionContext$pathToRoot$slambda).invoke_97j7w6_k$ = function ($this$sequence, $completion) {
+    var tmp = this.create_n1gxfe_k$($this$sequence, $completion);
     tmp.result_1 = Unit_instance;
     tmp.exception_1 = null;
     return tmp.doResume_5yljmg_k$();
   };
-  protoOf(ClassicExecutionContext$pathToRoot$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
-    return this.invoke_z2vwsc_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
+  protoOf(PrologExecutionContext$pathToRoot$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
+    return this.invoke_97j7w6_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
   };
-  protoOf(ClassicExecutionContext$pathToRoot$slambda).doResume_5yljmg_k$ = function () {
+  protoOf(PrologExecutionContext$pathToRoot$slambda).doResume_5yljmg_k$ = function () {
     var suspendResult = this.result_1;
     $sm: do
       try {
@@ -695,18 +993,18 @@
       }
      while (true);
   };
-  protoOf(ClassicExecutionContext$pathToRoot$slambda).create_6cmksg_k$ = function ($this$sequence, completion) {
-    var i = new ClassicExecutionContext$pathToRoot$slambda(this.this$0__1, completion);
+  protoOf(PrologExecutionContext$pathToRoot$slambda).create_n1gxfe_k$ = function ($this$sequence, completion) {
+    var i = new PrologExecutionContext$pathToRoot$slambda(this.this$0__1, completion);
     i.$this$sequence_1 = $this$sequence;
     return i;
   };
-  function ClassicExecutionContext$pathToRoot$slambda_0(this$0, resultContinuation) {
-    var i = new ClassicExecutionContext$pathToRoot$slambda(this$0, resultContinuation);
+  function PrologExecutionContext$pathToRoot$slambda_0(this$0, resultContinuation) {
+    var i = new PrologExecutionContext$pathToRoot$slambda(this$0, resultContinuation);
     return constructCallableReference(function ($this$sequence, $completion) {
-      return i.invoke_z2vwsc_k$($this$sequence, $completion);
+      return i.invoke_97j7w6_k$($this$sequence, $completion);
     }, 1);
   }
-  function ClassicExecutionContext$currentGoal$delegate$lambda(this$0) {
+  function PrologExecutionContext$currentGoal$delegate$lambda(this$0) {
     return function () {
       var tmp;
       if (this$0.goals_1.get_isOver_ew3p5z_k$()) {
@@ -718,46 +1016,46 @@
       return tmp;
     };
   }
-  function ClassicExecutionContext$_get_currentGoal_$ref_ulveh3() {
+  function PrologExecutionContext$_get_currentGoal_$ref_g1xdum() {
     return constructCallableReference(function (p0) {
       return p0.get_currentGoal_ntxmf7_k$();
-    }, 1, 0, 85);
+    }, 1, 0, 81);
   }
-  function ClassicExecutionContext$interestingVariables$delegate$lambda$lambda(it) {
+  function PrologExecutionContext$interestingVariables$delegate$lambda$lambda(it) {
     return _get_locallyInterestingVariables__39cqti(it);
   }
-  function ClassicExecutionContext$interestingVariables$delegate$lambda(this$0) {
+  function PrologExecutionContext$interestingVariables$delegate$lambda(this$0) {
     return function () {
       var tmp = plus(_get_locallyInterestingVariables__39cqti(this$0), this$0.query_1.get_variables_75f0zy_k$());
-      return cached(distinct(plus(tmp, flatMap(this$0.pathToRoot_1, ClassicExecutionContext$interestingVariables$delegate$lambda$lambda))));
+      return cached(distinct(plus(tmp, flatMap(this$0.pathToRoot_1, PrologExecutionContext$interestingVariables$delegate$lambda$lambda))));
     };
   }
-  function ClassicExecutionContext$_get_interestingVariables_$ref_xwa4zu() {
+  function PrologExecutionContext$_get_interestingVariables_$ref_ycsjv3() {
     return constructCallableReference(function (p0) {
       return _get_interestingVariables__k6uw5o(p0);
-    }, 1, 0, 86);
+    }, 1, 0, 82);
   }
-  function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda(it) {
+  function PrologExecutionContext$logicStackTrace$delegate$lambda$lambda(it) {
     return it.get_isActivationRecord_gyar4q_k$();
   }
-  function ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0) {
+  function PrologExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0) {
     return function (it) {
       var tmp0_elvis_lhs = it.procedure_1;
       return tmp0_elvis_lhs == null ? Companion_getInstance_1().of('?-', [this$0.query_1]) : tmp0_elvis_lhs;
     };
   }
-  function ClassicExecutionContext$logicStackTrace$delegate$lambda(this$0) {
+  function PrologExecutionContext$logicStackTrace$delegate$lambda(this$0) {
     return function () {
-      var tmp = filter(this$0.pathToRoot_1, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda);
-      return toList(map(tmp, ClassicExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0)));
+      var tmp = filter(this$0.pathToRoot_1, PrologExecutionContext$logicStackTrace$delegate$lambda$lambda);
+      return toList(map(tmp, PrologExecutionContext$logicStackTrace$delegate$lambda$lambda_0(this$0)));
     };
   }
-  function ClassicExecutionContext$_get_logicStackTrace_$ref_p35zx2() {
+  function PrologExecutionContext$_get_logicStackTrace_$ref_jddlfz() {
     return constructCallableReference(function (p0) {
       return p0.get_logicStackTrace_2ngtyq_k$();
-    }, 1, 0, 87);
+    }, 1, 0, 83);
   }
-  function ClassicExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
+  function PrologExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
     procedure = procedure === VOID ? null : procedure;
     unificator = unificator === VOID ? Companion_getInstance().get_default_qtagd4_k$() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
@@ -820,127 +1118,127 @@
       throw IllegalArgumentException_init_$Create$(toString(message_1));
     }
     var tmp = this;
-    tmp.pathToRoot_1 = sequence(ClassicExecutionContext$pathToRoot$slambda_0(this, null));
+    tmp.pathToRoot_1 = sequence(PrologExecutionContext$pathToRoot$slambda_0(this, null));
     var tmp_0 = this;
-    tmp_0.currentGoal$delegate_1 = lazy(ClassicExecutionContext$currentGoal$delegate$lambda(this));
+    tmp_0.currentGoal$delegate_1 = lazy(PrologExecutionContext$currentGoal$delegate$lambda(this));
     var tmp_1 = this;
-    tmp_1.interestingVariables$delegate_1 = lazy(ClassicExecutionContext$interestingVariables$delegate$lambda(this));
+    tmp_1.interestingVariables$delegate_1 = lazy(PrologExecutionContext$interestingVariables$delegate$lambda(this));
     var tmp_2 = this;
-    tmp_2.logicStackTrace$delegate_1 = lazy(ClassicExecutionContext$logicStackTrace$delegate$lambda(this));
+    tmp_2.logicStackTrace$delegate_1 = lazy(PrologExecutionContext$logicStackTrace$delegate$lambda(this));
   }
-  protoOf(ClassicExecutionContext).get_procedure_9lj7py_k$ = function () {
+  protoOf(PrologExecutionContext).get_procedure_9lj7py_k$ = function () {
     return this.procedure_1;
   };
-  protoOf(ClassicExecutionContext).get_unificator_xw6v3j_k$ = function () {
+  protoOf(PrologExecutionContext).get_unificator_xw6v3j_k$ = function () {
     return this.unificator_1;
   };
-  protoOf(ClassicExecutionContext).get_libraries_lyf10w_k$ = function () {
+  protoOf(PrologExecutionContext).get_libraries_lyf10w_k$ = function () {
     return this.libraries_1;
   };
-  protoOf(ClassicExecutionContext).get_flags_irfhb2_k$ = function () {
+  protoOf(PrologExecutionContext).get_flags_irfhb2_k$ = function () {
     return this.flags_1;
   };
-  protoOf(ClassicExecutionContext).get_staticKb_a01l1u_k$ = function () {
+  protoOf(PrologExecutionContext).get_staticKb_a01l1u_k$ = function () {
     return this.staticKb_1;
   };
-  protoOf(ClassicExecutionContext).get_dynamicKb_wvqg8j_k$ = function () {
+  protoOf(PrologExecutionContext).get_dynamicKb_wvqg8j_k$ = function () {
     return this.dynamicKb_1;
   };
-  protoOf(ClassicExecutionContext).get_operators_z0nmfu_k$ = function () {
+  protoOf(PrologExecutionContext).get_operators_z0nmfu_k$ = function () {
     return this.operators_1;
   };
-  protoOf(ClassicExecutionContext).get_inputChannels_uyf05t_k$ = function () {
+  protoOf(PrologExecutionContext).get_inputChannels_uyf05t_k$ = function () {
     return this.inputChannels_1;
   };
-  protoOf(ClassicExecutionContext).get_outputChannels_ffvoca_k$ = function () {
+  protoOf(PrologExecutionContext).get_outputChannels_ffvoca_k$ = function () {
     return this.outputChannels_1;
   };
-  protoOf(ClassicExecutionContext).get_customData_oovbd0_k$ = function () {
+  protoOf(PrologExecutionContext).get_customData_oovbd0_k$ = function () {
     return this.customData_1;
   };
-  protoOf(ClassicExecutionContext).get_substitution_i7fi9y_k$ = function () {
+  protoOf(PrologExecutionContext).get_substitution_i7fi9y_k$ = function () {
     return this.substitution_1;
   };
-  protoOf(ClassicExecutionContext).get_startTime_qp7d5m_k$ = function () {
+  protoOf(PrologExecutionContext).get_startTime_qp7d5m_k$ = function () {
     return this.startTime_1;
   };
-  protoOf(ClassicExecutionContext).get_maxDuration_ek6oxb_k$ = function () {
+  protoOf(PrologExecutionContext).get_maxDuration_ek6oxb_k$ = function () {
     return this.maxDuration_1;
   };
-  protoOf(ClassicExecutionContext).get_isRoot_ew5h6d_k$ = function () {
+  protoOf(PrologExecutionContext).get_isRoot_ew5h6d_k$ = function () {
     return this.depth_1 === 0;
   };
-  protoOf(ClassicExecutionContext).get_hasOpenAlternatives_bd9sv_k$ = function () {
+  protoOf(PrologExecutionContext).get_hasOpenAlternatives_bd9sv_k$ = function () {
     var tmp0_safe_receiver = this.choicePoints_1;
     var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.get_hasOpenAlternatives_bd9sv_k$();
     return tmp1_elvis_lhs == null ? false : tmp1_elvis_lhs;
   };
-  protoOf(ClassicExecutionContext).get_isActivationRecord_gyar4q_k$ = function () {
+  protoOf(PrologExecutionContext).get_isActivationRecord_gyar4q_k$ = function () {
     return this.parent_1 == null || (this.depth_1 - this.parent_1.depth_1 | 0) >= 1;
   };
-  protoOf(ClassicExecutionContext).get_currentGoal_ntxmf7_k$ = function () {
+  protoOf(PrologExecutionContext).get_currentGoal_ntxmf7_k$ = function () {
     var tmp0 = this.currentGoal$delegate_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     /* dead property reference removed */
     return tmp0.get_value_j01efc_k$();
   };
-  protoOf(ClassicExecutionContext).isVariableInteresting_vs25g_k$ = function (variable) {
+  protoOf(PrologExecutionContext).isVariableInteresting_vs25g_k$ = function (variable) {
     return contains(_get_interestingVariables__k6uw5o(this), variable);
   };
-  protoOf(ClassicExecutionContext).get_logicStackTrace_2ngtyq_k$ = function () {
+  protoOf(PrologExecutionContext).get_logicStackTrace_2ngtyq_k$ = function () {
     var tmp0 = this.logicStackTrace$delegate_1;
     var tmp = KProperty1;
     // Inline function 'kotlin.getValue' call
     /* dead property reference removed */
     return tmp0.get_value_j01efc_k$();
   };
-  protoOf(ClassicExecutionContext).createSolver_k5yu55_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
-    return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
+  protoOf(PrologExecutionContext).createSolver_k5yu55_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
+    return PrologSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
   };
-  protoOf(ClassicExecutionContext).createSolver = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, $super) {
-    return this.createSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, ($super == null ? true : $super instanceof ClassicExecutionContext) ? $super : THROW_CCE());
+  protoOf(PrologExecutionContext).createSolver = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, $super) {
+    return this.createSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, ($super == null ? true : $super instanceof PrologExecutionContext) ? $super : THROW_CCE());
   };
-  protoOf(ClassicExecutionContext).createMutableSolver_qlofgr_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
-    return MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
+  protoOf(PrologExecutionContext).createMutableSolver_qlofgr_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels) {
+    return MutablePrologSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, true);
   };
-  protoOf(ClassicExecutionContext).createMutableSolver = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, $super) {
-    return this.createMutableSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, ($super == null ? true : $super instanceof ClassicExecutionContext) ? $super : THROW_CCE());
+  protoOf(PrologExecutionContext).createMutableSolver = function (unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, $super) {
+    return this.createMutableSolver(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, ($super == null ? true : $super instanceof PrologExecutionContext) ? $super : THROW_CCE());
   };
-  protoOf(ClassicExecutionContext).update_7gpjus_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
-    return this.copy$default_jnnbw6_k$(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
+  protoOf(PrologExecutionContext).update_7gpjus_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData) {
+    return this.copy$default_dhd9rp_k$(VOID, unificator, libraries, flags, staticKb, dynamicKb.toMutableTheory(), operators, inputChannels, outputChannels, customData);
   };
-  protoOf(ClassicExecutionContext).update = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, $super) {
-    return this.update(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, ($super == null ? true : $super instanceof ClassicExecutionContext) ? $super : THROW_CCE());
+  protoOf(PrologExecutionContext).update = function (unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, $super) {
+    return this.update(unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, ($super == null ? true : $super instanceof PrologExecutionContext) ? $super : THROW_CCE());
   };
-  protoOf(ClassicExecutionContext).apply_xpzu4e_k$ = function (sideEffect) {
+  protoOf(PrologExecutionContext).apply_xpzu4e_k$ = function (sideEffect) {
     var tmp = apply.call(this, sideEffect);
-    return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
+    return tmp instanceof PrologExecutionContext ? tmp : THROW_CCE();
   };
-  protoOf(ClassicExecutionContext).apply = function (sideEffect) {
+  protoOf(PrologExecutionContext).apply = function (sideEffect) {
     return this.apply_xpzu4e_k$(sideEffect);
   };
-  protoOf(ClassicExecutionContext).applyIterable_lkplre_k$ = function (sideEffects) {
+  protoOf(PrologExecutionContext).applyIterable_lkplre_k$ = function (sideEffects) {
     var tmp = applyIterable.call(this, sideEffects);
-    return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
+    return tmp instanceof PrologExecutionContext ? tmp : THROW_CCE();
   };
-  protoOf(ClassicExecutionContext).applyIterable = function (sideEffects) {
+  protoOf(PrologExecutionContext).applyIterable = function (sideEffects) {
     return this.applyIterable_lkplre_k$(sideEffects);
   };
-  protoOf(ClassicExecutionContext).applySequence_5ojcmh_k$ = function (sideEffects) {
+  protoOf(PrologExecutionContext).applySequence_5ojcmh_k$ = function (sideEffects) {
     var tmp = applySequence.call(this, sideEffects);
-    return tmp instanceof ClassicExecutionContext ? tmp : THROW_CCE();
+    return tmp instanceof PrologExecutionContext ? tmp : THROW_CCE();
   };
-  protoOf(ClassicExecutionContext).applySequence = function (sideEffects) {
+  protoOf(PrologExecutionContext).applySequence = function (sideEffects) {
     return this.applySequence_5ojcmh_k$(sideEffects);
   };
-  protoOf(ClassicExecutionContext).toString = function () {
-    return 'ClassicExecutionContext(' + ('step=' + this.step_1.toString() + ', ') + ('depth=' + this.depth_1 + ', ') + ('substitution=' + toString(this.substitution_1) + ', ') + ('logicStackTrace=' + toString(this.get_logicStackTrace_2ngtyq_k$()) + ', ') + ('goals=' + toString(this.goals_1) + ', ') + ('rules=' + toString(this.rules_1) + ', ') + ('primitives=' + toString(this.primitives_1) + ', ') + ('startTime=' + this.startTime_1.toString() + ', ') + ('endTime=' + this.get_endTime_pbcuqp_k$().toString() + ', ') + ('maxDuration=' + this.maxDuration_1.toString() + ', ') + ('unificator=' + toString(this.unificator_1) + ', ') + ('choicePoints=' + toString_0(this.choicePoints_1)) + ')';
+  protoOf(PrologExecutionContext).toString = function () {
+    return 'PrologExecutionContext(' + ('step=' + this.step_1.toString() + ', ') + ('depth=' + this.depth_1 + ', ') + ('substitution=' + toString(this.substitution_1) + ', ') + ('logicStackTrace=' + toString(this.get_logicStackTrace_2ngtyq_k$()) + ', ') + ('goals=' + toString(this.goals_1) + ', ') + ('rules=' + toString(this.rules_1) + ', ') + ('primitives=' + toString(this.primitives_1) + ', ') + ('startTime=' + this.startTime_1.toString() + ', ') + ('endTime=' + this.get_endTime_pbcuqp_k$().toString() + ', ') + ('maxDuration=' + this.maxDuration_1.toString() + ', ') + ('unificator=' + toString(this.unificator_1) + ', ') + ('choicePoints=' + toString_0(this.choicePoints_1)) + ')';
   };
-  protoOf(ClassicExecutionContext).copy_7howlo_k$ = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
-    return new ClassicExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
+  protoOf(PrologExecutionContext).copy_pacch5_k$ = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) {
+    return new PrologExecutionContext(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
   };
-  protoOf(ClassicExecutionContext).copy$default_jnnbw6_k$ = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $super) {
+  protoOf(PrologExecutionContext).copy$default_dhd9rp_k$ = function (procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables, $super) {
     procedure = procedure === VOID ? this.procedure_1 : procedure;
     unificator = unificator === VOID ? this.unificator_1 : unificator;
     libraries = libraries === VOID ? this.libraries_1 : libraries;
@@ -963,9 +1261,9 @@
     depth = depth === VOID ? this.depth_1 : depth;
     step = step === VOID ? this.step_1 : step;
     relevantVariables = relevantVariables === VOID ? this.relevantVariables_1 : relevantVariables;
-    return $super === VOID ? this.copy_7howlo_k$(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.copy_7howlo_k$.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
+    return $super === VOID ? this.copy_pacch5_k$(procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables) : $super.copy_pacch5_k$.call(this, procedure, unificator, libraries, flags, staticKb, dynamicKb, operators, inputChannels, outputChannels, customData, substitution, query, goals, rules, primitives, startTime, maxDuration, choicePoints, parent, depth, step, relevantVariables);
   };
-  protoOf(ClassicExecutionContext).hashCode = function () {
+  protoOf(PrologExecutionContext).hashCode = function () {
     var result = this.procedure_1 == null ? 0 : this.procedure_1.hashCode();
     result = imul(result, 31) + hashCode(this.unificator_1) | 0;
     result = imul(result, 31) + hashCode(this.libraries_1) | 0;
@@ -990,10 +1288,10 @@
     result = imul(result, 31) + hashCode(this.relevantVariables_1) | 0;
     return result;
   };
-  protoOf(ClassicExecutionContext).equals = function (other) {
+  protoOf(PrologExecutionContext).equals = function (other) {
     if (this === other)
       return true;
-    if (!(other instanceof ClassicExecutionContext))
+    if (!(other instanceof PrologExecutionContext))
       return false;
     if (!equals(this.procedure_1, other.procedure_1))
       return false;
@@ -1041,7 +1339,7 @@
       return false;
     return true;
   };
-  function ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, $this) {
+  function PrologSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, $this) {
     unificator = unificator === VOID ? Companion_getInstance().get_default_qtagd4_k$() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
@@ -1050,14 +1348,14 @@
     inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
     outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
     trustKb = trustKb === VOID ? false : trustKb;
-    AbstractClassicSolver.call($this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
-    ClassicSolver.call($this);
+    AbstractPrologSolver.call($this, unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb);
+    PrologSolver.call($this);
     return $this;
   }
-  function ClassicSolver_init_$Create$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb) {
-    return ClassicSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(ClassicSolver)));
+  function PrologSolver_init_$Create$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb) {
+    return PrologSolver_init_$Init$(unificator, libraries, flags, initialStaticKb, initialDynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(PrologSolver)));
   }
-  function ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
+  function PrologSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
     unificator = unificator === VOID ? Companion_getInstance().get_default_qtagd4_k$() : unificator;
     libraries = libraries === VOID ? Companion_instance.empty() : libraries;
     flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
@@ -1068,367 +1366,69 @@
     stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
     warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
     trustKb = trustKb === VOID ? false : trustKb;
-    AbstractClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
-    ClassicSolver.call($this);
+    AbstractPrologSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
+    PrologSolver.call($this);
     return $this;
   }
-  function ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb) {
-    return ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, objectCreate(protoOf(ClassicSolver)));
+  function PrologSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb) {
+    return PrologSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, objectCreate(protoOf(PrologSolver)));
   }
-  protoOf(ClassicSolver).solutionIterator_c8pgry_k$ = function (initialState, onStateTransition) {
-    return Companion_instance_15.of_sp56ce_k$(initialState, onStateTransition);
+  protoOf(PrologSolver).solutionIterator_3eur09_k$ = function (initialState, onStateTransition) {
+    return Companion_instance_15.of_ufxriv_k$(initialState, onStateTransition);
   };
-  protoOf(ClassicSolver).copy_equ050_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
+  protoOf(PrologSolver).copy_equ050_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return PrologSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
-  protoOf(ClassicSolver).copy = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
-    return this.copy(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof ClassicSolver) ? $super : THROW_CCE());
+  protoOf(PrologSolver).copy = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
+    return this.copy(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof PrologSolver) ? $super : THROW_CCE());
   };
-  protoOf(ClassicSolver).clone_1keycd_k$ = function () {
+  protoOf(PrologSolver).clone_1keycd_k$ = function () {
     return this.copy();
   };
-  protoOf(ClassicSolver).clone = function () {
+  protoOf(PrologSolver).clone = function () {
     return this.clone_1keycd_k$();
   };
-  function ClassicSolver() {
+  function PrologSolver() {
   }
-  function ClassicSolverFactory() {
+  function PrologSolverFactory() {
   }
-  protoOf(ClassicSolverFactory).get_defaultBuiltins_lwij14_k$ = function () {
+  protoOf(PrologSolverFactory).get_defaultBuiltins_lwij14_k$ = function () {
     return DefaultBuiltins_getInstance();
   };
-  protoOf(ClassicSolverFactory).solverOf_7gm3c2_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
-    return ClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
-  };
-  protoOf(ClassicSolverFactory).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 ClassicSolverFactory) ? $super : THROW_CCE());
-  };
-  protoOf(ClassicSolverFactory).solverOf_dn642x_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return ClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
-  };
-  protoOf(ClassicSolverFactory).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 ClassicSolverFactory) ? $super : THROW_CCE());
-  };
-  protoOf(ClassicSolverFactory).mutableSolverOf_wmp0rz_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
-  };
-  protoOf(ClassicSolverFactory).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 ClassicSolverFactory) ? $super : THROW_CCE());
-  };
-  protoOf(ClassicSolverFactory).mutableSolverOf_16557c_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
-    return MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
-  };
-  protoOf(ClassicSolverFactory).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 ClassicSolverFactory) ? $super : THROW_CCE());
-  };
-  var ClassicSolverFactory_instance;
-  function ClassicSolverFactory_getInstance() {
-    return ClassicSolverFactory_instance;
-  }
-  function MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $this) {
-    unificator = unificator === VOID ? Companion_getInstance().get_default_qtagd4_k$() : unificator;
-    libraries = libraries === VOID ? Companion_instance.empty() : libraries;
-    flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
-    staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
-    dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
-    inputChannels = inputChannels === VOID ? Companion_instance_4.fromStandard() : inputChannels;
-    outputChannels = outputChannels === VOID ? Companion_instance_5.fromStandard() : outputChannels;
-    trustKb = trustKb === VOID ? false : trustKb;
-    ClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, $this);
-    MutableClassicSolver.call($this);
-    return $this;
-  }
-  function MutableClassicSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb) {
-    return MutableClassicSolver_init_$Init$(unificator, libraries, flags, staticKb, dynamicKb, inputChannels, outputChannels, trustKb, objectCreate(protoOf(MutableClassicSolver)));
-  }
-  function MutableClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this) {
-    unificator = unificator === VOID ? Companion_getInstance().get_default_qtagd4_k$() : unificator;
-    libraries = libraries === VOID ? Companion_instance.empty() : libraries;
-    flags = flags === VOID ? Companion_getInstance_0().empty() : flags;
-    staticKb = staticKb === VOID ? Companion_instance_0.empty(unificator) : staticKb;
-    dynamicKb = dynamicKb === VOID ? Companion_instance_1.empty(unificator) : dynamicKb;
-    stdIn = stdIn === VOID ? Companion_instance_2.stdIn() : stdIn;
-    stdOut = stdOut === VOID ? Companion_instance_3.stdOut() : stdOut;
-    stdErr = stdErr === VOID ? Companion_instance_3.stdErr() : stdErr;
-    warnings = warnings === VOID ? Companion_instance_3.warning() : warnings;
-    trustKb = trustKb === VOID ? false : trustKb;
-    ClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, $this);
-    MutableClassicSolver.call($this);
-    return $this;
-  }
-  function MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb) {
-    return MutableClassicSolver_init_$Init$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, trustKb, objectCreate(protoOf(MutableClassicSolver)));
-  }
-  function MutableClassicSolver$loadLibrary$lambda($library) {
-    return function ($this$updateContext) {
-      var newRuntime = $this$updateContext.libraries_1.plusLibrary($library);
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, newRuntime, VOID, VOID, VOID, $this$updateContext.operators_1.plusOperatorSet(toOperatorSet(getAllOperators(newRuntime, []))));
-    };
-  }
-  function MutableClassicSolver$unloadLibrary$lambda($library) {
-    return function ($this$updateContext) {
-      var newRuntime = $this$updateContext.libraries_1.plusLibrary($library);
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, newRuntime, VOID, VOID, VOID, toOperatorSet(getAllOperators(newRuntime, [$this$updateContext.staticKb_1, $this$updateContext.dynamicKb_1])));
-    };
-  }
-  function MutableClassicSolver$setRuntime$lambda($libraries) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, $libraries, VOID, VOID, VOID, toOperatorSet(getAllOperators($libraries, [$this$updateContext.staticKb_1, $this$updateContext.dynamicKb_1])));
-    };
-  }
-  function MutableClassicSolver$resetStaticKb$lambda($this$updateContext) {
-    return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, Companion_instance_0.empty($this$updateContext.unificator_1), VOID, toOperatorSet(getAllOperators($this$updateContext.libraries_1, [$this$updateContext.dynamicKb_1])));
-  }
-  function MutableClassicSolver$resetDynamicKb$lambda($this$updateContext) {
-    return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, Companion_instance_1.empty($this$updateContext.unificator_1), toOperatorSet(getAllOperators($this$updateContext.libraries_1, [$this$updateContext.staticKb_1])));
-  }
-  function MutableClassicSolver$assertA$lambda($clause) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, $this$updateContext.dynamicKb_1.assertA_rph7uu_k$($clause), $this$updateContext.operators_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
-    };
-  }
-  function MutableClassicSolver$assertA$lambda_0($fact) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, $this$updateContext.dynamicKb_1.assertAFact_4uxdq5_k$($fact));
-    };
-  }
-  function MutableClassicSolver$assertZ$lambda($clause) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, $this$updateContext.dynamicKb_1.assertZ_cv7m25_k$($clause), $this$updateContext.operators_1.plusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
-    };
-  }
-  function MutableClassicSolver$assertZ$lambda_0($fact) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, $this$updateContext.dynamicKb_1.assertZFact_k45js4_k$($fact));
-    };
-  }
-  function MutableClassicSolver$retract$lambda($result, $clause) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, $result.get_theory_jxxpta_k$().toMutableTheory(), $this$updateContext.operators_1.minusOperatorSet(toOperatorSet(getAllOperators_0(listOf($clause)))));
-    };
-  }
-  function MutableClassicSolver$retract$lambda_0($result) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, $result.get_theory_jxxpta_k$().toMutableTheory());
-    };
-  }
-  function MutableClassicSolver$retractAll$lambda($result) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, $result.get_theory_jxxpta_k$().toMutableTheory(), $this$updateContext.operators_1.minusOperatorSet(toOperatorSet(getAllOperators_0($result.get_theory_jxxpta_k$()))));
-    };
-  }
-  function MutableClassicSolver$retractAll$lambda_0($result) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, $result.get_theory_jxxpta_k$().toMutableTheory());
-    };
-  }
-  function MutableClassicSolver$setFlag$lambda($name, $value) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, $this$updateContext.flags_1.set($name, $value));
-    };
-  }
-  function MutableClassicSolver$setFlag$lambda_0($flag) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, $this$updateContext.flags_1.plusPair($flag));
-    };
-  }
-  function MutableClassicSolver$setFlag$lambda_1($flag) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, $this$updateContext.flags_1.plusNotable($flag));
-    };
-  }
-  function MutableClassicSolver$setStandardInput$lambda($stdIn) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.inputChannels_1.plus(to('stdin', $stdIn)));
-    };
-  }
-  function MutableClassicSolver$setStandardError$lambda($stdErr) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.outputChannels_1.plus(to('stderr', $stdErr)));
-    };
-  }
-  function MutableClassicSolver$setStandardOutput$lambda($stdOut) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this$updateContext.outputChannels_1.plus(to('stdout', $stdOut)));
-    };
-  }
-  function MutableClassicSolver$setWarnings$lambda($warnings) {
-    return function ($this$updateContext) {
-      return $this$updateContext.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_5.of_1naorf_k$($this$updateContext.outputChannels_1, $warnings));
-    };
-  }
-  protoOf(MutableClassicSolver).loadLibrary_orxs0q_k$ = function (library) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$loadLibrary$lambda(library));
-  };
-  protoOf(MutableClassicSolver).loadLibrary = function (library) {
-    return this.loadLibrary_orxs0q_k$(library);
-  };
-  protoOf(MutableClassicSolver).unloadLibrary_5p9mvn_k$ = function (library) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$unloadLibrary$lambda(library));
-  };
-  protoOf(MutableClassicSolver).unloadLibrary = function (library) {
-    return this.unloadLibrary_5p9mvn_k$(library);
-  };
-  protoOf(MutableClassicSolver).setLibraries_6nxae9_k$ = function (libraries) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$setRuntime$lambda(libraries));
-  };
-  protoOf(MutableClassicSolver).setLibraries = function (libraries) {
-    return this.setLibraries_6nxae9_k$(libraries);
-  };
-  protoOf(MutableClassicSolver).loadStaticKb_2i4jai_k$ = function (theory) {
-    this.initializeKb$default_3mydqu_k$(theory, VOID, false);
-  };
-  protoOf(MutableClassicSolver).loadStaticKb = function (theory) {
-    return this.loadStaticKb_2i4jai_k$(theory);
-  };
-  protoOf(MutableClassicSolver).appendStaticKb_uqqmam_k$ = function (theory) {
-    this.initializeKb$default_3mydqu_k$(theory);
-  };
-  protoOf(MutableClassicSolver).appendStaticKb = function (theory) {
-    return this.appendStaticKb_uqqmam_k$(theory);
-  };
-  protoOf(MutableClassicSolver).resetStaticKb_rhuuis_k$ = function () {
-    this.updateContext_rloucg_k$(MutableClassicSolver$resetStaticKb$lambda);
-  };
-  protoOf(MutableClassicSolver).resetStaticKb = function () {
-    return this.resetStaticKb_rhuuis_k$();
-  };
-  protoOf(MutableClassicSolver).loadDynamicKb_5wazkf_k$ = function (theory) {
-    this.initializeKb$default_3mydqu_k$(VOID, theory, VOID, false);
-  };
-  protoOf(MutableClassicSolver).loadDynamicKb = function (theory) {
-    return this.loadDynamicKb_5wazkf_k$(theory);
-  };
-  protoOf(MutableClassicSolver).appendDynamicKb_sxywyj_k$ = function (theory) {
-    this.initializeKb$default_3mydqu_k$(VOID, theory);
-  };
-  protoOf(MutableClassicSolver).appendDynamicKb = function (theory) {
-    return this.appendDynamicKb_sxywyj_k$(theory);
-  };
-  protoOf(MutableClassicSolver).resetDynamicKb_ja5swn_k$ = function () {
-    this.updateContext_rloucg_k$(MutableClassicSolver$resetDynamicKb$lambda);
-  };
-  protoOf(MutableClassicSolver).resetDynamicKb = function () {
-    return this.resetDynamicKb_ja5swn_k$();
-  };
-  protoOf(MutableClassicSolver).assertA_tusqwa_k$ = function (clause) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$assertA$lambda(clause));
-  };
-  protoOf(MutableClassicSolver).assertA = function (clause) {
-    return this.assertA_tusqwa_k$(clause);
-  };
-  protoOf(MutableClassicSolver).assertAFact_a3ln65_k$ = function (fact) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$assertA$lambda_0(fact));
-  };
-  protoOf(MutableClassicSolver).assertAFact = function (fact) {
-    return this.assertAFact_a3ln65_k$(fact);
-  };
-  protoOf(MutableClassicSolver).assertZ_zg84ar_k$ = function (clause) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$assertZ$lambda(clause));
-  };
-  protoOf(MutableClassicSolver).assertZ = function (clause) {
-    return this.assertZ_zg84ar_k$(clause);
-  };
-  protoOf(MutableClassicSolver).assertZFact_vgt1ys_k$ = function (fact) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$assertZ$lambda_0(fact));
-  };
-  protoOf(MutableClassicSolver).assertZFact = function (fact) {
-    return this.assertZFact_vgt1ys_k$(fact);
+  protoOf(PrologSolverFactory).solverOf_7gm3c2_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+    return PrologSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
   };
-  protoOf(MutableClassicSolver).retract_hfhq2o_k$ = function (clause) {
-    var result = this.get_dynamicKb_wvqg8j_k$().retract(clause);
-    this.updateContext_rloucg_k$(MutableClassicSolver$retract$lambda(result, clause));
-    return result;
+  protoOf(PrologSolverFactory).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 PrologSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(MutableClassicSolver).retract = function (clause) {
-    return this.retract_hfhq2o_k$(clause);
+  protoOf(PrologSolverFactory).solverOf_dn642x_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return PrologSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
-  protoOf(MutableClassicSolver).retractByHead_iva4y4_k$ = function (fact) {
-    var result = this.get_dynamicKb_wvqg8j_k$().retractByHead(fact);
-    this.updateContext_rloucg_k$(MutableClassicSolver$retract$lambda_0(result));
-    return result;
+  protoOf(PrologSolverFactory).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 PrologSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(MutableClassicSolver).retractByHead = function (fact) {
-    return this.retractByHead_iva4y4_k$(fact);
+  protoOf(PrologSolverFactory).mutableSolverOf_wmp0rz_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return MutablePrologSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
   };
-  protoOf(MutableClassicSolver).retractAll_ggzq75_k$ = function (clause) {
-    var result = this.get_dynamicKb_wvqg8j_k$().retractAll(clause);
-    this.updateContext_rloucg_k$(MutableClassicSolver$retractAll$lambda(result));
-    return result;
+  protoOf(PrologSolverFactory).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 PrologSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(MutableClassicSolver).retractAll = function (clause) {
-    return this.retractAll_ggzq75_k$(clause);
+  protoOf(PrologSolverFactory).mutableSolverOf_16557c_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs) {
+    return MutablePrologSolver_init_$Create$(unificator, libraries, flags, staticKb, dynamicKb, inputs, outputs);
   };
-  protoOf(MutableClassicSolver).retractAllBeHead_dm84sf_k$ = function (fact) {
-    var result = this.get_dynamicKb_wvqg8j_k$().retractAllByHead(fact);
-    this.updateContext_rloucg_k$(MutableClassicSolver$retractAll$lambda_0(result));
-    return result;
+  protoOf(PrologSolverFactory).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 PrologSolverFactory) ? $super : THROW_CCE());
   };
-  protoOf(MutableClassicSolver).retractAllBeHead = function (fact) {
-    return this.retractAllBeHead_dm84sf_k$(fact);
-  };
-  protoOf(MutableClassicSolver).setFlag_v9vu25_k$ = function (name, value) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$setFlag$lambda(name, value));
-  };
-  protoOf(MutableClassicSolver).setFlag = function (name, value) {
-    return this.setFlag_v9vu25_k$(name, value);
-  };
-  protoOf(MutableClassicSolver).setFlagPair_5b01qk_k$ = function (flag) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$setFlag$lambda_0(flag));
-  };
-  protoOf(MutableClassicSolver).setFlagPair = function (flag) {
-    return this.setFlagPair_5b01qk_k$(flag);
-  };
-  protoOf(MutableClassicSolver).setFlagNotable_j8i9ir_k$ = function (flag) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$setFlag$lambda_1(flag));
-  };
-  protoOf(MutableClassicSolver).setFlagNotable = function (flag) {
-    return this.setFlagNotable_j8i9ir_k$(flag);
-  };
-  protoOf(MutableClassicSolver).setStandardInput_4u5ra6_k$ = function (stdIn) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$setStandardInput$lambda(stdIn));
-  };
-  protoOf(MutableClassicSolver).setStandardInput = function (stdIn) {
-    return this.setStandardInput_4u5ra6_k$(stdIn);
-  };
-  protoOf(MutableClassicSolver).setStandardError_7qwifb_k$ = function (stdErr) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$setStandardError$lambda(stdErr));
-  };
-  protoOf(MutableClassicSolver).setStandardError = function (stdErr) {
-    return this.setStandardError_7qwifb_k$(stdErr);
-  };
-  protoOf(MutableClassicSolver).setStandardOutput_apporm_k$ = function (stdOut) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$setStandardOutput$lambda(stdOut));
-  };
-  protoOf(MutableClassicSolver).setStandardOutput = function (stdOut) {
-    return this.setStandardOutput_apporm_k$(stdOut);
-  };
-  protoOf(MutableClassicSolver).setWarnings_9w8les_k$ = function (warnings) {
-    this.updateContext_rloucg_k$(MutableClassicSolver$setWarnings$lambda(warnings));
-  };
-  protoOf(MutableClassicSolver).setWarnings = function (warnings) {
-    return this.setWarnings_9w8les_k$(warnings);
-  };
-  protoOf(MutableClassicSolver).copy_equ050_k$ = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
-    return MutableClassicSolver_init_$Create$_0(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
-  };
-  protoOf(MutableClassicSolver).copy = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
-    return this.copy(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, ($super == null ? true : $super instanceof MutableClassicSolver) ? $super : THROW_CCE());
-  };
-  protoOf(MutableClassicSolver).clone_1keycd_k$ = function () {
-    return this.copy();
-  };
-  protoOf(MutableClassicSolver).clone = function () {
-    return this.clone_1keycd_k$();
-  };
-  function MutableClassicSolver() {
+  var PrologSolverFactory_instance;
+  function PrologSolverFactory_getInstance() {
+    return PrologSolverFactory_instance;
   }
   function SolutionIterator$Companion$of$lambda(_unused_var__etf5q3, _unused_var__etf5q3_0, _unused_var__etf5q3_1) {
     return Unit_instance;
   }
   function Companion() {
   }
-  protoOf(Companion).of_sp56ce_k$ = function (initialState, onStateTransition) {
+  protoOf(Companion).of_ufxriv_k$ = function (initialState, onStateTransition) {
     return new SimpleSolutionIterator(initialState, onStateTransition);
   };
   protoOf(Companion).of = function (initialState, onStateTransition, $super) {
@@ -1439,7 +1439,7 @@
       tmp = onStateTransition;
     }
     onStateTransition = tmp;
-    return $super === VOID ? this.of_sp56ce_k$(initialState, onStateTransition) : $super.of_sp56ce_k$.call(this, initialState, onStateTransition);
+    return $super === VOID ? this.of_ufxriv_k$(initialState, onStateTransition) : $super.of_ufxriv_k$.call(this, initialState, onStateTransition);
   };
   var Companion_instance_15;
   function Companion_getInstance_5() {
@@ -1470,7 +1470,7 @@
   function AbstractState$_get_executionTime_$ref_gwd5wm() {
     return constructCallableReference(function (p0) {
       return p0.get_executionTime_e182qk_k$();
-    }, 1, 0, 88);
+    }, 1, 0, 84);
   }
   function AbstractState(context) {
     this.context_1 = context;
@@ -1495,7 +1495,7 @@
     if (this.get_isTimeout_msxjgy_k$()) {
       var tmp0_exceededDuration = this.get_context_h02k06_k$().maxDuration_1;
       var tmp1_context = this.get_context_h02k06_k$();
-      tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.get_context_h02k06_k$().copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$()));
+      tmp = new StateHalt(TimeOutException_init_$Create$(VOID, VOID, tmp1_context, tmp0_exceededDuration), this.get_context_h02k06_k$().copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$()));
     } else {
       tmp = this.computeNext_3jypca_k$();
     }
@@ -1512,7 +1512,7 @@
     var this_0 = this.get_context_h02k06_k$().step_1;
     return add(this_0, fromInt(1));
   };
-  protoOf(AbstractState).skipThrow_rmje8r_k$ = function (_this__u8e3s4) {
+  protoOf(AbstractState).skipThrow_kuf4pt_k$ = function (_this__u8e3s4) {
     var tmp0 = _this__u8e3s4.pathToRoot_1;
     var tmp$ret$0;
     $l$block: {
@@ -1548,7 +1548,7 @@
     var tmp;
     // Inline function 'kotlin.let' call
     if (choicePoints === null || !choicePoints.get_hasOpenAlternatives_bd9sv_k$()) {
-      tmp = new StateEnd(Companion_instance_8.no(this.context_2.query_1), this.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$()));
+      tmp = new StateEnd(Companion_instance_8.no(this.context_2.query_1), this.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$()));
     } else {
       var tmp0 = ensureNotNull(choicePoints).get_pathToRoot_5yk1yt_k$();
       var tmp$ret$2;
@@ -1565,7 +1565,7 @@
         throw NoSuchElementException_init_$Create$_0('Sequence contains no element matching the predicate.');
       }
       var choicePointContext = tmp$ret$2;
-      var nextContext = choicePointContext.backtrack_fhua38_k$(this.context_2);
+      var nextContext = choicePointContext.backtrack_4ek2oe_k$(this.context_2);
       var tmp_0;
       if (nextContext.primitives_1.get_hasNext_csdx38_k$()) {
         tmp_0 = new StatePrimitiveExecution(nextContext);
@@ -1576,13 +1576,13 @@
     }
     return tmp;
   };
-  protoOf(StateBacktracking).clone_jlfdvx_k$ = function (context) {
-    return this.copy_6gi2at_k$(context);
+  protoOf(StateBacktracking).clone_vtwevb_k$ = function (context) {
+    return this.copy_12opsx_k$(context);
   };
   protoOf(StateBacktracking).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateBacktracking) ? $super : THROW_CCE());
   };
-  protoOf(StateBacktracking).copy_6gi2at_k$ = function (context) {
+  protoOf(StateBacktracking).copy_12opsx_k$ = function (context) {
     return new StateBacktracking(context);
   };
   protoOf(StateBacktracking).toString = function () {
@@ -1620,19 +1620,19 @@
       var tmp0_$this = this.context_3;
       var tmp1_step = this.nextStep_nk1ffj_k$();
       var tmp2_startTime = this.currentTime_9xyk86_k$();
-      tmp = new StateBacktracking(tmp0_$this.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
+      tmp = new StateBacktracking(tmp0_$this.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_startTime, VOID, VOID, VOID, VOID, tmp1_step));
     } else {
       tmp = protoOf(AbstractEndState).computeNext_3jypca_k$.call(this);
     }
     return tmp;
   };
-  protoOf(StateEnd).clone_jlfdvx_k$ = function (context) {
-    return this.copy_yv5kuy_k$(this.solution_2, context);
+  protoOf(StateEnd).clone_vtwevb_k$ = function (context) {
+    return this.copy_yabw68_k$(this.solution_2, context);
   };
   protoOf(StateEnd).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateEnd) ? $super : THROW_CCE());
   };
-  protoOf(StateEnd).copy_yv5kuy_k$ = function (solution, context) {
+  protoOf(StateEnd).copy_yabw68_k$ = function (solution, context) {
     return new StateEnd(solution, context);
   };
   protoOf(StateEnd).toString = function () {
@@ -1687,10 +1687,10 @@
     return tmp;
   }
   function _get_finalState__3aigq8($this) {
-    return new StateHalt(toPublicException($this, $this.exception_1), $this.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
+    return new StateHalt(toPublicException($this, $this.exception_1), $this.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
   }
   function _get_handleExceptionInParentContext__yj3v4e($this) {
-    return new StateException($this.exception_1, ensureNotNull($this.context_2.parent_1).copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
+    return new StateException($this.exception_1, ensureNotNull($this.context_2.parent_1).copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
   }
   function handleStruct($this, unificator, catchGoal, error) {
     var tmp;
@@ -1716,7 +1716,7 @@
       var tmp2_primitives = Companion_instance_7.empty();
       var tmp3_substitution = newSubstitution.castToUnifier();
       var tmp4_step = $this.nextStep_nk1ffj_k$();
-      tmp = new StateGoalSelection(tmp0_$this.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_substitution, VOID, newGoals, tmp1_rules, tmp2_primitives, VOID, VOID, VOID, VOID, VOID, tmp4_step));
+      tmp = new StateGoalSelection(tmp0_$this.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_substitution, VOID, newGoals, tmp1_rules, tmp2_primitives, VOID, VOID, VOID, VOID, VOID, tmp4_step));
     } else if ($this.context_2.get_isRoot_ew5h6d_k$()) {
       tmp = _get_finalState__3aigq8($this);
     } else {
@@ -1749,13 +1749,13 @@
     }
     return tmp;
   };
-  protoOf(StateException).clone_jlfdvx_k$ = function (context) {
-    return this.copy_iuc9lg_k$(this.exception_1, context);
+  protoOf(StateException).clone_vtwevb_k$ = function (context) {
+    return this.copy_lzz2j2_k$(this.exception_1, context);
   };
   protoOf(StateException).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateException) ? $super : THROW_CCE());
   };
-  protoOf(StateException).copy_iuc9lg_k$ = function (exception, context) {
+  protoOf(StateException).copy_lzz2j2_k$ = function (exception, context) {
     return new StateException(exception, context);
   };
   protoOf(StateException).toString = function () {
@@ -1796,7 +1796,7 @@
     if (this.context_2.goals_1.get_isOver_ew3p5z_k$()) {
       var tmp_0;
       if (this.context_2.get_isRoot_ew5h6d_k$()) {
-        tmp_0 = new StateEnd(Companion_instance_8.yes_cwt97u_k$(this.context_2.query_1, this.context_2.substitution_1), this.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$()));
+        tmp_0 = new StateEnd(Companion_instance_8.yes_cwt97u_k$(this.context_2.query_1, this.context_2.substitution_1), this.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$()));
       } else {
         // Inline function 'kotlin.let' call
         var it = ensureNotNull(this.context_2.parent_1);
@@ -1814,24 +1814,24 @@
         var tmp11_outputChannels = this.context_2.outputChannels_1;
         var tmp12_libraries = this.context_2.libraries_1;
         var tmp13_customData = this.context_2.customData_1;
-        var tmp$ret$0 = it.copy$default_jnnbw6_k$(tmp6_procedure, VOID, tmp12_libraries, tmp1_flags, tmp3_staticKb, tmp2_dynamicKb, tmp9_operators, tmp10_inputChannels, tmp11_outputChannels, tmp13_customData, tmp4_substitution, VOID, tmp5_goals, VOID, VOID, tmp8_startTime, VOID, tmp0_choicePoints, VOID, VOID, tmp7_step);
+        var tmp$ret$0 = it.copy$default_dhd9rp_k$(tmp6_procedure, VOID, tmp12_libraries, tmp1_flags, tmp3_staticKb, tmp2_dynamicKb, tmp9_operators, tmp10_inputChannels, tmp11_outputChannels, tmp13_customData, tmp4_substitution, VOID, tmp5_goals, VOID, VOID, tmp8_startTime, VOID, tmp0_choicePoints, VOID, VOID, tmp7_step);
         tmp_0 = new StateGoalSelection(tmp$ret$0);
       }
       tmp = tmp_0;
     } else if (equals(this.context_2.flags_1.get(TrackVariables_getInstance()), TrackVariables_getInstance().ON_1)) {
-      tmp = new StatePrimitiveSelection(this.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$(), plus_1(this.context_2.relevantVariables_1, toSet(ensureNotNull(this.context_2.goals_1.get_current_jwi6j4_k$()).get_variables_75f0zy_k$()))));
+      tmp = new StatePrimitiveSelection(this.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$(), plus_1(this.context_2.relevantVariables_1, toSet(ensureNotNull(this.context_2.goals_1.get_current_jwi6j4_k$()).get_variables_75f0zy_k$()))));
     } else {
-      tmp = new StatePrimitiveSelection(this.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$()));
+      tmp = new StatePrimitiveSelection(this.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$()));
     }
     return tmp;
   };
-  protoOf(StateGoalSelection).clone_jlfdvx_k$ = function (context) {
-    return this.copy_6gi2at_k$(context);
+  protoOf(StateGoalSelection).clone_vtwevb_k$ = function (context) {
+    return this.copy_12opsx_k$(context);
   };
   protoOf(StateGoalSelection).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateGoalSelection) ? $super : THROW_CCE());
   };
-  protoOf(StateGoalSelection).copy_6gi2at_k$ = function (context) {
+  protoOf(StateGoalSelection).copy_12opsx_k$ = function (context) {
     return new StateGoalSelection(context);
   };
   protoOf(StateGoalSelection).toString = function () {
@@ -1857,13 +1857,13 @@
   protoOf(StateHalt).get_context_h02k06_k$ = function () {
     return this.context_3;
   };
-  protoOf(StateHalt).clone_jlfdvx_k$ = function (context) {
-    return this.copy_iuc9lg_k$(this.exception_1, context);
+  protoOf(StateHalt).clone_vtwevb_k$ = function (context) {
+    return this.copy_lzz2j2_k$(this.exception_1, context);
   };
   protoOf(StateHalt).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateHalt) ? $super : THROW_CCE());
   };
-  protoOf(StateHalt).copy_iuc9lg_k$ = function (exception, context) {
+  protoOf(StateHalt).copy_lzz2j2_k$ = function (exception, context) {
     return new StateHalt(exception, context);
   };
   protoOf(StateHalt).toString = function () {
@@ -1903,15 +1903,15 @@
     var tmp4_substitution = Companion_getInstance_2().empty();
     var tmp5_customData = this.context_2.customData_1.preservePersistent();
     var tmp6_relevantVariables = emptySet();
-    return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp5_customData, tmp4_substitution, VOID, tmp1_goals, tmp2_rules, tmp3_primitives, VOID, VOID, null, null, 0, 1n, tmp6_relevantVariables), Companion_instance_7.empty()));
+    return new StateGoalSelection(appendRulesAndChoicePoints(tmp0_$this.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp5_customData, tmp4_substitution, VOID, tmp1_goals, tmp2_rules, tmp3_primitives, VOID, VOID, null, null, 0, 1n, tmp6_relevantVariables), Companion_instance_7.empty()));
   };
-  protoOf(StateInit).clone_jlfdvx_k$ = function (context) {
-    return this.copy_6gi2at_k$(context);
+  protoOf(StateInit).clone_vtwevb_k$ = function (context) {
+    return this.copy_12opsx_k$(context);
   };
   protoOf(StateInit).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateInit) ? $super : THROW_CCE());
   };
-  protoOf(StateInit).copy_6gi2at_k$ = function (context) {
+  protoOf(StateInit).copy_12opsx_k$ = function (context) {
     return new StateInit(context);
   };
   protoOf(StateInit).toString = function () {
@@ -1950,7 +1950,7 @@
     var tmp_1 = substitution == null ? $receiver.substitution_1 : substitution;
     var tmp7_substitution = isInterface(tmp_1, Unifier) ? tmp_1 : THROW_CCE();
     var tmp8_step = $this.nextStep_nk1ffj_k$();
-    return ctx.copy$default_jnnbw6_k$(tmp5_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp7_substitution, VOID, tmp4_goals, VOID, tmp6_primitives, VOID, VOID, VOID, VOID, VOID, tmp8_step);
+    return ctx.copy$default_dhd9rp_k$(tmp5_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp7_substitution, VOID, tmp4_goals, VOID, tmp6_primitives, VOID, VOID, VOID, VOID, VOID, tmp8_step);
   }
   function StatePrimitiveExecution$copyFromCurrentPrimitive$lambda(it) {
     return it.procedure_1;
@@ -1967,7 +1967,7 @@
   }
   function StatePrimitiveExecution$computeNext$lambda_1(this$0) {
     return function (it) {
-      return new StateException(it.get_exception_x0n6w6_k$().updateLastContext(this$0.skipThrow_rmje8r_k$(this$0.context_2)), copyFromCurrentPrimitive(this$0, this$0.context_2));
+      return new StateException(it.get_exception_x0n6w6_k$().updateLastContext(this$0.skipThrow_kuf4pt_k$(this$0.context_2)), copyFromCurrentPrimitive(this$0, this$0.context_2));
     };
   }
   function StatePrimitiveExecution$computeNext$lambda_2(it) {
@@ -2000,7 +2000,7 @@
       var tmp_4;
       if ($p instanceof ResolutionException) {
         var exception = $p;
-        tmp_4 = new StateException(exception.updateLastContext(this.skipThrow_rmje8r_k$(this.context_2)), this.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$()));
+        tmp_4 = new StateException(exception.updateLastContext(this.skipThrow_kuf4pt_k$(this.context_2)), this.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$()));
       } else {
         throw $p;
       }
@@ -2008,13 +2008,13 @@
     }
     return tmp;
   };
-  protoOf(StatePrimitiveExecution).clone_jlfdvx_k$ = function (context) {
-    return this.copy_6gi2at_k$(context);
+  protoOf(StatePrimitiveExecution).clone_vtwevb_k$ = function (context) {
+    return this.copy_12opsx_k$(context);
   };
   protoOf(StatePrimitiveExecution).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StatePrimitiveExecution) ? $super : THROW_CCE());
   };
-  protoOf(StatePrimitiveExecution).copy_6gi2at_k$ = function (context) {
+  protoOf(StatePrimitiveExecution).copy_12opsx_k$ = function (context) {
     return new StatePrimitiveExecution(context);
   };
   protoOf(StatePrimitiveExecution).toString = function () {
@@ -2033,7 +2033,7 @@
     return true;
   };
   function exceptionalState($this, exception) {
-    return new StateException(exception, $this.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
+    return new StateException(exception, $this.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
   }
   function StatePrimitiveSelection(context) {
     AbstractState.call(this, context);
@@ -2074,7 +2074,7 @@
           var tmp_3;
           if ($p instanceof ResolutionException) {
             var exception = $p;
-            tmp_3 = exceptionalState(this, exception.updateLastContext(this.skipThrow_rmje8r_k$(childContext)));
+            tmp_3 = exceptionalState(this, exception.updateLastContext(this.skipThrow_kuf4pt_k$(childContext)));
           } else {
             throw $p;
           }
@@ -2082,7 +2082,7 @@
         }
         tmp_0 = tmp_1;
       } else {
-        tmp_0 = new StateRuleSelection(this.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$()));
+        tmp_0 = new StateRuleSelection(this.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, this.nextStep_nk1ffj_k$()));
       }
       tmp = tmp_0;
     } else {
@@ -2093,13 +2093,13 @@
     }
     return tmp;
   };
-  protoOf(StatePrimitiveSelection).clone_jlfdvx_k$ = function (context) {
-    return this.copy_6gi2at_k$(context);
+  protoOf(StatePrimitiveSelection).clone_vtwevb_k$ = function (context) {
+    return this.copy_12opsx_k$(context);
   };
   protoOf(StatePrimitiveSelection).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StatePrimitiveSelection) ? $super : THROW_CCE());
   };
-  protoOf(StatePrimitiveSelection).copy_6gi2at_k$ = function (context) {
+  protoOf(StatePrimitiveSelection).copy_12opsx_k$ = function (context) {
     return new StatePrimitiveSelection(context);
   };
   protoOf(StatePrimitiveSelection).toString = function () {
@@ -2118,7 +2118,7 @@
     return true;
   };
   function _get_failureState__yid9tw($this) {
-    return new StateBacktracking($this.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_7.empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
+    return new StateBacktracking($this.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, Companion_instance_7.empty(), VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
   }
   function StateRuleExecution(context) {
     AbstractState.call(this, context);
@@ -2139,19 +2139,19 @@
       var tmp1_goals = toGoals(subGoals);
       var tmp2_rules = Companion_instance_7.empty();
       var tmp3_step = this.nextStep_nk1ffj_k$();
-      tmp = new StateGoalSelection(tmp0_$this.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
+      tmp = new StateGoalSelection(tmp0_$this.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, newSubstitution, VOID, tmp1_goals, tmp2_rules, VOID, VOID, VOID, VOID, VOID, VOID, tmp3_step));
     } else {
       tmp = _get_failureState__yid9tw(this);
     }
     return tmp;
   };
-  protoOf(StateRuleExecution).clone_jlfdvx_k$ = function (context) {
-    return this.copy_6gi2at_k$(context);
+  protoOf(StateRuleExecution).clone_vtwevb_k$ = function (context) {
+    return this.copy_12opsx_k$(context);
   };
   protoOf(StateRuleExecution).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateRuleExecution) ? $super : THROW_CCE());
   };
-  protoOf(StateRuleExecution).copy_6gi2at_k$ = function (context) {
+  protoOf(StateRuleExecution).copy_12opsx_k$ = function (context) {
     return new StateRuleExecution(context);
   };
   protoOf(StateRuleExecution).toString = function () {
@@ -2218,10 +2218,10 @@
     return Companion_instance_16;
   }
   function _get_failureState__yid9tw_0($this) {
-    return new StateBacktracking($this.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
+    return new StateBacktracking($this.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
   }
   function exceptionalState_0($this, exception) {
-    return new StateException(exception, $this.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
+    return new StateException(exception, $this.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
   }
   function missingProcedure($this, ruleSources, missing) {
     var unknown = $this.context_2.flags_1.get(Unknown_getInstance());
@@ -2264,7 +2264,7 @@
     return tmp;
   }
   function _get_ignoreState__t4wl8y($this) {
-    return new StateGoalSelection($this.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.context_2.goals_1.get_next_wor1vg_k$(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
+    return new StateGoalSelection($this.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.context_2.goals_1.get_next_wor1vg_k$(), VOID, VOID, VOID, VOID, VOID, VOID, VOID, $this.nextStep_nk1ffj_k$()));
   }
   function isCut($this, $receiver) {
     return $receiver.get_isAtom_evuq3o_k$() && $receiver.castToAtom().get_value_j01efc_k$() === '!';
@@ -2422,7 +2422,7 @@
           var cutLimit = computeCutLimit(this, $this$with, currentGoalStruct instanceof MagicCut);
           // Inline function 'kotlin.let' call
           var it = _get_ignoreState__t4wl8y(this);
-          tmp_0 = it.copy_6gi2at_k$(it.context_2.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(this, it.context_2.choicePoints_1, cutLimit)));
+          tmp_0 = it.copy_12opsx_k$(it.context_2.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, performCut(this, it.context_2.choicePoints_1, cutLimit)));
         } else {
           var tmp$ret$4;
           $l$block: {
@@ -2457,13 +2457,13 @@
     }
     return tmp;
   };
-  protoOf(StateRuleSelection).clone_jlfdvx_k$ = function (context) {
-    return this.copy_6gi2at_k$(context);
+  protoOf(StateRuleSelection).clone_vtwevb_k$ = function (context) {
+    return this.copy_12opsx_k$(context);
   };
   protoOf(StateRuleSelection).clone = function (context, $super) {
     return this.clone(context, ($super == null ? true : $super instanceof StateRuleSelection) ? $super : THROW_CCE());
   };
-  protoOf(StateRuleSelection).copy_6gi2at_k$ = function (context) {
+  protoOf(StateRuleSelection).copy_12opsx_k$ = function (context) {
     return new StateRuleSelection(context);
   };
   protoOf(StateRuleSelection).toString = function () {
@@ -2489,7 +2489,7 @@
       tmp = appendRules(_this__u8e3s4.choicePoints_1, Companion_instance_7.empty(), _this__u8e3s4);
     }
     var newChoicePointContext = tmp;
-    return _this__u8e3s4.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
+    return _this__u8e3s4.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, rules, VOID, VOID, VOID, newChoicePointContext);
   }
   function toGoals(_this__u8e3s4) {
     var tmp = unfoldGoals(_this__u8e3s4);
@@ -2515,7 +2515,7 @@
     var this_0 = _this__u8e3s4.step_1;
     var tmp3_step = add(this_0, fromInt(1));
     var tmp4_relevantVariables = emptySet();
-    return _this__u8e3s4.copy$default_jnnbw6_k$(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, _this__u8e3s4, tmp2_depth, tmp3_step, tmp4_relevantVariables);
+    return _this__u8e3s4.copy$default_dhd9rp_k$(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, _this__u8e3s4, tmp2_depth, tmp3_step, tmp4_relevantVariables);
   }
   function toRequest(_this__u8e3s4, goal, signature, startTime) {
     return new Request(signature, goal.get_argsList_cw1bs4_k$(), _this__u8e3s4, startTime);
@@ -2528,7 +2528,7 @@
       tmp = appendPrimitives(_this__u8e3s4.choicePoints_1, Companion_instance_7.empty(), _this__u8e3s4);
     }
     var newChoicePointContext = tmp;
-    return _this__u8e3s4.copy$default_jnnbw6_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
+    return _this__u8e3s4.copy$default_dhd9rp_k$(VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, primitiveExecutions, VOID, VOID, newChoicePointContext);
   }
   function replaceWithChildAppendingRulesAndChoicePoints(_this__u8e3s4, rules, inferProcedureFromGoals) {
     inferProcedureFromGoals = inferProcedureFromGoals === VOID ? true : inferProcedureFromGoals;
@@ -2552,7 +2552,7 @@
     // Inline function 'kotlin.Long.plus' call
     var this_0 = _this__u8e3s4.step_1;
     var tmp3_step = add(this_0, fromInt(1));
-    return _this__u8e3s4.copy$default_jnnbw6_k$(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_depth, tmp3_step);
+    return _this__u8e3s4.copy$default_dhd9rp_k$(tmp1_procedure, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, VOID, tmp0_goals, VOID, VOID, VOID, VOID, VOID, VOID, tmp2_depth, tmp3_step);
   }
   function toGoals$lambda(it) {
     return it.get_isVar_it73p0_k$() ? Companion_getInstance_1().of('call', [it]) : it;
@@ -2584,24 +2584,24 @@
       var tmp = this;
       var tmp_0 = this.state_1;
       this.step_1 = add(this.step_1, get_ONE());
-      tmp.state_1 = this.computeNextState_3gr1gl_k$(tmp_0, this.step_1);
+      tmp.state_1 = this.computeNextState_8cwr8s_k$(tmp_0, this.step_1);
       this.onStateTransition(previousState, this.state_1, this.step_1);
     }
      while (!this.state_1.get_isEndState_4xsqt3_k$());
-    return this.state_1.castToEndState().get_solution_74o532_k$().cleanUp();
+    return this.state_1.castToEndState().get_solution_74o532_k$();
   };
   function SimpleSolutionIterator(state, onStateTransitionCallback) {
     AbstractSolutionIterator.call(this, state);
     this.onStateTransitionCallback_1 = onStateTransitionCallback;
   }
-  protoOf(SimpleSolutionIterator).computeNextState_3gr1gl_k$ = function (state, step) {
+  protoOf(SimpleSolutionIterator).computeNextState_8cwr8s_k$ = function (state, step) {
     return state.next();
   };
-  protoOf(SimpleSolutionIterator).onStateTransition_isxvsb_k$ = function (source, destination, index) {
+  protoOf(SimpleSolutionIterator).onStateTransition_3p71d1_k$ = function (source, destination, index) {
     return this.onStateTransitionCallback_1(source, destination, index);
   };
   protoOf(SimpleSolutionIterator).onStateTransition = function (source, destination, index) {
-    return this.onStateTransition_isxvsb_k$(source, destination, index);
+    return this.onStateTransition_3p71d1_k$(source, destination, index);
   };
   function DefaultBuiltins() {
     DefaultBuiltins_instance = this;
@@ -2639,19 +2639,23 @@
       var tmp_3 = error.get(0);
       tmp = tmp_2.of(VOID, VOID, context, isInterface(tmp_3, Struct) ? tmp_3 : THROW_CCE(), error.get_arity_iosiic_k$() > 1 ? error.get(1) : null);
     } else {
-      tmp = Companion_instance_13.of$default_dvvhyl_k$(error, context);
+      tmp = Companion_instance_13.of$default_vl9w5n_k$(error, context);
     }
     return tmp;
   }
   function Throw() {
     Throw_instance = this;
     UnaryPredicate.call(this, 'throw');
+    this.help_1 = '`throw(+Ball)`\n\nRaises `Ball` as an exception: resolution unwinds to the innermost enclosing `catch/3` whose catcher unifies with `Ball`, or halts the query if none does. A ball shaped like `error(Type, Context)` (or `error(Type)`) is raised as the standard error of that `Type`, any other term as a user-defined exception carrying it. `Ball` must be instantiated, otherwise an instantiation error is raised instead.\n\n**Examples**\n\n```prolog\n?- catch(throw(my_error), E, true).\nE = my_error.\n\n?- throw(error(type_error(integer, a), my_context)).\nthrows error(type_error(integer, a), _).\n\n?- throw(_).\nthrows error(instantiation_error, _).\n```';
   }
-  protoOf(Throw).computeAll_rrfng3_k$ = function (_this__u8e3s4, first) {
+  protoOf(Throw).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
+  protoOf(Throw).computeAll_ulc70n_k$ = function (_this__u8e3s4, first) {
     return sequenceOf_0(Companion_getInstance_4().ensuringAllArgumentsAreInstantiated_60kzw2_k$(_this__u8e3s4).replyException(handleError(this, _this__u8e3s4.context, _this__u8e3s4.arguments.get_c1px32_k$(0)), VOID, []));
   };
-  protoOf(Throw).computeAll_tdzmeq_k$ = function (_this__u8e3s4, first) {
-    return this.computeAll_rrfng3_k$(_this__u8e3s4, first);
+  protoOf(Throw).computeAll_1ge9ky_k$ = function (_this__u8e3s4, first) {
+    return this.computeAll_ulc70n_k$(_this__u8e3s4, first);
   };
   var Throw_instance;
   function Throw_getInstance() {
@@ -2662,7 +2666,11 @@
   function Call() {
     Call_instance = this;
     RuleWrapper_init_$Init$('call', 1, VOID, this);
+    this.help_1 = '`call(+Goal)`\n\nCalls `Goal`, which allows executing terms built or bound at runtime. `Goal` must be callable: a variable raises an instantiation error, a number or other non-callable term a type error (`callable`). `call/1` is opaque to cut: a `!` inside `Goal` only prunes the choice points created by `Goal` itself.\n\n**Examples**\n\n```prolog\n?- G = member(X, [a, b]), call(G).\nX = a ; X = b.\n\n?- findall(X, (member(X, [1, 2, 3]), call(!)), L).\nL = [1, 2, 3].\n\n?- call(1).\nthrows error(type_error(callable, 1), _).\n```';
   }
+  protoOf(Call).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
   protoOf(Call).get_head_btpmqe_k$ = function (_this__u8e3s4) {
     return listOf(_this__u8e3s4.varOf('G'));
   };
@@ -2680,7 +2688,11 @@
   function Catch() {
     Catch_instance = this;
     RuleWrapper_init_$Init$('catch', 3, VOID, this);
+    this.help_1 = '`catch(+Goal, ?Catcher, +Recovery)`\n\nCalls `Goal`, behaving exactly like `call/1` (including backtracking into `Goal`) as long as no exception is raised. If proving `Goal` raises an exception, via `throw/1` or a built-in error, whose ball unifies with `Catcher`, the bindings and choice points created by `Goal` are discarded and `Recovery` is called instead; otherwise the exception propagates to the outer `catch/3` calls.\n\n**Examples**\n\n```prolog\n?- catch(X is 1 / 0, error(E, _), true).\nE = evaluation_error(zero_divisor).\n\n?- catch(throw(oops), oops, X = recovered).\nX = recovered.\n\n?- catch(member(X, [1, 2]), _, true).\nX = 1 ; X = 2.\n\n?- catch(catch(throw(oops), other, true), E, true).\nE = oops.\n```';
   }
+  protoOf(Catch).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
   protoOf(Catch).get_head_btpmqe_k$ = function (_this__u8e3s4) {
     return listOf_0([_this__u8e3s4.varOf('G'), _this__u8e3s4.varOf('E'), _this__u8e3s4.varOf('C')]);
   };
@@ -2696,7 +2708,11 @@
   function Comma() {
     Comma_instance = this;
     RuleWrapper_init_$Init$(',', 2, VOID, this);
+    this.help_1 = '`(+First, +Second)`\n\nConjunction: proves `First` and then `Second`, backtracking into `First` for further solutions whenever `Second` fails. Conjunction is transparent to cut: a `!` occurring in either conjunct cuts the clause in which the conjunction appears.\n\n**Examples**\n\n```prolog\n?- X = 1, Y is X + 1.\nX = 1, Y = 2.\n\n?- member(X, [1, 2, 3]), X > 1.\nX = 2 ; X = 3.\n\n?- X = 1, X = 2.\nno.\n```';
   }
+  protoOf(Comma).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
   protoOf(Comma).get_head_btpmqe_k$ = function (_this__u8e3s4) {
     return listOf_0([_this__u8e3s4.varOf('A'), _this__u8e3s4.varOf('B')]);
   };
@@ -2712,7 +2728,11 @@
   function Cut() {
     Cut_instance = this;
     RuleWrapper_init_$Init$('!', 0, VOID, this);
+    this.help_1 = '`!`\n\nCut: always succeeds, committing to the choices made since the current clause was selected. The remaining alternative clauses of the predicate being proved, and the remaining alternatives of the goals at the left of `!` in the clause body, are discarded. Within `call/1`, `\\+/1`, `findall/3` and similar meta-calls, cut is local to the called goal.\n\n**Examples**\n\n```prolog\n?- assertz((first(X) :- member(X, [a, b, c]), !)), findall(X, first(X), L).\nL = [a].\n\n?- findall(X, (member(X, [a, b, c]), !), L).\nL = [a].\n\n?- findall(X, (member(X, [a, b, c]), call(!)), L).\nL = [a, b, c].\n```';
   }
+  protoOf(Cut).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
   var Cut_instance;
   function Cut_getInstance() {
     if (Cut_instance == null)
@@ -2760,45 +2780,49 @@
   }
   function NegationAsFailure() {
     RuleWrapper_init_$Init$('\\+', 1, VOID, this);
+    this.help_1 = '`\\+ +Goal`\n\nNegation as failure: succeeds if `Goal` has no solution, and fails as soon as `Goal` has one. It never binds the variables of `Goal`, and is equivalent to `not/1`. `Goal` must be callable, otherwise an instantiation or type error is raised.\n\n**Examples**\n\n```prolog\n?- \\+ member(d, [a, b, c]).\nyes.\n\n?- \\+ X = 1.\nno.\n\n?- \\+ (X = 1, X = 2), var(X).\nyes.\n\n?- \\+ 3.\nthrows error(type_error(callable, 3), _).\n```';
   }
+  protoOf(NegationAsFailure).get_help_won7nu_k$ = function () {
+    return this.help_1;
+  };
   protoOf(NegationAsFailure).get_head_btpmqe_k$ = function (_this__u8e3s4) {
     return listOf(_this__u8e3s4.varOf('X'));
   };
   //region block: post-declaration
-  protoOf(ClassicExecutionContext).createSolver = createSolver;
-  protoOf(ClassicExecutionContext).createMutableSolver = createMutableSolver;
-  protoOf(ClassicExecutionContext).update = update;
-  protoOf(ClassicExecutionContext).get_standardInput_yibe3g_k$ = get_standardInput;
-  protoOf(ClassicExecutionContext).get_standardOutput_1cxkgp_k$ = get_standardOutput;
-  protoOf(ClassicExecutionContext).get_standardError_ykfz6m_k$ = get_standardError;
-  protoOf(ClassicExecutionContext).get_warnings_nkdx40_k$ = get_warnings;
-  protoOf(ClassicExecutionContext).get_endTime_pbcuqp_k$ = get_endTime;
-  protoOf(ClassicExecutionContext).get_remainingTime_6e6md6_k$ = get_remainingTime;
-  protoOf(ClassicExecutionContext).get_elapsedTime_5vfaps_k$ = get_elapsedTime;
-  protoOf(ClassicSolverFactory).rawSolverOf = rawSolverOf;
-  protoOf(ClassicSolverFactory).solverOf = solverOf;
-  protoOf(ClassicSolverFactory).mutableSolverOf = mutableSolverOf;
-  protoOf(ClassicSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
-  protoOf(ClassicSolverFactory).newBuilder = newBuilder;
-  protoOf(ClassicSolverFactory).get_defaultRuntime_l4gjfk_k$ = get_defaultRuntime;
-  protoOf(ClassicSolverFactory).get_defaultUnificator_ub4hy6_k$ = get_defaultUnificator;
-  protoOf(ClassicSolverFactory).get_defaultFlags_6lgyr5_k$ = get_defaultFlags;
-  protoOf(ClassicSolverFactory).get_defaultStaticKb_njv4d9_k$ = get_defaultStaticKb;
-  protoOf(ClassicSolverFactory).get_defaultDynamicKb_ctuo3i_k$ = get_defaultDynamicKb;
-  protoOf(ClassicSolverFactory).get_defaultInputChannel_2ryi7j_k$ = get_defaultInputChannel;
-  protoOf(ClassicSolverFactory).get_defaultOutputChannel_bnwwa_k$ = get_defaultOutputChannel;
-  protoOf(ClassicSolverFactory).get_defaultErrorChannel_ezdmst_k$ = get_defaultErrorChannel;
-  protoOf(ClassicSolverFactory).get_defaultWarningsChannel_rdf4c_k$ = get_defaultWarningsChannel;
-  protoOf(ClassicSolverFactory).solverWithDefaultBuiltins_tcha89_k$ = solverWithDefaultBuiltins;
-  protoOf(ClassicSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
-  protoOf(ClassicSolverFactory).mutableSolverWithDefaultBuiltins_bc3d81_k$ = mutableSolverWithDefaultBuiltins;
-  protoOf(ClassicSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
-  protoOf(MutableClassicSolver).loadStaticClauses = loadStaticClauses;
-  protoOf(MutableClassicSolver).loadStaticClausesIterable = loadStaticClausesIterable;
-  protoOf(MutableClassicSolver).loadStaticClausesSequence = loadStaticClausesSequence;
-  protoOf(MutableClassicSolver).loadDynamicClauses = loadDynamicClauses;
-  protoOf(MutableClassicSolver).loadDynamicClausesIterable = loadDynamicClausesIterable;
-  protoOf(MutableClassicSolver).loadDynamicClausesSequence = loadDynamicClausesSequence;
+  protoOf(MutablePrologSolver).loadStaticClauses = loadStaticClauses;
+  protoOf(MutablePrologSolver).loadStaticClausesIterable = loadStaticClausesIterable;
+  protoOf(MutablePrologSolver).loadStaticClausesSequence = loadStaticClausesSequence;
+  protoOf(MutablePrologSolver).loadDynamicClauses = loadDynamicClauses;
+  protoOf(MutablePrologSolver).loadDynamicClausesIterable = loadDynamicClausesIterable;
+  protoOf(MutablePrologSolver).loadDynamicClausesSequence = loadDynamicClausesSequence;
+  protoOf(PrologExecutionContext).createSolver = createSolver;
+  protoOf(PrologExecutionContext).createMutableSolver = createMutableSolver;
+  protoOf(PrologExecutionContext).update = update;
+  protoOf(PrologExecutionContext).get_standardInput_yibe3g_k$ = get_standardInput;
+  protoOf(PrologExecutionContext).get_standardOutput_1cxkgp_k$ = get_standardOutput;
+  protoOf(PrologExecutionContext).get_standardError_ykfz6m_k$ = get_standardError;
+  protoOf(PrologExecutionContext).get_warnings_nkdx40_k$ = get_warnings;
+  protoOf(PrologExecutionContext).get_endTime_pbcuqp_k$ = get_endTime;
+  protoOf(PrologExecutionContext).get_remainingTime_6e6md6_k$ = get_remainingTime;
+  protoOf(PrologExecutionContext).get_elapsedTime_5vfaps_k$ = get_elapsedTime;
+  protoOf(PrologSolverFactory).rawSolverOf = rawSolverOf;
+  protoOf(PrologSolverFactory).solverOf = solverOf;
+  protoOf(PrologSolverFactory).mutableSolverOf = mutableSolverOf;
+  protoOf(PrologSolverFactory).rawMutableSolverOf = rawMutableSolverOf;
+  protoOf(PrologSolverFactory).newBuilder = newBuilder;
+  protoOf(PrologSolverFactory).get_defaultRuntime_l4gjfk_k$ = get_defaultRuntime;
+  protoOf(PrologSolverFactory).get_defaultUnificator_ub4hy6_k$ = get_defaultUnificator;
+  protoOf(PrologSolverFactory).get_defaultFlags_6lgyr5_k$ = get_defaultFlags;
+  protoOf(PrologSolverFactory).get_defaultStaticKb_njv4d9_k$ = get_defaultStaticKb;
+  protoOf(PrologSolverFactory).get_defaultDynamicKb_ctuo3i_k$ = get_defaultDynamicKb;
+  protoOf(PrologSolverFactory).get_defaultInputChannel_2ryi7j_k$ = get_defaultInputChannel;
+  protoOf(PrologSolverFactory).get_defaultOutputChannel_bnwwa_k$ = get_defaultOutputChannel;
+  protoOf(PrologSolverFactory).get_defaultErrorChannel_ezdmst_k$ = get_defaultErrorChannel;
+  protoOf(PrologSolverFactory).get_defaultWarningsChannel_rdf4c_k$ = get_defaultWarningsChannel;
+  protoOf(PrologSolverFactory).solverWithDefaultBuiltins_tcha89_k$ = solverWithDefaultBuiltins;
+  protoOf(PrologSolverFactory).solverWithDefaultBuiltinsAnd = solverWithDefaultBuiltinsAnd;
+  protoOf(PrologSolverFactory).mutableSolverWithDefaultBuiltins_bc3d81_k$ = mutableSolverWithDefaultBuiltins;
+  protoOf(PrologSolverFactory).mutableSolverWithDefaultBuiltinsAnd = mutableSolverWithDefaultBuiltinsAnd;
   protoOf(AbstractState).get_isEndState_4xsqt3_k$ = get_isEndState;
   protoOf(AbstractState).asEndState = asEndState;
   protoOf(AbstractState).castToEndState = castToEndState;
@@ -2808,7 +2832,7 @@
   protoOf(AbstractEndState).get_hasOpenAlternatives_bd9sv_k$ = get_hasOpenAlternatives;
   //endregion
   //region block: init
-  ClassicSolverFactory_instance = new ClassicSolverFactory();
+  PrologSolverFactory_instance = new PrologSolverFactory();
   Companion_instance_15 = new Companion();
   Companion_instance_17 = new Companion_1();
   //endregion
@@ -2818,8 +2842,8 @@
     var unibo = it.unibo || (it.unibo = {});
     var tuprolog = unibo.tuprolog || (unibo.tuprolog = {});
     var solve = tuprolog.solve || (tuprolog.solve = {});
-    var classic = solve.classic || (solve.classic = {});
-    defineProp(classic, 'ClassicSolverFactory', ClassicSolverFactory_getInstance, VOID, true);
+    var prolog = solve.prolog || (solve.prolog = {});
+    defineProp(prolog, 'PrologSolverFactory', PrologSolverFactory_getInstance, VOID, true);
   }
   $jsExportAll$(_);
   _.$jsExportAll$ = $jsExportAll$;
@@ -2827,4 +2851,4 @@
   return _;
 }));
 
-//# sourceMappingURL=2p-solve-classic.js.map
+//# sourceMappingURL=2p-solve-prolog.js.map