@tuprolog/arg2p-core 0.6.7 → 0.7.0

package/kotlin/arg2p-core.js

@@ -6,30 +6,40 @@
   else {
     if (typeof kotlin === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency 'kotlin' was not found. Please, check whether 'kotlin' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-solve'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-solve'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-solve' was not found. Please, check whether '@tuprolog/2p-solve' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-dsl-theory'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-dsl-theory'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-dsl-theory' was not found. Please, check whether '@tuprolog/2p-dsl-theory' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-dsl-core'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-dsl-core'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-dsl-core' was not found. Please, check whether '@tuprolog/2p-dsl-core' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-unify'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-unify'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-unify' was not found. Please, check whether '@tuprolog/2p-unify' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-core'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-core'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-core' was not found. Please, check whether '@tuprolog/2p-core' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-theory'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-theory'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-theory' was not found. Please, check whether '@tuprolog/2p-theory' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-parser-theory'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-parser-theory'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-parser-theory' was not found. Please, check whether '@tuprolog/2p-parser-theory' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-solve-classic'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-solve-classic'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-solve-classic' was not found. Please, check whether '@tuprolog/2p-solve-classic' is loaded prior to '@tuprolog/arg2p-core'.");
-    }if (typeof this['@tuprolog/2p-parser-core'] === 'undefined') {
+    }
+    if (typeof this['@tuprolog/2p-parser-core'] === 'undefined') {
       throw new Error("Error loading module '@tuprolog/arg2p-core'. Its dependency '@tuprolog/2p-parser-core' was not found. Please, check whether '@tuprolog/2p-parser-core' is loaded prior to '@tuprolog/arg2p-core'.");
-    }root['@tuprolog/arg2p-core'] = factory(typeof this['@tuprolog/arg2p-core'] === 'undefined' ? {} : this['@tuprolog/arg2p-core'], kotlin, this['@tuprolog/2p-solve'], this['@tuprolog/2p-dsl-theory'], this['@tuprolog/2p-dsl-core'], this['@tuprolog/2p-unify'], this['@tuprolog/2p-core'], this['@tuprolog/2p-theory'], this['@tuprolog/2p-parser-theory'], this['@tuprolog/2p-solve-classic'], this['@tuprolog/2p-parser-core']);
+    }
+    root['@tuprolog/arg2p-core'] = factory(typeof this['@tuprolog/arg2p-core'] === 'undefined' ? {} : this['@tuprolog/arg2p-core'], kotlin, this['@tuprolog/2p-solve'], this['@tuprolog/2p-dsl-theory'], this['@tuprolog/2p-dsl-core'], this['@tuprolog/2p-unify'], this['@tuprolog/2p-core'], this['@tuprolog/2p-theory'], this['@tuprolog/2p-parser-theory'], this['@tuprolog/2p-solve-classic'], this['@tuprolog/2p-parser-core']);
   }
 }(this, function (_, Kotlin, $module$_2p_solve, $module$_2p_dsl_theory, $module$_2p_dsl_core, $module$_2p_unify, $module$_2p_core, $module$_2p_theory, $module$_2p_parser_theory, $module$_2p_solve_classic, $module$_2p_parser_core) {
   'use strict';
   var $$importsForInline$$ = _.$$importsForInline$$ || (_.$$importsForInline$$ = {});
-  var Libraries = $module$_2p_solve.it.unibo.tuprolog.solve.library.Libraries;
+  var Runtime = $module$_2p_solve.it.unibo.tuprolog.solve.library.Runtime;
   var listOf = Kotlin.kotlin.collections.listOf_i5x0yv$;
   var plus = Kotlin.kotlin.collections.plus_mydzjv$;
   var Kind_CLASS = Kotlin.Kind.CLASS;
@@ -39,8 +49,8 @@
   var collectionSizeOrDefault = Kotlin.kotlin.collections.collectionSizeOrDefault_ba2ldo$;
   var ArrayList_init = Kotlin.kotlin.collections.ArrayList_init_ww73n8$;
   var UnsupportedOperationException_init = Kotlin.kotlin.UnsupportedOperationException_init_pdl1vj$;
-  var PrologScopeWithTheories = $module$_2p_dsl_theory.it.unibo.tuprolog.dsl.theory.PrologScopeWithTheories;
-  var PrologScope = $module$_2p_dsl_core.it.unibo.tuprolog.dsl.PrologScope;
+  var LogicProgrammingScopeWithTheories = $module$_2p_dsl_theory.it.unibo.tuprolog.dsl.theory.LogicProgrammingScopeWithTheories;
+  var LogicProgrammingScope = $module$_2p_dsl_core.it.unibo.tuprolog.dsl.LogicProgrammingScope;
   var Unificator = $module$_2p_unify.it.unibo.tuprolog.unify.Unificator;
   var OperatorSet = $module$_2p_core.it.unibo.tuprolog.core.operators.OperatorSet;
   var union = Kotlin.kotlin.collections.union_q4559j$;
@@ -81,7 +91,7 @@
   var Long$Companion$MAX_VALUE = Kotlin.Long.MAX_VALUE;
   var Unit = Kotlin.kotlin.Unit;
   var filter = Kotlin.kotlin.sequences.filter_euau3h$;
-  var prolog = $module$_2p_dsl_core.it.unibo.tuprolog.dsl.prolog;
+  var logicProgramming = $module$_2p_dsl_core.it.unibo.tuprolog.dsl.logicProgramming;
   var Specifier = $module$_2p_core.it.unibo.tuprolog.core.operators.Specifier;
   var Operator = $module$_2p_core.it.unibo.tuprolog.core.operators.Operator;
   var OperatorSet_init = $module$_2p_core.it.unibo.tuprolog.core.operators.OperatorSet_init_1gzv2l$;
@@ -98,7 +108,7 @@
   var Solver = $module$_2p_solve.it.unibo.tuprolog.solve.Solver;
   var classic_0 = $module$_2p_solve_classic.it.unibo.tuprolog.solve.classic.classicSolver;
   var toString = Kotlin.toString;
-  var prolog_0 = $module$_2p_dsl_theory.it.unibo.tuprolog.dsl.theory.prolog;
+  var logicProgramming_0 = $module$_2p_dsl_theory.it.unibo.tuprolog.dsl.theory.logicProgramming;
   var contains = Kotlin.kotlin.text.contains_li3zpu$;
   var removeSurrounding = Kotlin.kotlin.text.removeSurrounding_gsj5wt$;
   var toList = Kotlin.kotlin.sequences.toList_veqyi0$;
@@ -117,14 +127,12 @@
   var copyToArray = Kotlin.kotlin.collections.copyToArray;
   var hashCode = Kotlin.hashCode;
   var Collection = Kotlin.kotlin.collections.Collection;
-  var AliasedLibrary = $module$_2p_solve.it.unibo.tuprolog.solve.library.AliasedLibrary;
   var compareBy = Kotlin.kotlin.comparisons.compareBy_bvgy4j$;
   var sortedWith = Kotlin.kotlin.sequences.sortedWith_vjgqpk$;
   var mapIndexed = Kotlin.kotlin.sequences.mapIndexed_b7yuyq$;
   var Pair = Kotlin.kotlin.Pair;
-  var firstOrNull = Kotlin.kotlin.sequences.firstOrNull_veqyi0$;
   var NoSuchElementException_init = Kotlin.kotlin.NoSuchElementException;
-  var firstOrNull_0 = Kotlin.kotlin.collections.firstOrNull_2p1efm$;
+  var firstOrNull = Kotlin.kotlin.collections.firstOrNull_2p1efm$;
   var plus_0 = Kotlin.kotlin.collections.plus_qloxvw$;
   var Cons = $module$_2p_core.it.unibo.tuprolog.core.Cons;
   DynamicLoader$WithLib.prototype = Object.create(DynamicLoader$AbstractWithLib.prototype);
@@ -235,7 +243,7 @@
     Arg2pSolver$Companion_getInstance();
   }
   Arg2pSolver.prototype.to2pLibraries = function () {
-    var tmp$ = Libraries.Companion;
+    var tmp$ = Runtime.Companion;
     var $receiver = plus(listOf([this.loader, this.context]), this.staticLibraries());
     var destination = ArrayList_init(collectionSizeOrDefault($receiver, 10));
     var tmp$_0;
@@ -314,7 +322,8 @@
   function Arg2pSolver$Companion_getInstance() {
     if (Arg2pSolver$Companion_instance === null) {
       new Arg2pSolver$Companion();
-    }return Arg2pSolver$Companion_instance;
+    }
+    return Arg2pSolver$Companion_instance;
   }
   Arg2pSolver.$metadata$ = {
     kind: Kind_INTERFACE,
@@ -329,10 +338,10 @@
   PrologWithArgumentation.$metadata$ = {
     kind: Kind_INTERFACE,
     simpleName: 'PrologWithArgumentation',
-    interfaces: [PrologScopeWithTheories]
+    interfaces: [LogicProgrammingScopeWithTheories]
   };
   function PrologWithArgumentationImpl() {
-    this.$delegate_38xz9p$_0 = PrologScope.Companion.empty();
+    this.$delegate_38xz9p$_0 = LogicProgrammingScope.Companion.empty();
     this.$delegate_38xz9p$_1 = Unificator.Companion.default;
   }
   Object.defineProperty(PrologWithArgumentationImpl.prototype, 'A', {
@@ -626,8 +635,8 @@
   PrologWithArgumentationImpl.prototype.char_code2 = function (char, code) {
     return this.$delegate_38xz9p$_0.char_code2(char, code);
   };
-  PrologWithArgumentationImpl.prototype.clause_fzbqwd$ = function (function_0) {
-    return this.$delegate_38xz9p$_0.clause_fzbqwd$(function_0);
+  PrologWithArgumentationImpl.prototype.clause_x8scsp$ = function (function_0) {
+    return this.$delegate_38xz9p$_0.clause_x8scsp$(function_0);
   };
   PrologWithArgumentationImpl.prototype.clause2 = function (head, body) {
     return this.$delegate_38xz9p$_0.clause2(head, body);
@@ -698,6 +707,9 @@
   PrologWithArgumentationImpl.prototype.get = function (variable) {
     return this.$delegate_38xz9p$_0.get(variable);
   };
+  PrologWithArgumentationImpl.prototype.getValue_n5byny$ = function (thisRef, property) {
+    return this.$delegate_38xz9p$_0.getValue_n5byny$(thisRef, property);
+  };
   PrologWithArgumentationImpl.prototype.ground1 = function (term) {
     return this.$delegate_38xz9p$_0.ground1(term);
   };
@@ -893,6 +905,15 @@
   PrologWithArgumentationImpl.prototype.sub_atom5 = function (atom, before, length, after, sub_atom) {
     return this.$delegate_38xz9p$_0.sub_atom5(atom, before, length, after, sub_atom);
   };
+  PrologWithArgumentationImpl.prototype.substitutionOf = function (assignments) {
+    return this.$delegate_38xz9p$_0.substitutionOf(assignments);
+  };
+  PrologWithArgumentationImpl.prototype.substitutionOfIterable = function (assignments) {
+    return this.$delegate_38xz9p$_0.substitutionOfIterable(assignments);
+  };
+  PrologWithArgumentationImpl.prototype.substitutionOfSequence = function (assignments) {
+    return this.$delegate_38xz9p$_0.substitutionOfSequence(assignments);
+  };
   PrologWithArgumentationImpl.prototype.throw1 = function (error) {
     return this.$delegate_38xz9p$_0.throw1(error);
   };
@@ -911,6 +932,15 @@
   PrologWithArgumentationImpl.prototype.tupleOfSequence = function (terms) {
     return this.$delegate_38xz9p$_0.tupleOfSequence(terms);
   };
+  PrologWithArgumentationImpl.prototype.unifierOf = function (assignments) {
+    return this.$delegate_38xz9p$_0.unifierOf(assignments);
+  };
+  PrologWithArgumentationImpl.prototype.unifierOfIterable = function (assignments) {
+    return this.$delegate_38xz9p$_0.unifierOfIterable(assignments);
+  };
+  PrologWithArgumentationImpl.prototype.unifierOfSequence = function (assignments) {
+    return this.$delegate_38xz9p$_0.unifierOfSequence(assignments);
+  };
   PrologWithArgumentationImpl.prototype.var1 = function (term) {
     return this.$delegate_38xz9p$_0.var1(term);
   };
@@ -1085,7 +1115,7 @@
   PrologWithArgumentationImpl.$metadata$ = {
     kind: Kind_CLASS,
     simpleName: 'PrologWithArgumentationImpl',
-    interfaces: [PrologWithArgumentation, Unificator, PrologScope]
+    interfaces: [PrologWithArgumentation, Unificator, LogicProgrammingScope]
   };
   function arg2pScope(function_0) {
     return function_0(new PrologWithArgumentationImpl());
@@ -1129,7 +1159,7 @@
     return union(this.baseFlags, this.parentLibrary.flags());
   };
   UnionArgLibrary.prototype.content = function () {
-    return Library.Companion.aliased(this.baseContent.alias, void 0, this.baseContent.theory.plusTheory(this.parentLibrary.content().theory));
+    return Library.Companion.of(this.baseContent.alias, void 0, this.baseContent.theory.plusTheory(this.parentLibrary.content().theory));
   };
   UnionArgLibrary.$metadata$ = {
     kind: Kind_INTERFACE,
@@ -1274,7 +1304,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -1326,7 +1357,7 @@
         var element = tmp$_1.next();
         destination.put_xwzc9p$(element.signature, element);
       }
-      return tmp$.aliased(tmp$_0, destination);
+      return tmp$.of(tmp$_0, destination);
     }
   });
   Object.defineProperty(Cache.prototype, 'baseFlags', {
@@ -1540,7 +1571,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -1618,7 +1650,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -1671,7 +1704,7 @@
         var element = tmp$_1.next();
         destination.put_xwzc9p$(element.signature, element);
       }
-      return tmp$.aliased(tmp$_0, destination);
+      return tmp$.of(tmp$_0, destination);
     }
   });
   Object.defineProperty(Context.prototype, 'baseFlags', {
@@ -1721,7 +1754,7 @@
         switch (this.state_0) {
           case 0:
             this.state_0 = 2;
-            this.result_0 = this.local$$receiver.yieldAll_swo9gw$(map(this.local$closure$solver.solveWithOptions(this.local$closure$goal, SolveOptions.Companion.someEagerlyWithTimeout(1000, Long$Companion$MAX_VALUE)), DynamicLoader$AbstractWithLib$solve$lambda$lambda(this.local$closure$request)), this);
+            this.result_0 = this.local$$receiver.yieldAll_swo9gw$(map(this.local$closure$solver.solveWithOptions(this.local$closure$goal, SolveOptions.Companion.allLazilyWithTimeout(Long$Companion$MAX_VALUE)), DynamicLoader$AbstractWithLib$solve$lambda$lambda(this.local$closure$request)), this);
             if (this.result_0 === COROUTINE_SUSPENDED)
               return COROUTINE_SUSPENDED;
             continue;
@@ -1729,7 +1762,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -1758,9 +1792,11 @@
     var goal = request.arguments.get_za3lpa$(1);
     if (!Kotlin.isType(lib, Atom)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, lib);
-    }if (!Kotlin.isType(goal, Struct)) {
+    }
+    if (!Kotlin.isType(goal, Struct)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.CALLABLE, goal);
-    }var $receiver = this.$outer.solver_0.dynamicLibraries();
+    }
+    var $receiver = this.$outer.solver_0.dynamicLibraries();
     var firstOrNull$result;
     firstOrNull$break: do {
       var tmp$_0;
@@ -1771,17 +1807,19 @@
         if (equals((Kotlin.isType(tmp$_1 = element, Loadable) ? tmp$_1 : throwCCE()).identifier(), lib.toString())) {
           firstOrNull$result = element;
           break firstOrNull$break;
-        }}
+        }
+      }
       firstOrNull$result = null;
     }
      while (false);
     tmp$ = firstOrNull$result;
     if (tmp$ == null) {
       throw DomainError.Companion.forGoal(request.context, request.signature, DomainError$Expected.Companion.of('Loadable Lib'), lib);
-    }this.$outer;
+    }
+    this.$outer;
     var this$DynamicLoader = this.$outer;
     var tmp$_2 = request.context;
-    var tmp$_3 = Libraries.Companion;
+    var tmp$_3 = Runtime.Companion;
     var $receiver_0 = request.context.libraries.libraries;
     var destination = ArrayList_init_0();
     var tmp$_4;
@@ -1799,7 +1837,7 @@
       if (!destination_0.contains_11rb$(element_0.alias))
         destination.add_11rb$(element_0);
     }
-    var solver = tmp$_2.createMutableSolver(tmp$_3.ofIterable(destination).plus(tmp$.content()), void 0, request.context.staticKb);
+    var solver = tmp$_2.createMutableSolver(tmp$_3.ofIterable(destination).plusLibrary(tmp$.content()), void 0, request.context.staticKb);
     this.execute_khyi1m$(lib.toString(), solver);
     return sequence(DynamicLoader$AbstractWithLib$solve$lambda(solver, goal, request));
   };
@@ -1853,7 +1891,7 @@
     };
   }
   DynamicLoader$WithLibInNewContext.prototype.execute_khyi1m$ = function (module_0, solver) {
-    prolog(DynamicLoader$WithLibInNewContext$execute$lambda(solver));
+    logicProgramming(DynamicLoader$WithLibInNewContext$execute$lambda(solver));
   };
   DynamicLoader$WithLibInNewContext.$metadata$ = {
     kind: Kind_CLASS,
@@ -1880,7 +1918,7 @@
         var element = tmp$_1.next();
         destination.put_xwzc9p$(element.signature, element);
       }
-      return tmp$.aliased(tmp$_0, destination, void 0, DynamicLoader$Companion_getInstance().operators());
+      return tmp$.of(tmp$_0, destination, void 0, DynamicLoader$Companion_getInstance().operators());
     }
   });
   Object.defineProperty(DynamicLoader.prototype, 'baseFlags', {
@@ -1913,7 +1951,8 @@
   function DynamicLoader$Companion_getInstance() {
     if (DynamicLoader$Companion_instance === null) {
       new DynamicLoader$Companion();
-    }return DynamicLoader$Companion_instance;
+    }
+    return DynamicLoader$Companion_instance;
   }
   DynamicLoader.$metadata$ = {
     kind: Kind_CLASS,
@@ -1934,7 +1973,7 @@
   Object.defineProperty(EngineInterfaceBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory, RuleParserBase$Companion_getInstance().operators());
+      return Library.Companion.of(this.alias, void 0, this.prologTheory, RuleParserBase$Companion_getInstance().operators());
     }
   });
   Object.defineProperty(EngineInterfaceBase.prototype, 'baseFlags', {
@@ -2021,7 +2060,8 @@
   function FlagsBuilder$Companion_getInstance() {
     if (FlagsBuilder$Companion_instance === null) {
       new FlagsBuilder$Companion();
-    }return FlagsBuilder$Companion_instance;
+    }
+    return FlagsBuilder$Companion_instance;
   }
   FlagsBuilder.prototype.queryMode_6taknv$ = function (queryMode) {
     this.queryMode = queryMode;
@@ -2072,7 +2112,7 @@
   Object.defineProperty(FlagsBuilder$create$ObjectLiteral.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, FlagsBuilder$Companion_getInstance().setupSolver_ds05wj$(this.this$FlagsBuilder));
+      return Library.Companion.of(this.alias, void 0, FlagsBuilder$Companion_getInstance().setupSolver_ds05wj$(this.this$FlagsBuilder));
     }
   });
   Object.defineProperty(FlagsBuilder$create$ObjectLiteral.prototype, 'baseFlags', {
@@ -2159,7 +2199,7 @@
   Object.defineProperty(MetaInterpreter.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, parse_2(Theory.Companion, trimIndent('\n                % with_facts_and_length/3\n                with_facts_and_length(X, Y, L) :-\n                    solve(X, R),\n                    recover_facts(R, Y),\n                    length(Y, L).\n        \n                % lenght/2\n        \n                length([], 0).\n                length([_|T], X) :- length(T, Y), X is Y + 1.\n        \n                % recover_facts/2\n        \n                recover_facts([], []) :- !.\n                recover_facts([H|T], C) :-\n                    is_list(H), !,\n                    recover_facts(T, TC),\n                    recover_facts(H, HC),\n                    append(TC, HC, C).\n                recover_facts([H|T], C) :-\n                    \\+ is_list(H),\n                    recover_facts(T, TC),\n                    evaluate(H, HC),\n                    append(TC, HC, C).\n        \n                evaluate(user_fact(X), [X]) :- !.\n                evaluate(_, []) :- !.\n        \n                % solve/2\n        \n                solve((A,B), Result) :- !,\n                    solve(A, ARes),\n                    solve(B, BRes),\n                    append(ARes, BRes, Result).\n        \n                solve((A;B), Result) :- !,\n                    solve(A, Result);\n                    solve(B, Result).\n        \n                solve(member(A, B), [system_predicate]) :- !,\n                    call(member(A, B)).\n        \n                solve(\\+(A), [not(A)]) :- !,\n                    call(\\+(A)).\n        \n                solve((A)\\=(B), [doNotUnify(A, B)]) :- !,\n                    call((A)\\=(B)).\n        \n                solve(A, [system_predicate]) :-\n                    catch(clause(A, _), B, true),\n                    \\+ var(B), !,\n                    call(A).\n        \n                solve(A, [A]) :-\n                    \\+ clause(A, B), !,\n                    call(A).\n        \n                solve(A, [A|[Res]]) :-\n                    clause(A, B),\n                    solve(B, Res).\n        \n                % is_list/1\n        \n                is_list(X) :- var(X), !, fail.\n                is_list([]).\n                is_list([_|T]) :- is_list(T).\n                \n                % fetch_argument_facts/2\n        \n                fetch_argument_facts(Conclusion, Facts) :-\n                    argument([R, TR, [Conclusion]]),\n                    findall(user_fact(Fact), \n                        support([_, _, [user_fact(Fact)]], [R, TR, [Conclusion]]),\n                    Facts).\n                ')));
+      return Library.Companion.of(this.alias, void 0, parse_2(Theory.Companion, trimIndent('\n                % with_facts_and_length/3\n                with_facts_and_length(X, Y, L) :-\n                    solve(X, R),\n                    recover_facts(R, Y),\n                    length(Y, L).\n        \n                % lenght/2\n        \n                length([], 0).\n                length([_|T], X) :- length(T, Y), X is Y + 1.\n        \n                % recover_facts/2\n        \n                recover_facts([], []) :- !.\n                recover_facts([H|T], C) :-\n                    is_list(H), !,\n                    recover_facts(T, TC),\n                    recover_facts(H, HC),\n                    append(TC, HC, C).\n                recover_facts([H|T], C) :-\n                    \\+ is_list(H),\n                    recover_facts(T, TC),\n                    evaluate(H, HC),\n                    append(TC, HC, C).\n        \n                evaluate(user_fact(X), [X]) :- !.\n                evaluate(_, []) :- !.\n        \n                % solve/2\n        \n                solve((A,B), Result) :- !,\n                    solve(A, ARes),\n                    solve(B, BRes),\n                    append(ARes, BRes, Result).\n        \n                solve((A;B), Result) :- !,\n                    solve(A, Result);\n                    solve(B, Result).\n        \n                solve(member(A, B), [system_predicate]) :- !,\n                    call(member(A, B)).\n        \n                solve(\\+(A), [not(A)]) :- !,\n                    call(\\+(A)).\n        \n                solve((A)\\=(B), [doNotUnify(A, B)]) :- !,\n                    call((A)\\=(B)).\n        \n                solve(A, [system_predicate]) :-\n                    catch(clause(A, _), B, true),\n                    \\+ var(B), !,\n                    call(A).\n        \n                solve(A, [A]) :-\n                    \\+ clause(A, B), !,\n                    call(A).\n        \n                solve(A, [A|[Res]]) :-\n                    clause(A, B),\n                    solve(B, Res).\n        \n                % is_list/1\n        \n                is_list(X) :- var(X), !, fail.\n                is_list([]).\n                is_list([_|T]) :- is_list(T).\n                \n                % fetch_argument_facts/2\n        \n                fetch_argument_facts(Conclusion, Facts) :-\n                    argument([R, TR, [Conclusion]]),\n                    findall(user_fact(Fact), \n                        support([_, _, [user_fact(Fact)]], [R, TR, [Conclusion]]),\n                    Facts).\n                ')));
     }
   });
   Object.defineProperty(MetaInterpreter.prototype, 'baseFlags', {
@@ -2180,7 +2220,8 @@
   function MetaInterpreter_getInstance() {
     if (MetaInterpreter_instance === null) {
       new MetaInterpreter();
-    }return MetaInterpreter_instance;
+    }
+    return MetaInterpreter_instance;
   }
   function ModuleCalls() {
     ModuleCalls_instance = this;
@@ -2195,7 +2236,7 @@
   Object.defineProperty(ModuleCalls.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, mapOf(to(ModuleCall_getInstance().signature, ModuleCall_getInstance())));
+      return Library.Companion.of(this.alias, mapOf(to(ModuleCall_getInstance().signature, ModuleCall_getInstance())));
     }
   });
   Object.defineProperty(ModuleCalls.prototype, 'baseFlags', {
@@ -2216,7 +2257,8 @@
   function ModuleCalls_getInstance() {
     if (ModuleCalls_instance === null) {
       new ModuleCalls();
-    }return ModuleCalls_instance;
+    }
+    return ModuleCalls_instance;
   }
   function ModulesPath() {
     ModulesPath_instance = this;
@@ -2239,7 +2281,8 @@
   function ModulesPath_getInstance() {
     if (ModulesPath_instance === null) {
       new ModulesPath();
-    }return ModulesPath_instance;
+    }
+    return ModulesPath_instance;
   }
   function ModuleCall() {
     ModuleCall_instance = this;
@@ -2283,7 +2326,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -2311,9 +2355,11 @@
     var goal = request.arguments.get_za3lpa$(1);
     if (!Kotlin.isType(modules, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, modules);
-    }if (!Kotlin.isType(goal, Struct)) {
+    }
+    if (!Kotlin.isType(goal, Struct)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.CALLABLE, goal);
-    }var tmp$ = request.context;
+    }
+    var tmp$ = request.context;
     var tmp$_0 = this.mineModulesPath_0(request.context);
     var $receiver = modules.toList();
     var destination = ArrayList_init(collectionSizeOrDefault($receiver, 10));
@@ -2337,7 +2383,7 @@
     };
   }
   ModuleCall.prototype.mineModulesPath_0 = function (context) {
-    return prolog_0(ModuleCall$mineModulesPath$lambda(context));
+    return logicProgramming_0(void 0, ModuleCall$mineModulesPath$lambda(context));
   };
   function ModuleCall$getCleanSolver$lambda(closure$modulesPath) {
     return function (mod) {
@@ -2360,7 +2406,7 @@
   }
   ModuleCall.prototype.getCleanSolver_0 = function (context, modulesPath, modules) {
     var module_0 = ModuleCall$getCleanSolver$lambda(modulesPath);
-    return prolog_0(ModuleCall$getCleanSolver$lambda_0(context, modules, module_0));
+    return logicProgramming_0(void 0, ModuleCall$getCleanSolver$lambda_0(context, modules, module_0));
   };
   ModuleCall.$metadata$ = {
     kind: Kind_OBJECT,
@@ -2371,7 +2417,8 @@
   function ModuleCall_getInstance() {
     if (ModuleCall_instance === null) {
       new ModuleCall();
-    }return ModuleCall_instance;
+    }
+    return ModuleCall_instance;
   }
   function AbstractModeBase() {
     LazyRawPrologContent.call(this);
@@ -2387,7 +2434,7 @@
   Object.defineProperty(AbstractModeBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(AbstractModeBase.prototype, 'baseFlags', {
@@ -2431,7 +2478,8 @@
   function GraphExtension_getInstance() {
     if (GraphExtension_instance === null) {
       new GraphExtension();
-    }return GraphExtension_instance;
+    }
+    return GraphExtension_instance;
   }
   function ArgumentLabellingMode() {
     ArgumentLabellingMode_instance = this;
@@ -2454,7 +2502,8 @@
   function ArgumentLabellingMode_getInstance() {
     if (ArgumentLabellingMode_instance === null) {
       new ArgumentLabellingMode();
-    }return ArgumentLabellingMode_instance;
+    }
+    return ArgumentLabellingMode_instance;
   }
   function StatementLabellingMode() {
     StatementLabellingMode_instance = this;
@@ -2477,7 +2526,8 @@
   function StatementLabellingMode_getInstance() {
     if (StatementLabellingMode_instance === null) {
       new StatementLabellingMode();
-    }return StatementLabellingMode_instance;
+    }
+    return StatementLabellingMode_instance;
   }
   function GraphBuildMode() {
     GraphBuildMode_instance = this;
@@ -2500,7 +2550,8 @@
   function GraphBuildMode_getInstance() {
     if (GraphBuildMode_instance === null) {
       new GraphBuildMode();
-    }return GraphBuildMode_instance;
+    }
+    return GraphBuildMode_instance;
   }
   function ArgumentationGraphBuilderBase() {
     LazyRawPrologContent.call(this);
@@ -2516,7 +2567,7 @@
   Object.defineProperty(ArgumentationGraphBuilderBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(ArgumentationGraphBuilderBase.prototype, 'baseFlags', {
@@ -2553,7 +2604,7 @@
   Object.defineProperty(AttackRestrictionHandlerBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(AttackRestrictionHandlerBase.prototype, 'baseFlags', {
@@ -2590,7 +2641,7 @@
   Object.defineProperty(BpMetaGraphHandlerBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(BpMetaGraphHandlerBase.prototype, 'baseFlags', {
@@ -2627,7 +2678,7 @@
   Object.defineProperty(DefeasiblePreferencesHandlerBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(DefeasiblePreferencesHandlerBase.prototype, 'baseFlags', {
@@ -2664,7 +2715,7 @@
   Object.defineProperty(GenericDefeasiblePreferencesHandlerBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(GenericDefeasiblePreferencesHandlerBase.prototype, 'baseFlags', {
@@ -2701,7 +2752,7 @@
   Object.defineProperty(StrictPreferencesHandlerBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(StrictPreferencesHandlerBase.prototype, 'baseFlags', {
@@ -2738,7 +2789,7 @@
   Object.defineProperty(BinaryStatementLabeller.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, Theory.Companion.of([BinaryLabelling_getInstance().wrappedImplementation]));
+      return Library.Companion.of(this.alias, void 0, Theory.Companion.of([BinaryLabelling_getInstance().wrappedImplementation]));
     }
   });
   Object.defineProperty(BinaryStatementLabeller.prototype, 'baseFlags', {
@@ -2765,7 +2816,8 @@
   function BinaryStatementLabeller_getInstance() {
     if (BinaryStatementLabeller_instance === null) {
       new BinaryStatementLabeller();
-    }return BinaryStatementLabeller_instance;
+    }
+    return BinaryStatementLabeller_instance;
   }
   function BinaryLabelling() {
     BinaryLabelling_instance = this;
@@ -2775,7 +2827,7 @@
     return $receiver.tupleOf([$receiver.stringInvoke('findall', $receiver._, [$receiver.tupleOf([$receiver.stringInvoke('context_check', $receiver.stringInvoke('in', $receiver.listOf([$receiver._, $receiver._, $receiver.X, $receiver._, $receiver._]), []), []), $receiver.not1($receiver.stringInvoke('contextCheck', $receiver.stringInvoke('statIn', $receiver.X, []), [])), $receiver.stringInvoke('context_assert', $receiver.stringInvoke('statIn', $receiver.X, []), [])]), $receiver._]), $receiver.stringInvoke('findall', $receiver._, [$receiver.tupleOf([$receiver.anyOr($receiver.stringInvoke('context_check', $receiver.stringInvoke('out', $receiver.listOf([$receiver._, $receiver._, $receiver.X, $receiver._, $receiver._]), []), []), $receiver.stringInvoke('context_check', $receiver.stringInvoke('und', $receiver.listOf([$receiver._, $receiver._, $receiver.X, $receiver._, $receiver._]), []), [])), $receiver.not1($receiver.stringInvoke('context_check', $receiver.stringInvoke('statOut', $receiver.X, []), [])), $receiver.stringInvoke('context_assert', $receiver.stringInvoke('statOut', $receiver.X, []), [])]), $receiver._])]);
   }
   BinaryLabelling.prototype.get_body_cjtn4o$ = function ($receiver) {
-    return prolog(BinaryLabelling$get_BinaryLabelling$body$lambda);
+    return logicProgramming(BinaryLabelling$get_BinaryLabelling$body$lambda);
   };
   BinaryLabelling.$metadata$ = {
     kind: Kind_OBJECT,
@@ -2786,7 +2838,8 @@
   function BinaryLabelling_getInstance() {
     if (BinaryLabelling_instance === null) {
       new BinaryLabelling();
-    }return BinaryLabelling_instance;
+    }
+    return BinaryLabelling_instance;
   }
   function BpCompleteLabellerBase() {
     LazyRawPrologContent.call(this);
@@ -2802,7 +2855,7 @@
   Object.defineProperty(BpCompleteLabellerBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(BpCompleteLabellerBase.prototype, 'baseFlags', {
@@ -2839,7 +2892,7 @@
   Object.defineProperty(BpLabellerBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(BpLabellerBase.prototype, 'baseFlags', {
@@ -2876,7 +2929,7 @@
   Object.defineProperty(BpPartialLabellerBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(BpPartialLabellerBase.prototype, 'baseFlags', {
@@ -2913,7 +2966,7 @@
   Object.defineProperty(CompleteLabellerBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(CompleteLabellerBase.prototype, 'baseFlags', {
@@ -2950,7 +3003,7 @@
   Object.defineProperty(GroundedLabellerBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(GroundedLabellerBase.prototype, 'baseFlags', {
@@ -2987,7 +3040,7 @@
   Object.defineProperty(GroundedLabellerOptimizedBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(GroundedLabellerOptimizedBase.prototype, 'baseFlags', {
@@ -3024,7 +3077,7 @@
   Object.defineProperty(PassThroughStatementLabeller.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, Theory.Companion.of([Labelling_getInstance().wrappedImplementation]));
+      return Library.Companion.of(this.alias, void 0, Theory.Companion.of([Labelling_getInstance().wrappedImplementation]));
     }
   });
   Object.defineProperty(PassThroughStatementLabeller.prototype, 'baseFlags', {
@@ -3051,7 +3104,8 @@
   function PassThroughStatementLabeller_getInstance() {
     if (PassThroughStatementLabeller_instance === null) {
       new PassThroughStatementLabeller();
-    }return PassThroughStatementLabeller_instance;
+    }
+    return PassThroughStatementLabeller_instance;
   }
   function Labelling() {
     Labelling_instance = this;
@@ -3061,7 +3115,7 @@
     return $receiver.tupleOf([$receiver.stringInvoke('findall', $receiver._, [$receiver.tupleOf([$receiver.stringInvoke('context_check', $receiver.stringInvoke('in', $receiver.listOf([$receiver._, $receiver._, $receiver.X, $receiver._, $receiver._]), []), []), $receiver.stringInvoke('context_assert', $receiver.stringInvoke('statIn', $receiver.X, []), [])]), $receiver._]), $receiver.stringInvoke('findall', $receiver._, [$receiver.tupleOf([$receiver.stringInvoke('context_check', $receiver.stringInvoke('out', $receiver.listOf([$receiver._, $receiver._, $receiver.X, $receiver._, $receiver._]), []), []), $receiver.stringInvoke('context_assert', $receiver.stringInvoke('statOut', $receiver.X, []), [])]), $receiver._]), $receiver.stringInvoke('findall', $receiver._, [$receiver.tupleOf([$receiver.stringInvoke('context_check', $receiver.stringInvoke('und', $receiver.listOf([$receiver._, $receiver._, $receiver.X, $receiver._, $receiver._]), []), []), $receiver.stringInvoke('context_assert', $receiver.stringInvoke('statUnd', $receiver.X, []), [])]), $receiver._])]);
   }
   Labelling.prototype.get_body_cjtn4o$ = function ($receiver) {
-    return prolog(Labelling$get_Labelling$body$lambda);
+    return logicProgramming(Labelling$get_Labelling$body$lambda);
   };
   Labelling.$metadata$ = {
     kind: Kind_OBJECT,
@@ -3072,7 +3126,8 @@
   function Labelling_getInstance() {
     if (Labelling_instance === null) {
       new Labelling();
-    }return Labelling_instance;
+    }
+    return Labelling_instance;
   }
   function StatementLabellerBase() {
     LazyRawPrologContent.call(this);
@@ -3088,7 +3143,7 @@
   Object.defineProperty(StatementLabellerBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(StatementLabellerBase.prototype, 'baseFlags', {
@@ -3126,7 +3181,7 @@
   Object.defineProperty(RuleParserBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, mapOf_0([getPropertyCallableRef('descriptionPair', 0, function ($receiver) {
+      return Library.Companion.of(this.alias, mapOf_0([getPropertyCallableRef('descriptionPair', 0, function ($receiver) {
         return $receiver.descriptionPair;
       }.bind(null, StrictRules_getInstance())).get(), getPropertyCallableRef('descriptionPair', 0, function ($receiver) {
         return $receiver.descriptionPair;
@@ -3173,7 +3228,8 @@
   function RuleParserBase$Companion_getInstance() {
     if (RuleParserBase$Companion_instance === null) {
       new RuleParserBase$Companion();
-    }return RuleParserBase$Companion_instance;
+    }
+    return RuleParserBase$Companion_instance;
   }
   RuleParserBase.$metadata$ = {
     kind: Kind_CLASS,
@@ -3201,7 +3257,8 @@
   function AutoTransposition_getInstance() {
     if (AutoTransposition_instance === null) {
       new AutoTransposition();
-    }return AutoTransposition_instance;
+    }
+    return AutoTransposition_instance;
   }
   function PrologStrictCompatibility() {
     PrologStrictCompatibility_instance = this;
@@ -3224,7 +3281,8 @@
   function PrologStrictCompatibility_getInstance() {
     if (PrologStrictCompatibility_instance === null) {
       new PrologStrictCompatibility();
-    }return PrologStrictCompatibility_instance;
+    }
+    return PrologStrictCompatibility_instance;
   }
   function ConversionUtils() {
     ConversionUtils_instance = this;
@@ -3246,7 +3304,7 @@
     };
   }
   ConversionUtils.prototype.modifiers_3bh3rj$ = function (target, context) {
-    return prolog_0(ConversionUtils$modifiers$lambda(target, context));
+    return logicProgramming_0(void 0, ConversionUtils$modifiers$lambda(target, context));
   };
   function ConversionUtils$commonMap$lambda(closure$first, closure$force, closure$context, closure$mapper) {
     return function ($receiver) {
@@ -3261,11 +3319,11 @@
       return sequenceOf([tmp$_1.of(tmp$, tmp$_0)]);
     };
   }
-  ConversionUtils.prototype.commonMap_sg2xgv$ = function (context, first, force, mapper) {
+  ConversionUtils.prototype.commonMap_2z7qph$ = function (context, first, force, mapper) {
     if (force === void 0)
       force = false;
     PrimitiveWrapper.Companion.ensuringArgumentIsVariable_3adri$(context, 0);
-    return prolog_0(ConversionUtils$commonMap$lambda(first, force, context, mapper));
+    return logicProgramming_0(void 0, ConversionUtils$commonMap$lambda(first, force, context, mapper));
   };
   ConversionUtils.$metadata$ = {
     kind: Kind_OBJECT,
@@ -3276,7 +3334,8 @@
   function ConversionUtils_getInstance() {
     if (ConversionUtils_instance === null) {
       new ConversionUtils();
-    }return ConversionUtils_instance;
+    }
+    return ConversionUtils_instance;
   }
   function StrictRules() {
     StrictRules_instance = this;
@@ -3305,7 +3364,7 @@
     };
   }
   StrictRules.prototype.computeAllSubstitutions_jktvg7$ = function ($receiver, first) {
-    return ConversionUtils_getInstance().commonMap_sg2xgv$($receiver, first, void 0, StrictRules$computeAllSubstitutions$lambda($receiver));
+    return ConversionUtils_getInstance().commonMap_2z7qph$($receiver, first, void 0, StrictRules$computeAllSubstitutions$lambda($receiver));
   };
   StrictRules.$metadata$ = {
     kind: Kind_OBJECT,
@@ -3316,7 +3375,8 @@
   function StrictRules_getInstance() {
     if (StrictRules_instance === null) {
       new StrictRules();
-    }return StrictRules_instance;
+    }
+    return StrictRules_instance;
   }
   function Axioms() {
     Axioms_instance = this;
@@ -3341,7 +3401,7 @@
     return toTerm(destination_0);
   }
   Axioms.prototype.computeAllSubstitutions_jktvg7$ = function ($receiver, first) {
-    return ConversionUtils_getInstance().commonMap_sg2xgv$($receiver, first, void 0, Axioms$computeAllSubstitutions$lambda);
+    return ConversionUtils_getInstance().commonMap_2z7qph$($receiver, first, void 0, Axioms$computeAllSubstitutions$lambda);
   };
   Axioms.$metadata$ = {
     kind: Kind_OBJECT,
@@ -3352,7 +3412,8 @@
   function Axioms_getInstance() {
     if (Axioms_instance === null) {
       new Axioms();
-    }return Axioms_instance;
+    }
+    return Axioms_instance;
   }
   function Premises() {
     Premises_instance = this;
@@ -3377,7 +3438,7 @@
     return toTerm(destination_0);
   }
   Premises.prototype.computeAllSubstitutions_jktvg7$ = function ($receiver, first) {
-    return ConversionUtils_getInstance().commonMap_sg2xgv$($receiver, first, void 0, Premises$computeAllSubstitutions$lambda);
+    return ConversionUtils_getInstance().commonMap_2z7qph$($receiver, first, void 0, Premises$computeAllSubstitutions$lambda);
   };
   Premises.$metadata$ = {
     kind: Kind_OBJECT,
@@ -3388,7 +3449,8 @@
   function Premises_getInstance() {
     if (Premises_instance === null) {
       new Premises();
-    }return Premises_instance;
+    }
+    return Premises_instance;
   }
   function DefeasibleRules() {
     DefeasibleRules_instance = this;
@@ -3427,7 +3489,7 @@
     };
   }
   DefeasibleRules.prototype.computeAllSubstitutions_jktvg7$ = function ($receiver, first) {
-    return ConversionUtils_getInstance().commonMap_sg2xgv$($receiver, first, void 0, DefeasibleRules$computeAllSubstitutions$lambda($receiver));
+    return ConversionUtils_getInstance().commonMap_2z7qph$($receiver, first, void 0, DefeasibleRules$computeAllSubstitutions$lambda($receiver));
   };
   DefeasibleRules.$metadata$ = {
     kind: Kind_OBJECT,
@@ -3438,7 +3500,8 @@
   function DefeasibleRules_getInstance() {
     if (DefeasibleRules_instance === null) {
       new DefeasibleRules();
-    }return DefeasibleRules_instance;
+    }
+    return DefeasibleRules_instance;
   }
   function Bps() {
     Bps_instance = this;
@@ -3464,7 +3527,7 @@
     return toTerm(destination_0);
   }
   Bps.prototype.computeAllSubstitutions_jktvg7$ = function ($receiver, first) {
-    return ConversionUtils_getInstance().commonMap_sg2xgv$($receiver, first, true, Bps$computeAllSubstitutions$lambda);
+    return ConversionUtils_getInstance().commonMap_2z7qph$($receiver, first, true, Bps$computeAllSubstitutions$lambda);
   };
   Bps.$metadata$ = {
     kind: Kind_OBJECT,
@@ -3475,7 +3538,8 @@
   function Bps_getInstance() {
     if (Bps_instance === null) {
       new Bps();
-    }return Bps_instance;
+    }
+    return Bps_instance;
   }
   function ExtractStrictIds() {
     ExtractStrictIds_instance = this;
@@ -3504,7 +3568,8 @@
   function ExtractStrictIds_getInstance() {
     if (ExtractStrictIds_instance === null) {
       new ExtractStrictIds();
-    }return ExtractStrictIds_instance;
+    }
+    return ExtractStrictIds_instance;
   }
   function RuleToClause() {
     RuleToClause_instance = this;
@@ -3531,7 +3596,8 @@
           case 3:
             block$result = Clause.Companion.of(Struct.Companion.of('rl', [it.get_za3lpa$(2)]), [item]);
             break block$break;
-          default:throw IllegalArgumentException_init();
+          default:
+            throw IllegalArgumentException_init();
         }
       }
        while (false);
@@ -3548,7 +3614,8 @@
   function RuleToClause_getInstance() {
     if (RuleToClause_instance === null) {
       new RuleToClause();
-    }return RuleToClause_instance;
+    }
+    return RuleToClause_instance;
   }
   function StructuredModeBase() {
     LazyRawPrologContent.call(this);
@@ -3564,7 +3631,7 @@
   Object.defineProperty(StructuredModeBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(StructuredModeBase.prototype, 'baseFlags', {
@@ -3608,7 +3675,8 @@
   function QueryMode_getInstance() {
     if (QueryMode_instance === null) {
       new QueryMode();
-    }return QueryMode_instance;
+    }
+    return QueryMode_instance;
   }
   function AmbiguityBlocking() {
     AmbiguityBlocking_instance = this;
@@ -3631,7 +3699,8 @@
   function AmbiguityBlocking_getInstance() {
     if (AmbiguityBlocking_instance === null) {
       new AmbiguityBlocking();
-    }return AmbiguityBlocking_instance;
+    }
+    return AmbiguityBlocking_instance;
   }
   function DebugBase() {
     LazyRawPrologContent.call(this);
@@ -3647,7 +3716,7 @@
   Object.defineProperty(DebugBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(DebugBase.prototype, 'baseFlags', {
@@ -3684,7 +3753,7 @@
   Object.defineProperty(SuperiorityRelationBase.prototype, 'baseContent', {
     configurable: true,
     get: function () {
-      return Library.Companion.aliased(this.alias, void 0, this.prologTheory);
+      return Library.Companion.of(this.alias, void 0, this.prologTheory);
     }
   });
   Object.defineProperty(SuperiorityRelationBase.prototype, 'baseFlags', {
@@ -3728,7 +3797,8 @@
   function OrderingPrinciple_getInstance() {
     if (OrderingPrinciple_instance === null) {
       new OrderingPrinciple();
-    }return OrderingPrinciple_instance;
+    }
+    return OrderingPrinciple_instance;
   }
   function OrderingComparator() {
     OrderingComparator_instance = this;
@@ -3751,7 +3821,8 @@
   function OrderingComparator_getInstance() {
     if (OrderingComparator_instance === null) {
       new OrderingComparator();
-    }return OrderingComparator_instance;
+    }
+    return OrderingComparator_instance;
   }
   function UtilsBase() {
     LazyRawPrologContent.call(this);
@@ -3774,7 +3845,7 @@
       var tmp$_2 = to(AppendOptimized_getInstance().signature, AppendOptimized_getInstance());
       var tmp$_3 = to(AssertAll_getInstance().signature, AssertAll_getInstance());
       var $this = ArgumentHash_getInstance();
-      return tmp$_1.aliased(tmp$, mapOf_0([tmp$_2, tmp$_3, to($this.signature, $this.wrappedImplementation), to(Contains_getInstance().signature, Contains_getInstance()), to(ContainsAny_getInstance().signature, ContainsAny_getInstance())]), tmp$_0);
+      return tmp$_1.of(tmp$, mapOf_0([tmp$_2, tmp$_3, to($this.signature, $this.wrappedImplementation), to(Contains_getInstance().signature, Contains_getInstance()), to(ContainsAny_getInstance().signature, ContainsAny_getInstance())]), tmp$_0);
     }
   });
   Object.defineProperty(UtilsBase.prototype, 'baseFlags', {
@@ -3832,7 +3903,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -3861,11 +3933,14 @@
     var res = request.arguments.get_za3lpa$(2);
     if (!Kotlin.isType(list1, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, list1);
-    }if (!Kotlin.isType(list2, List)) {
+    }
+    if (!Kotlin.isType(list2, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, list2);
-    }if (!Kotlin.isType(res, Var)) {
+    }
+    if (!Kotlin.isType(res, Var)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.VARIABLE, res);
-    }return sequence(AppendOptimized$solve$lambda(request, res, list1, list2));
+    }
+    return sequence(AppendOptimized$solve$lambda(request, res, list1, list2));
   };
   AppendOptimized.$metadata$ = {
     kind: Kind_OBJECT,
@@ -3876,7 +3951,8 @@
   function AppendOptimized_getInstance() {
     if (AppendOptimized_instance === null) {
       new AppendOptimized();
-    }return AppendOptimized_instance;
+    }
+    return AppendOptimized_instance;
   }
   function AssertAll() {
     AssertAll_instance = this;
@@ -3922,7 +3998,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -3949,7 +4026,8 @@
     var list = request.arguments.get_za3lpa$(0);
     if (!Kotlin.isType(list, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, list);
-    }arg2pScope(AssertAll$solve$lambda(list, request));
+    }
+    arg2pScope(AssertAll$solve$lambda(list, request));
     return sequence(AssertAll$solve$lambda_0(request));
   };
   AssertAll.$metadata$ = {
@@ -3961,7 +4039,8 @@
   function AssertAll_getInstance() {
     if (AssertAll_instance === null) {
       new AssertAll();
-    }return AssertAll_instance;
+    }
+    return AssertAll_instance;
   }
   function ArgumentHash() {
     ArgumentHash_instance = this;
@@ -3979,7 +4058,8 @@
   function ArgumentHash_getInstance() {
     if (ArgumentHash_instance === null) {
       new ArgumentHash();
-    }return ArgumentHash_instance;
+    }
+    return ArgumentHash_instance;
   }
   function Contains() {
     Contains_instance = this;
@@ -4014,14 +4094,16 @@
               if (Kotlin.isType($receiver, Collection) && $receiver.isEmpty()) {
                 any$result = false;
                 break any$break;
-              }tmp$_0 = $receiver.iterator();
+              }
+              tmp$_0 = $receiver.iterator();
               while (tmp$_0.hasNext()) {
                 var element = tmp$_0.next();
                 var closure$elem = this.local$closure$elem;
                 if (Unificator.Companion.default.match(element, closure$elem)) {
                   any$result = true;
                   break any$break;
-                }}
+                }
+              }
               any$result = false;
             }
              while (false);
@@ -4034,7 +4116,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -4062,7 +4145,8 @@
     var list = request.arguments.get_za3lpa$(1);
     if (!Kotlin.isType(list, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, list);
-    }return sequence(Contains$solve$lambda(request, list, elem));
+    }
+    return sequence(Contains$solve$lambda(request, list, elem));
   };
   Contains.$metadata$ = {
     kind: Kind_OBJECT,
@@ -4073,7 +4157,8 @@
   function Contains_getInstance() {
     if (Contains_instance === null) {
       new Contains();
-    }return Contains_instance;
+    }
+    return Contains_instance;
   }
   function ContainsAny() {
     ContainsAny_instance = this;
@@ -4118,14 +4203,16 @@
                     if (Unificator.Companion.default.match(element, element_0)) {
                       any$result_0 = true;
                       break any$break_0;
-                    }}
+                    }
+                  }
                   any$result_0 = false;
                 }
                  while (false);
                 if (any$result_0) {
                   any$result = true;
                   break any$break;
-                }}
+                }
+              }
               any$result = false;
             }
              while (false);
@@ -4138,7 +4225,8 @@
             throw this.exception_0;
           case 2:
             return this.result_0;
-          default:this.state_0 = 1;
+          default:
+            this.state_0 = 1;
             throw new Error('State Machine Unreachable execution');
         }
       } catch (e) {
@@ -4166,9 +4254,11 @@
     var list = request.arguments.get_za3lpa$(1);
     if (!Kotlin.isType(list, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, list);
-    }if (!Kotlin.isType(elemList, List)) {
+    }
+    if (!Kotlin.isType(elemList, List)) {
       throw TypeError.Companion.forGoal(request.context, request.signature, TypeError$Expected.LIST, list);
-    }return sequence(ContainsAny$solve$lambda(request, list, elemList));
+    }
+    return sequence(ContainsAny$solve$lambda(request, list, elemList));
   };
   ContainsAny.$metadata$ = {
     kind: Kind_OBJECT,
@@ -4179,11 +4269,12 @@
   function ContainsAny_getInstance() {
     if (ContainsAny_instance === null) {
       new ContainsAny();
-    }return ContainsAny_instance;
+    }
+    return ContainsAny_instance;
   }
   function MetaInterpreterLib() {
     MetaInterpreterLib_instance = this;
-    this.$delegate_3wovwi$_0 = Library.Companion.aliased('prolog.argumentation.meta', void 0, parse_2(Theory.Companion, trimIndent('\n        % with_facts_and_length/3\n        with_facts_and_length(X, Y, L) :-\n            solve(X, R),\n            recover_facts(R, Y),\n            length(Y, L).\n\n        % lenght/2\n\n        length([], 0).\n        length([_|T], X) :- length(T, Y), X is Y + 1.\n\n        % recover_facts/2\n\n        recover_facts([], []) :- !.\n        recover_facts([H|T], C) :-\n            is_list(H), !,\n            recover_facts(T, TC),\n            recover_facts(H, HC),\n            append(TC, HC, C).\n        recover_facts([H|T], C) :-\n            \\+ is_list(H),\n            recover_facts(T, TC),\n            evaluate(H, HC),\n            append(TC, HC, C).\n\n        evaluate(user_fact(X), [X]) :- !.\n        evaluate(_, []) :- !.\n\n        % solve/2\n\n        solve((A,B), Result) :- !,\n            solve(A, ARes),\n            solve(B, BRes),\n            append(ARes, BRes, Result).\n\n        solve((A;B), Result) :- !,\n            solve(A, Result);\n            solve(B, Result).\n\n        solve(member(A, B), [system_predicate]) :- !,\n            call(member(A, B)).\n\n        solve(\\+(A), [not(A)]) :- !,\n            call(\\+(A)).\n\n        solve((A)\\=(B), [doNotUnify(A, B)]) :- !,\n            call((A)\\=(B)).\n\n        solve(A, [system_predicate]) :-\n            catch(clause(A, _), B, true),\n            \\+ var(B), !,\n            call(A).\n\n        solve(A, [A]) :-\n            \\+ clause(A, B), !,\n            call(A).\n\n        solve(A, [A|[Res]]) :-\n            clause(A, B),\n            solve(B, Res).\n\n        % is_list/1\n\n        is_list(X) :- var(X), !, fail.\n        is_list([]).\n        is_list([_|T]) :- is_list(T).\n        \n        % fetch_argument_facts/2\n        \n        fetch_argument_facts(Conclusion, Facts) :-\n            argument([R, TR, [Conclusion]]),\n            findall(user_fact(Fact), \n                support([_, _, [user_fact(Fact)]], [R, TR, [Conclusion]]),\n            Facts).\n        ')));
+    this.$delegate_3wovwi$_0 = Library.Companion.of('prolog.argumentation.meta', void 0, parse_2(Theory.Companion, trimIndent('\n        % with_facts_and_length/3\n        with_facts_and_length(X, Y, L) :-\n            solve(X, R),\n            recover_facts(R, Y),\n            length(Y, L).\n\n        % lenght/2\n\n        length([], 0).\n        length([_|T], X) :- length(T, Y), X is Y + 1.\n\n        % recover_facts/2\n\n        recover_facts([], []) :- !.\n        recover_facts([H|T], C) :-\n            is_list(H), !,\n            recover_facts(T, TC),\n            recover_facts(H, HC),\n            append(TC, HC, C).\n        recover_facts([H|T], C) :-\n            \\+ is_list(H),\n            recover_facts(T, TC),\n            evaluate(H, HC),\n            append(TC, HC, C).\n\n        evaluate(user_fact(X), [X]) :- !.\n        evaluate(_, []) :- !.\n\n        % solve/2\n\n        solve((A,B), Result) :- !,\n            solve(A, ARes),\n            solve(B, BRes),\n            append(ARes, BRes, Result).\n\n        solve((A;B), Result) :- !,\n            solve(A, Result);\n            solve(B, Result).\n\n        solve(member(A, B), [system_predicate]) :- !,\n            call(member(A, B)).\n\n        solve(\\+(A), [not(A)]) :- !,\n            call(\\+(A)).\n\n        solve((A)\\=(B), [doNotUnify(A, B)]) :- !,\n            call((A)\\=(B)).\n\n        solve(A, [system_predicate]) :-\n            catch(clause(A, _), B, true),\n            \\+ var(B), !,\n            call(A).\n\n        solve(A, [A]) :-\n            \\+ clause(A, B), !,\n            call(A).\n\n        solve(A, [A|[Res]]) :-\n            clause(A, B),\n            solve(B, Res).\n\n        % is_list/1\n\n        is_list(X) :- var(X), !, fail.\n        is_list([]).\n        is_list([_|T]) :- is_list(T).\n        \n        % fetch_argument_facts/2\n        \n        fetch_argument_facts(Conclusion, Facts) :-\n            argument([R, TR, [Conclusion]]),\n            findall(user_fact(Fact), \n                support([_, _, [user_fact(Fact)]], [R, TR, [Conclusion]]),\n            Facts).\n        ')));
   }
   Object.defineProperty(MetaInterpreterLib.prototype, 'alias', {
     configurable: true,
@@ -4221,22 +4312,32 @@
   MetaInterpreterLib.prototype.containsSignature = function (signature) {
     return this.$delegate_3wovwi$_0.containsSignature(signature);
   };
+  MetaInterpreterLib.prototype.equals = function (other) {
+    return this.$delegate_3wovwi$_0.equals(other);
+  };
   MetaInterpreterLib.prototype.hasPrimitive = function (signature) {
     return this.$delegate_3wovwi$_0.hasPrimitive(signature);
   };
   MetaInterpreterLib.prototype.hasProtected = function (signature) {
     return this.$delegate_3wovwi$_0.hasProtected(signature);
   };
+  MetaInterpreterLib.prototype.hashCode = function () {
+    return this.$delegate_3wovwi$_0.hashCode();
+  };
+  MetaInterpreterLib.prototype.toString = function () {
+    return this.$delegate_3wovwi$_0.toString();
+  };
   MetaInterpreterLib.$metadata$ = {
     kind: Kind_OBJECT,
     simpleName: 'MetaInterpreterLib',
-    interfaces: [AliasedLibrary]
+    interfaces: [Library]
   };
   var MetaInterpreterLib_instance = null;
   function MetaInterpreterLib_getInstance() {
     if (MetaInterpreterLib_instance === null) {
       new MetaInterpreterLib();
-    }return MetaInterpreterLib_instance;
+    }
+    return MetaInterpreterLib_instance;
   }
   function graph($receiver, context) {
     var it = arguments_0($receiver, context);
@@ -4275,7 +4376,7 @@
     };
   }
   function arguments_0($receiver, context) {
-    return toList(prolog(arguments$lambda($receiver, context)));
+    return toList(logicProgramming(arguments$lambda($receiver, context)));
   }
   function attacks$lambda$lambda(it) {
     return it.isYes;
@@ -4297,7 +4398,8 @@
           if (element.hashCode() === solution.first.hashCode()) {
             first$result = element;
             break first$break;
-          }}
+          }
+        }
         throw new NoSuchElementException_init('Collection contains no element matching the predicate.');
       }
        while (false);
@@ -4312,7 +4414,8 @@
           if (element_0.hashCode() === solution.second.hashCode()) {
             first$result_0 = element_0;
             break first$break;
-          }}
+          }
+        }
         throw new NoSuchElementException_init('Collection contains no element matching the predicate.');
       }
        while (false);
@@ -4327,7 +4430,7 @@
   function attacks($receiver, context, arguments_0) {
     if (arguments_0.isEmpty())
       return emptyList();
-    return toList(prolog(attacks$lambda($receiver, context, arguments_0)));
+    return toList(logicProgramming(attacks$lambda($receiver, context, arguments_0)));
   }
   function supports$lambda$lambda(it) {
     return it.isYes;
@@ -4349,7 +4452,8 @@
           if (element.hashCode() === solution.second.hashCode()) {
             first$result = element;
             break first$break;
-          }}
+          }
+        }
         throw new NoSuchElementException_init('Collection contains no element matching the predicate.');
       }
        while (false);
@@ -4364,7 +4468,8 @@
           if (element_0.hashCode() === solution.first.hashCode()) {
             first$result_0 = element_0;
             break first$break;
-          }}
+          }
+        }
         throw new NoSuchElementException_init('Collection contains no element matching the predicate.');
       }
        while (false);
@@ -4379,37 +4484,48 @@
     };
   }
   function supports($receiver, context, arguments_0) {
-    return prolog(supports$lambda($receiver, context, arguments_0));
+    return logicProgramming(supports$lambda($receiver, context, arguments_0));
   }
   function labels$checkFunctor$lambda$lambda(it) {
     return it.isYes;
   }
-  function labels$checkFunctor$lambda$lambda_0(closure$functor) {
-    return function (it) {
-      return closure$functor;
+  function labels$checkFunctor$lambda$lambda_0(closure$arguments, this$, closure$functor) {
+    return function (res) {
+      var $receiver = closure$arguments;
+      var first$result;
+      first$break: do {
+        var tmp$;
+        tmp$ = $receiver.iterator();
+        while (tmp$.hasNext()) {
+          var element = tmp$.next();
+          var this$_0 = this$;
+          var tmp$_0 = element.hashCode();
+          var $receiver_0 = res.substitution.get_11rb$(this$_0.X);
+          var tmp$_1;
+          if (tmp$_0 === ((tmp$_1 = $receiver_0 != null ? hashCode($receiver_0) : null) != null ? tmp$_1 : 0)) {
+            first$result = element;
+            break first$break;
+          }
+        }
+        throw new NoSuchElementException_init('Collection contains no element matching the predicate.');
+      }
+       while (false);
+      return new LabelledArgument(first$result, closure$functor);
     };
   }
-  function labels$checkFunctor$lambda(this$labels, closure$context, closure$functor, closure$argument) {
+  function labels$checkFunctor$lambda(this$labels, closure$context, closure$functor, closure$arguments) {
     return function ($receiver) {
-      return firstOrNull(map(filter(this$labels.solve($receiver.stringInvoke('context_check', closure$context, [$receiver.stringInvoke(closure$functor, closure$argument.termRepresentation(), [])])), labels$checkFunctor$lambda$lambda), labels$checkFunctor$lambda$lambda_0(closure$functor)));
+      return toList(map(filter(this$labels.solve($receiver.stringInvoke('context_check', closure$context, [$receiver.stringInvoke(closure$functor, $receiver.X, [])])), labels$checkFunctor$lambda$lambda), labels$checkFunctor$lambda$lambda_0(closure$arguments, $receiver, closure$functor)));
     };
   }
-  function labels$checkFunctor(this$labels, closure$context) {
-    return function (functor, argument) {
-      return prolog(labels$checkFunctor$lambda(this$labels, closure$context, functor, argument));
+  function labels$checkFunctor(this$labels, closure$context, closure$arguments) {
+    return function (functor) {
+      return logicProgramming(labels$checkFunctor$lambda(this$labels, closure$context, functor, closure$arguments));
     };
   }
   function labels($receiver, context, arguments_0) {
-    var checkFunctor = labels$checkFunctor($receiver, context);
-    var destination = ArrayList_init(collectionSizeOrDefault(arguments_0, 10));
-    var tmp$;
-    tmp$ = arguments_0.iterator();
-    while (tmp$.hasNext()) {
-      var item = tmp$.next();
-      var tmp$_0, tmp$_1;
-      destination.add_11rb$(new LabelledArgument(item, (tmp$_1 = (tmp$_0 = checkFunctor('in', item)) != null ? tmp$_0 : checkFunctor('out', item)) != null ? tmp$_1 : 'und'));
-    }
-    return destination;
+    var checkFunctor = labels$checkFunctor($receiver, context, arguments_0);
+    return plus(plus(checkFunctor('in'), checkFunctor('out')), checkFunctor('und'));
   }
   function Argument(rules, topRule, conclusion, groundings, defeasibleRules, defeasiblePremises, lastDefeasibleRules, term) {
     Argument$Companion_getInstance();
@@ -4445,7 +4561,7 @@
       var tmp$, tmp$_0, tmp$_1;
       tmp$_1 = this.identifier + ' : ';
       if (equals(this.topRule, 'none'))
-        tmp$_0 = (tmp$ = firstOrNull_0(this.rules)) != null ? tmp$ : '';
+        tmp$_0 = (tmp$ = firstOrNull(this.rules)) != null ? tmp$ : '';
       else {
         var $receiver = this.supports;
         var destination = ArrayList_init(collectionSizeOrDefault($receiver, 10));
@@ -4549,7 +4665,8 @@
   function Argument$Companion_getInstance() {
     if (Argument$Companion_instance === null) {
       new Argument$Companion();
-    }return Argument$Companion_instance;
+    }
+    return Argument$Companion_instance;
   }
   Argument.$metadata$ = {
     kind: Kind_CLASS,
@@ -4665,7 +4782,8 @@
   function Graph$Companion_getInstance() {
     if (Graph$Companion_instance === null) {
       new Graph$Companion();
-    }return Graph$Companion_instance;
+    }
+    return Graph$Companion_instance;
   }
   Graph.$metadata$ = {
     kind: Kind_CLASS,
@@ -4891,7 +5009,8 @@
   function EngineInterface_getInstance() {
     if (EngineInterface_instance === null) {
       new EngineInterface();
-    }return EngineInterface_instance;
+    }
+    return EngineInterface_instance;
   }
   function AbstractMode() {
     AbstractMode_instance = this;
@@ -4912,7 +5031,8 @@
   function AbstractMode_getInstance() {
     if (AbstractMode_instance === null) {
       new AbstractMode();
-    }return AbstractMode_instance;
+    }
+    return AbstractMode_instance;
   }
   function ArgumentationGraphBuilder() {
     ArgumentationGraphBuilder_instance = this;
@@ -4933,7 +5053,8 @@
   function ArgumentationGraphBuilder_getInstance() {
     if (ArgumentationGraphBuilder_instance === null) {
       new ArgumentationGraphBuilder();
-    }return ArgumentationGraphBuilder_instance;
+    }
+    return ArgumentationGraphBuilder_instance;
   }
   function AttackRestrictionHandler() {
     AttackRestrictionHandler_instance = this;
@@ -4954,7 +5075,8 @@
   function AttackRestrictionHandler_getInstance() {
     if (AttackRestrictionHandler_instance === null) {
       new AttackRestrictionHandler();
-    }return AttackRestrictionHandler_instance;
+    }
+    return AttackRestrictionHandler_instance;
   }
   function BpMetaGraphHandler() {
     BpMetaGraphHandler_instance = this;
@@ -4975,7 +5097,8 @@
   function BpMetaGraphHandler_getInstance() {
     if (BpMetaGraphHandler_instance === null) {
       new BpMetaGraphHandler();
-    }return BpMetaGraphHandler_instance;
+    }
+    return BpMetaGraphHandler_instance;
   }
   function DefeasiblePreferencesHandler() {
     DefeasiblePreferencesHandler_instance = this;
@@ -4996,7 +5119,8 @@
   function DefeasiblePreferencesHandler_getInstance() {
     if (DefeasiblePreferencesHandler_instance === null) {
       new DefeasiblePreferencesHandler();
-    }return DefeasiblePreferencesHandler_instance;
+    }
+    return DefeasiblePreferencesHandler_instance;
   }
   function GenericDefeasiblePreferencesHandler() {
     GenericDefeasiblePreferencesHandler_instance = this;
@@ -5017,7 +5141,8 @@
   function GenericDefeasiblePreferencesHandler_getInstance() {
     if (GenericDefeasiblePreferencesHandler_instance === null) {
       new GenericDefeasiblePreferencesHandler();
-    }return GenericDefeasiblePreferencesHandler_instance;
+    }
+    return GenericDefeasiblePreferencesHandler_instance;
   }
   function StrictPreferencesHandler() {
     StrictPreferencesHandler_instance = this;
@@ -5038,7 +5163,8 @@
   function StrictPreferencesHandler_getInstance() {
     if (StrictPreferencesHandler_instance === null) {
       new StrictPreferencesHandler();
-    }return StrictPreferencesHandler_instance;
+    }
+    return StrictPreferencesHandler_instance;
   }
   function BpCompleteLabeller() {
     BpCompleteLabeller_instance = this;
@@ -5059,7 +5185,8 @@
   function BpCompleteLabeller_getInstance() {
     if (BpCompleteLabeller_instance === null) {
       new BpCompleteLabeller();
-    }return BpCompleteLabeller_instance;
+    }
+    return BpCompleteLabeller_instance;
   }
   function BpLabeller() {
     BpLabeller_instance = this;
@@ -5080,7 +5207,8 @@
   function BpLabeller_getInstance() {
     if (BpLabeller_instance === null) {
       new BpLabeller();
-    }return BpLabeller_instance;
+    }
+    return BpLabeller_instance;
   }
   function BpPartialLabeller() {
     BpPartialLabeller_instance = this;
@@ -5101,7 +5229,8 @@
   function BpPartialLabeller_getInstance() {
     if (BpPartialLabeller_instance === null) {
       new BpPartialLabeller();
-    }return BpPartialLabeller_instance;
+    }
+    return BpPartialLabeller_instance;
   }
   function CompleteLabeller() {
     CompleteLabeller_instance = this;
@@ -5122,7 +5251,8 @@
   function CompleteLabeller_getInstance() {
     if (CompleteLabeller_instance === null) {
       new CompleteLabeller();
-    }return CompleteLabeller_instance;
+    }
+    return CompleteLabeller_instance;
   }
   function GroundedLabeller() {
     GroundedLabeller_instance = this;
@@ -5143,7 +5273,8 @@
   function GroundedLabeller_getInstance() {
     if (GroundedLabeller_instance === null) {
       new GroundedLabeller();
-    }return GroundedLabeller_instance;
+    }
+    return GroundedLabeller_instance;
   }
   function GroundedLabellerOptimized() {
     GroundedLabellerOptimized_instance = this;
@@ -5164,7 +5295,8 @@
   function GroundedLabellerOptimized_getInstance() {
     if (GroundedLabellerOptimized_instance === null) {
       new GroundedLabellerOptimized();
-    }return GroundedLabellerOptimized_instance;
+    }
+    return GroundedLabellerOptimized_instance;
   }
   function StatementLabeller() {
     StatementLabeller_instance = this;
@@ -5185,7 +5317,8 @@
   function StatementLabeller_getInstance() {
     if (StatementLabeller_instance === null) {
       new StatementLabeller();
-    }return StatementLabeller_instance;
+    }
+    return StatementLabeller_instance;
   }
   function RuleParser() {
     RuleParser_instance = this;
@@ -5206,7 +5339,8 @@
   function RuleParser_getInstance() {
     if (RuleParser_instance === null) {
       new RuleParser();
-    }return RuleParser_instance;
+    }
+    return RuleParser_instance;
   }
   function AbstractMode_0() {
     AbstractMode_instance_0 = this;
@@ -5221,7 +5355,8 @@
   function AbstractMode_getInstance_0() {
     if (AbstractMode_instance_0 === null) {
       new AbstractMode_0();
-    }return AbstractMode_instance_0;
+    }
+    return AbstractMode_instance_0;
   }
   function ArgumentationEngineInterface() {
     ArgumentationEngineInterface_instance = this;
@@ -5236,7 +5371,8 @@
   function ArgumentationEngineInterface_getInstance() {
     if (ArgumentationEngineInterface_instance === null) {
       new ArgumentationEngineInterface();
-    }return ArgumentationEngineInterface_instance;
+    }
+    return ArgumentationEngineInterface_instance;
   }
   function ArgumentationGraph() {
     ArgumentationGraph_instance = this;
@@ -5251,7 +5387,8 @@
   function ArgumentationGraph_getInstance() {
     if (ArgumentationGraph_instance === null) {
       new ArgumentationGraph();
-    }return ArgumentationGraph_instance;
+    }
+    return ArgumentationGraph_instance;
   }
   function AttackRestriction() {
     AttackRestriction_instance = this;
@@ -5266,11 +5403,12 @@
   function AttackRestriction_getInstance() {
     if (AttackRestriction_instance === null) {
       new AttackRestriction();
-    }return AttackRestriction_instance;
+    }
+    return AttackRestriction_instance;
   }
   function Bp() {
     Bp_instance = this;
-    this.theoryCode = trimIndent('\n    modifyArgumentationGraph :-\n        findall(([Rules, Top, [bp, Checked], G, I], [Z, P, Y, GG, II]), (\n            context_check(argument([Rules, Top, [bp, Checked], G, I])),\n            member(Y, Checked),\n            context_check(argument([Z, P, Y, GG, II]))\n        ), TemplateBpPairs),\n        checkBpArguments(TemplateBpPairs).\n    checkBpArguments([]).\n    checkBpArguments(TemplateBpPairs) :-\n        createBpArguments(TemplateBpPairs, BpPairs),\n        createBpAttacks(BpPairs).\n    createBpArguments([], []).\n    createBpArguments([(Original, [Z, P, Y, B, I])|Others], [(Conflict, [Z, P, Y, B, I])|BpPairs]) :-\n        Conflict = [[artificial|Z], artificial, [neg, burdmet(Y)], [], [[artificial], [artificial], []]],\n        context_assert(argument(Conflict)),\n        context_assert(support(Original, Conflict)),\n        liftBpAttacks(Original, Conflict),\n        createBpArguments(Others, BpPairs).\n    liftBpAttacks(Template, BpArg) :-\n        findall(_, (\n            context_check(attack(T, A, Template, O)),\n            context_assert(attack(T, A, BpArg, O))\n        ), _).\n    createBpAttacks(BpPairs) :-\n        generateBpsEvaluationChain(BpPairs, OrderedBpPairs),\n        evaluateBurdenedArgs(OrderedBpPairs).\n    generateBpsEvaluationChain([], []).\n    generateBpsEvaluationChain([BpPair|BpPairs], OrderedBpPairs) :-\n        generateBpsEvaluationChain(BpPairs, TempOrderedBpPairs),\n        insertBpPair(BpPair, TempOrderedBpPairs, OrderedBpPairs).\n    insertBpPair(BpPair, [], [BpPair]).\n    insertBpPair((Bp, Burdened), [(BpL, BurdenedL)|Others], [(BpL, BurdenedL)|Return]) :-\n        bp_grounded::argumentChain(BurdenedL, Burdened),\n        insertBpPair((Bp, Burdened), Others, Return), !.\n    insertBpPair((Bp, Burdened), [(BpL, BurdenedL)|Others], [(Bp, Burdened)|[(BpL, BurdenedL)|Others]]).\n    evaluateBurdenedArgs([]).\n    evaluateBurdenedArgs([(Bp, Burdened)|Others]) :-\n        context_active(X),\n        grounded:::argumentLabelling,\n        statusToAttack((Bp, Burdened), Attack),\n        context_checkout(X),\n        context_assert(Attack),\n        evaluateBurdenedArgs(Others).\n    statusToAttack((Bp, Burdened), attack(bprebut, Burdened, Bp, Bp)) :-\n        context_check(in(Burdened)).\n    statusToAttack((Bp, Burdened), attack(bprebut, Bp, Burdened, Burdened)) :-\n        \\+ context_check(in(Burdened)).\n        ');
+    this.theoryCode = trimIndent('\n    modifyArgumentationGraph :-\n        findall(([Rules, Top, [bp(Checked)], G, I], [Z, P, [Y], GG, II]), (\n            context_check(argument([Rules, Top, [bp(Checked)], G, I])),\n            member(Y, [Checked]),\n            context_check(argument([Z, P, [Y], GG, II]))\n        ), TemplateBpPairs),\n        checkBpArguments(TemplateBpPairs).\n    checkBpArguments([]).\n    checkBpArguments(TemplateBpPairs) :-\n        createBpArguments(TemplateBpPairs, BpPairs),\n        createBpAttacks(BpPairs).\n    createBpArguments([], []).\n    createBpArguments([(Original, [Z, P, Y, B, I])|Others], [(Conflict, [Z, P, Y, B, I])|BpPairs]) :-\n        Conflict = [[artificial|Z], artificial, [-burdmet(Y)], [], [[artificial], [artificial], []]],\n        context_assert(argument(Conflict)),\n        context_assert(support(Original, Conflict)),\n        liftBpAttacks(Original, Conflict),\n        createBpArguments(Others, BpPairs).\n    liftBpAttacks(Template, BpArg) :-\n        findall(_, (\n            context_check(attack(T, A, Template, O)),\n            context_assert(attack(T, A, BpArg, O))\n        ), _).\n    createBpAttacks(BpPairs) :-\n        generateBpsEvaluationChain(BpPairs, OrderedBpPairs),\n        evaluateBurdenedArgs(OrderedBpPairs).\n    generateBpsEvaluationChain([], []).\n    generateBpsEvaluationChain([BpPair|BpPairs], OrderedBpPairs) :-\n        generateBpsEvaluationChain(BpPairs, TempOrderedBpPairs),\n        insertBpPair(BpPair, TempOrderedBpPairs, OrderedBpPairs).\n    insertBpPair(BpPair, [], [BpPair]).\n    insertBpPair((Bp, Burdened), [(BpL, BurdenedL)|Others], [(BpL, BurdenedL)|Return]) :-\n        bp_grounded::argumentChain(BurdenedL, Burdened),\n        insertBpPair((Bp, Burdened), Others, Return), !.\n    insertBpPair((Bp, Burdened), [(BpL, BurdenedL)|Others], [(Bp, Burdened)|[(BpL, BurdenedL)|Others]]).\n    evaluateBurdenedArgs([]).\n    evaluateBurdenedArgs([(Bp, Burdened)|Others]) :-\n        context_active(X),\n        grounded:::argumentLabelling,\n        statusToAttack((Bp, Burdened), Attack),\n        context_checkout(X),\n        context_assert(Attack),\n        evaluateBurdenedArgs(Others).\n    statusToAttack((Bp, Burdened), attack(bprebut, Burdened, Bp, Bp)) :-\n        context_check(in(Burdened)).\n    statusToAttack((Bp, Burdened), attack(bprebut, Bp, Burdened, Burdened)) :-\n        \\+ context_check(in(Burdened)).\n        ');
   }
   Bp.$metadata$ = {
     kind: Kind_OBJECT,
@@ -5281,7 +5419,8 @@
   function Bp_getInstance() {
     if (Bp_instance === null) {
       new Bp();
-    }return Bp_instance;
+    }
+    return Bp_instance;
   }
   function BpGrounded() {
     BpGrounded_instance = this;
@@ -5296,7 +5435,8 @@
   function BpGrounded_getInstance() {
     if (BpGrounded_instance === null) {
       new BpGrounded();
-    }return BpGrounded_instance;
+    }
+    return BpGrounded_instance;
   }
   function BpGroundedComplete() {
     BpGroundedComplete_instance = this;
@@ -5311,7 +5451,8 @@
   function BpGroundedComplete_getInstance() {
     if (BpGroundedComplete_instance === null) {
       new BpGroundedComplete();
-    }return BpGroundedComplete_instance;
+    }
+    return BpGroundedComplete_instance;
   }
   function BpGroundedPartial() {
     BpGroundedPartial_instance = this;
@@ -5326,7 +5467,8 @@
   function BpGroundedPartial_getInstance() {
     if (BpGroundedPartial_instance === null) {
       new BpGroundedPartial();
-    }return BpGroundedPartial_instance;
+    }
+    return BpGroundedPartial_instance;
   }
   function Complete() {
     Complete_instance = this;
@@ -5341,7 +5483,8 @@
   function Complete_getInstance() {
     if (Complete_instance === null) {
       new Complete();
-    }return Complete_instance;
+    }
+    return Complete_instance;
   }
   function Debug() {
     Debug_instance = this;
@@ -5356,7 +5499,8 @@
   function Debug_getInstance() {
     if (Debug_instance === null) {
       new Debug();
-    }return Debug_instance;
+    }
+    return Debug_instance;
   }
   function DefPreferences() {
     DefPreferences_instance = this;
@@ -5371,7 +5515,8 @@
   function DefPreferences_getInstance() {
     if (DefPreferences_instance === null) {
       new DefPreferences();
-    }return DefPreferences_instance;
+    }
+    return DefPreferences_instance;
   }
   function GenericDefPreferences() {
     GenericDefPreferences_instance = this;
@@ -5386,7 +5531,8 @@
   function GenericDefPreferences_getInstance() {
     if (GenericDefPreferences_instance === null) {
       new GenericDefPreferences();
-    }return GenericDefPreferences_instance;
+    }
+    return GenericDefPreferences_instance;
   }
   function Grounded() {
     Grounded_instance = this;
@@ -5401,7 +5547,8 @@
   function Grounded_getInstance() {
     if (Grounded_instance === null) {
       new Grounded();
-    }return Grounded_instance;
+    }
+    return Grounded_instance;
   }
   function GroundedOptimized() {
     GroundedOptimized_instance = this;
@@ -5416,7 +5563,8 @@
   function GroundedOptimized_getInstance() {
     if (GroundedOptimized_instance === null) {
       new GroundedOptimized();
-    }return GroundedOptimized_instance;
+    }
+    return GroundedOptimized_instance;
   }
   function Preferences() {
     Preferences_instance = this;
@@ -5431,7 +5579,8 @@
   function Preferences_getInstance() {
     if (Preferences_instance === null) {
       new Preferences();
-    }return Preferences_instance;
+    }
+    return Preferences_instance;
   }
   function QueryMode_0() {
     QueryMode_instance_0 = this;
@@ -5446,7 +5595,8 @@
   function QueryMode_getInstance_0() {
     if (QueryMode_instance_0 === null) {
       new QueryMode_0();
-    }return QueryMode_instance_0;
+    }
+    return QueryMode_instance_0;
   }
   function RuleTranslator() {
     RuleTranslator_instance = this;
@@ -5461,7 +5611,8 @@
   function RuleTranslator_getInstance() {
     if (RuleTranslator_instance === null) {
       new RuleTranslator();
-    }return RuleTranslator_instance;
+    }
+    return RuleTranslator_instance;
   }
   function StatementLabelling() {
     StatementLabelling_instance = this;
@@ -5476,7 +5627,8 @@
   function StatementLabelling_getInstance() {
     if (StatementLabelling_instance === null) {
       new StatementLabelling();
-    }return StatementLabelling_instance;
+    }
+    return StatementLabelling_instance;
   }
   function SuperiorityRelation() {
     SuperiorityRelation_instance = this;
@@ -5491,7 +5643,8 @@
   function SuperiorityRelation_getInstance() {
     if (SuperiorityRelation_instance === null) {
       new SuperiorityRelation();
-    }return SuperiorityRelation_instance;
+    }
+    return SuperiorityRelation_instance;
   }
   function Utils() {
     Utils_instance = this;
@@ -5506,7 +5659,8 @@
   function Utils_getInstance() {
     if (Utils_instance === null) {
       new Utils();
-    }return Utils_instance;
+    }
+    return Utils_instance;
   }
   function StructuredMode() {
     StructuredMode_instance = this;
@@ -5527,7 +5681,8 @@
   function StructuredMode_getInstance() {
     if (StructuredMode_instance === null) {
       new StructuredMode();
-    }return StructuredMode_instance;
+    }
+    return StructuredMode_instance;
   }
   function Debug_0() {
     Debug_instance_0 = this;
@@ -5548,7 +5703,8 @@
   function Debug_getInstance_0() {
     if (Debug_instance_0 === null) {
       new Debug_0();
-    }return Debug_instance_0;
+    }
+    return Debug_instance_0;
   }
   function SuperiorityRelation_0() {
     SuperiorityRelation_instance_0 = this;
@@ -5569,7 +5725,8 @@
   function SuperiorityRelation_getInstance_0() {
     if (SuperiorityRelation_instance_0 === null) {
       new SuperiorityRelation_0();
-    }return SuperiorityRelation_instance_0;
+    }
+    return SuperiorityRelation_instance_0;
   }
   function Utils_0() {
     Utils_instance_0 = this;
@@ -5590,7 +5747,8 @@
   function Utils_getInstance_0() {
     if (Utils_instance_0 === null) {
       new Utils_0();
-    }return Utils_instance_0;
+    }
+    return Utils_instance_0;
   }
   Object.defineProperty(Arg2pSolver, 'Companion', {
     get: Arg2pSolver$Companion_getInstance
@@ -5907,168 +6065,98 @@
   });
   Arg2pSolver$Companion$of$ObjectLiteral.prototype.to2pLibraries = Arg2pSolver.prototype.to2pLibraries;
   Arg2pSolver$Companion$of$ObjectLiteral.prototype.operators = Arg2pSolver.prototype.operators;
-  PrologWithArgumentation.prototype.call1 = PrologScopeWithTheories.prototype.call1;
-  Object.defineProperty(PrologWithArgumentation.prototype, 'A', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'A'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'B', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'B'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'C', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'C'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'D', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'D'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'E', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'E'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'F', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'F'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'G', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'G'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'H', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'H'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'I', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'I'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'J', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'J'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'K', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'K'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'L', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'L'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'M', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'M'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'N', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'N'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'O', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'O'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'P', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'P'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'Q', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'Q'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'R', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'R'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'S', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'S'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'T', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'T'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'U', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'U'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'V', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'V'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'W', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'W'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'X', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'X'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'Y', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'Y'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'Z', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'Z'));
-  Object.defineProperty(PrologWithArgumentation.prototype, '_', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, '_'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'at_end_of_stream', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'at_end_of_stream'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'cut', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'cut'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'halt', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'halt'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'nl', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'nl'));
-  Object.defineProperty(PrologWithArgumentation.prototype, 'repeat', Object.getOwnPropertyDescriptor(PrologScopeWithTheories.prototype, 'repeat'));
-  PrologWithArgumentation.prototype.abolish1 = PrologScopeWithTheories.prototype.abolish1;
-  PrologWithArgumentation.prototype.append3 = PrologScopeWithTheories.prototype.append3;
-  PrologWithArgumentation.prototype.arg3 = PrologScopeWithTheories.prototype.arg3;
-  PrologWithArgumentation.prototype.assert1 = PrologScopeWithTheories.prototype.assert1;
-  PrologWithArgumentation.prototype.asserta1 = PrologScopeWithTheories.prototype.asserta1;
-  PrologWithArgumentation.prototype.assertz1 = PrologScopeWithTheories.prototype.assertz1;
-  PrologWithArgumentation.prototype.at_end_of_stream1 = PrologScopeWithTheories.prototype.at_end_of_stream1;
-  PrologWithArgumentation.prototype.atom1 = PrologScopeWithTheories.prototype.atom1;
-  PrologWithArgumentation.prototype.atom_chars2 = PrologScopeWithTheories.prototype.atom_chars2;
-  PrologWithArgumentation.prototype.atom_codes2 = PrologScopeWithTheories.prototype.atom_codes2;
-  PrologWithArgumentation.prototype.atom_concat3 = PrologScopeWithTheories.prototype.atom_concat3;
-  PrologWithArgumentation.prototype.atom_length2 = PrologScopeWithTheories.prototype.atom_length2;
-  PrologWithArgumentation.prototype.atomic1 = PrologScopeWithTheories.prototype.atomic1;
-  PrologWithArgumentation.prototype.bagof3 = PrologScopeWithTheories.prototype.bagof3;
-  PrologWithArgumentation.prototype.between3 = PrologScopeWithTheories.prototype.between3;
-  PrologWithArgumentation.prototype.blockOf = PrologScopeWithTheories.prototype.blockOf;
-  PrologWithArgumentation.prototype.callable1 = PrologScopeWithTheories.prototype.callable1;
-  PrologWithArgumentation.prototype.catch3 = PrologScopeWithTheories.prototype.catch3;
-  PrologWithArgumentation.prototype.char_code2 = PrologScopeWithTheories.prototype.char_code2;
-  PrologWithArgumentation.prototype.clause_fzbqwd$ = PrologScopeWithTheories.prototype.clause_fzbqwd$;
-  PrologWithArgumentation.prototype.clause2 = PrologScopeWithTheories.prototype.clause2;
-  PrologWithArgumentation.prototype.compound1 = PrologScopeWithTheories.prototype.compound1;
-  PrologWithArgumentation.prototype.consOfAny = PrologScopeWithTheories.prototype.consOfAny;
-  PrologWithArgumentation.prototype.consult1 = PrologScopeWithTheories.prototype.consult1;
-  PrologWithArgumentation.prototype.substitutionContains = PrologScopeWithTheories.prototype.substitutionContains;
-  PrologWithArgumentation.prototype.copy_term2 = PrologScopeWithTheories.prototype.copy_term2;
-  PrologWithArgumentation.prototype.current_flag2 = PrologScopeWithTheories.prototype.current_flag2;
-  PrologWithArgumentation.prototype.current_op3 = PrologScopeWithTheories.prototype.current_op3;
-  PrologWithArgumentation.prototype.current_prolog_flag2 = PrologScopeWithTheories.prototype.current_prolog_flag2;
-  PrologWithArgumentation.prototype.directive = PrologScopeWithTheories.prototype.directive;
-  PrologWithArgumentation.prototype.directiveOfAny = PrologScopeWithTheories.prototype.directiveOfAny;
-  PrologWithArgumentation.prototype.dynamic1 = PrologScopeWithTheories.prototype.dynamic1;
-  PrologWithArgumentation.prototype.fact = PrologScopeWithTheories.prototype.fact;
-  PrologWithArgumentation.prototype.factOfAny = PrologScopeWithTheories.prototype.factOfAny;
-  PrologWithArgumentation.prototype.findall3 = PrologScopeWithTheories.prototype.findall3;
-  PrologWithArgumentation.prototype.float1 = PrologScopeWithTheories.prototype.float1;
-  PrologWithArgumentation.prototype.functor3 = PrologScopeWithTheories.prototype.functor3;
-  PrologWithArgumentation.prototype.substitutionGet = PrologScopeWithTheories.prototype.substitutionGet;
-  PrologWithArgumentation.prototype.ground1 = PrologScopeWithTheories.prototype.ground1;
-  PrologWithArgumentation.prototype.include1 = PrologScopeWithTheories.prototype.include1;
-  PrologWithArgumentation.prototype.initialization1 = PrologScopeWithTheories.prototype.initialization1;
-  PrologWithArgumentation.prototype.integer1 = PrologScopeWithTheories.prototype.integer1;
-  PrologWithArgumentation.prototype.list$default = PrologScopeWithTheories.prototype.list$default;
-  PrologWithArgumentation.prototype.listOfAny = PrologScopeWithTheories.prototype.listOfAny;
-  PrologWithArgumentation.prototype.load1 = PrologScopeWithTheories.prototype.load1;
-  PrologWithArgumentation.prototype.matchAny$default = PrologScopeWithTheories.prototype.matchAny$default;
-  PrologWithArgumentation.prototype.match = PrologScopeWithTheories.prototype.match;
-  PrologWithArgumentation.prototype.matchWithOccurCheck = PrologScopeWithTheories.prototype.matchWithOccurCheck;
-  PrologWithArgumentation.prototype.member2 = PrologScopeWithTheories.prototype.member2;
-  PrologWithArgumentation.prototype.merge = PrologScopeWithTheories.prototype.merge;
-  PrologWithArgumentation.prototype.mguAny$default = PrologScopeWithTheories.prototype.mguAny$default;
-  PrologWithArgumentation.prototype.mgu = PrologScopeWithTheories.prototype.mgu;
-  PrologWithArgumentation.prototype.naf1 = PrologScopeWithTheories.prototype.naf1;
-  PrologWithArgumentation.prototype.natural = PrologScopeWithTheories.prototype.natural;
-  PrologWithArgumentation.prototype.nonvar1 = PrologScopeWithTheories.prototype.nonvar1;
-  PrologWithArgumentation.prototype.not1 = PrologScopeWithTheories.prototype.not1;
-  PrologWithArgumentation.prototype.number1 = PrologScopeWithTheories.prototype.number1;
-  PrologWithArgumentation.prototype.number_chars2 = PrologScopeWithTheories.prototype.number_chars2;
-  PrologWithArgumentation.prototype.number_codes2 = PrologScopeWithTheories.prototype.number_codes2;
-  PrologWithArgumentation.prototype.op3 = PrologScopeWithTheories.prototype.op3;
-  PrologWithArgumentation.prototype.retract1 = PrologScopeWithTheories.prototype.retract1;
-  PrologWithArgumentation.prototype.retractall1 = PrologScopeWithTheories.prototype.retractall1;
-  PrologWithArgumentation.prototype.rule = PrologScopeWithTheories.prototype.rule;
-  PrologWithArgumentation.prototype.scope = PrologScopeWithTheories.prototype.scope;
-  PrologWithArgumentation.prototype.set_flag2 = PrologScopeWithTheories.prototype.set_flag2;
-  PrologWithArgumentation.prototype.set_prolog_flag2 = PrologScopeWithTheories.prototype.set_prolog_flag2;
-  PrologWithArgumentation.prototype.setof3 = PrologScopeWithTheories.prototype.setof3;
-  PrologWithArgumentation.prototype.solve1 = PrologScopeWithTheories.prototype.solve1;
-  PrologWithArgumentation.prototype.static1 = PrologScopeWithTheories.prototype.static1;
-  PrologWithArgumentation.prototype.structOfAny = PrologScopeWithTheories.prototype.structOfAny;
-  PrologWithArgumentation.prototype.sub_atom5 = PrologScopeWithTheories.prototype.sub_atom5;
-  PrologWithArgumentation.prototype.theory = PrologScopeWithTheories.prototype.theory;
-  PrologWithArgumentation.prototype.theoryOf = PrologScopeWithTheories.prototype.theoryOf;
-  PrologWithArgumentation.prototype.theoryOfIterable = PrologScopeWithTheories.prototype.theoryOfIterable;
-  PrologWithArgumentation.prototype.theoryOfSequence = PrologScopeWithTheories.prototype.theoryOfSequence;
-  PrologWithArgumentation.prototype.throw1 = PrologScopeWithTheories.prototype.throw1;
-  PrologWithArgumentation.prototype.tupleOfAny = PrologScopeWithTheories.prototype.tupleOfAny;
-  PrologWithArgumentation.prototype.unifyAny$default = PrologScopeWithTheories.prototype.unifyAny$default;
-  PrologWithArgumentation.prototype.unify = PrologScopeWithTheories.prototype.unify;
-  PrologWithArgumentation.prototype.unifyWithOccurCheck = PrologScopeWithTheories.prototype.unifyWithOccurCheck;
-  PrologWithArgumentation.prototype.var1 = PrologScopeWithTheories.prototype.var1;
-  PrologWithArgumentation.prototype.write1 = PrologScopeWithTheories.prototype.write1;
-  PrologWithArgumentation.prototype.anyAnd = PrologScopeWithTheories.prototype.anyAnd;
-  PrologWithArgumentation.prototype.arithEq2 = PrologScopeWithTheories.prototype.arithEq2;
-  PrologWithArgumentation.prototype.arithNeq2 = PrologScopeWithTheories.prototype.arithNeq2;
-  PrologWithArgumentation.prototype.substitutionContainsKey = PrologScopeWithTheories.prototype.substitutionContainsKey;
-  PrologWithArgumentation.prototype.substitutionContainsValue = PrologScopeWithTheories.prototype.substitutionContainsValue;
-  PrologWithArgumentation.prototype.anyDiv = PrologScopeWithTheories.prototype.anyDiv;
-  PrologWithArgumentation.prototype.eq2 = PrologScopeWithTheories.prototype.eq2;
-  PrologWithArgumentation.prototype.anyEqualsTo = PrologScopeWithTheories.prototype.anyEqualsTo;
-  PrologWithArgumentation.prototype.anyGreaterThan = PrologScopeWithTheories.prototype.anyGreaterThan;
-  PrologWithArgumentation.prototype.anyGreaterThanOrEqualsTo = PrologScopeWithTheories.prototype.anyGreaterThanOrEqualsTo;
-  PrologWithArgumentation.prototype.id2 = PrologScopeWithTheories.prototype.id2;
-  PrologWithArgumentation.prototype.anyIf = PrologScopeWithTheories.prototype.anyIf;
-  PrologWithArgumentation.prototype.anyIfVararg = PrologScopeWithTheories.prototype.anyIfVararg;
-  PrologWithArgumentation.prototype.anyImpliedBy = PrologScopeWithTheories.prototype.anyImpliedBy;
-  PrologWithArgumentation.prototype.anyImpliedByVararg = PrologScopeWithTheories.prototype.anyImpliedByVararg;
-  PrologWithArgumentation.prototype.anyIntDiv = PrologScopeWithTheories.prototype.anyIntDiv;
-  PrologWithArgumentation.prototype.stringInvoke = PrologScopeWithTheories.prototype.stringInvoke;
-  PrologWithArgumentation.prototype.anyIs = PrologScopeWithTheories.prototype.anyIs;
-  PrologWithArgumentation.prototype.anyLowerThan = PrologScopeWithTheories.prototype.anyLowerThan;
-  PrologWithArgumentation.prototype.anyLowerThanOrEqualsTo = PrologScopeWithTheories.prototype.anyLowerThanOrEqualsTo;
-  PrologWithArgumentation.prototype.anyMatches = PrologScopeWithTheories.prototype.anyMatches;
-  PrologWithArgumentation.prototype.anyMguWith = PrologScopeWithTheories.prototype.anyMguWith;
-  PrologWithArgumentation.prototype.anyMinus = PrologScopeWithTheories.prototype.anyMinus;
-  PrologWithArgumentation.prototype.neq2 = PrologScopeWithTheories.prototype.neq2;
-  PrologWithArgumentation.prototype.nid2 = PrologScopeWithTheories.prototype.nid2;
-  PrologWithArgumentation.prototype.anyNonGreaterThan = PrologScopeWithTheories.prototype.anyNonGreaterThan;
-  PrologWithArgumentation.prototype.anyNonLowerThan = PrologScopeWithTheories.prototype.anyNonLowerThan;
-  PrologWithArgumentation.prototype.anyNotEqualsTo = PrologScopeWithTheories.prototype.anyNotEqualsTo;
-  PrologWithArgumentation.prototype.anyOr = PrologScopeWithTheories.prototype.anyOr;
-  PrologWithArgumentation.prototype.anyPlus = PrologScopeWithTheories.prototype.anyPlus;
-  PrologWithArgumentation.prototype.anyPow = PrologScopeWithTheories.prototype.anyPow;
-  PrologWithArgumentation.prototype.anyRem = PrologScopeWithTheories.prototype.anyRem;
-  PrologWithArgumentation.prototype.anySup = PrologScopeWithTheories.prototype.anySup;
-  PrologWithArgumentation.prototype.anyThen = PrologScopeWithTheories.prototype.anyThen;
-  PrologWithArgumentation.prototype.anyTimes = PrologScopeWithTheories.prototype.anyTimes;
-  PrologWithArgumentation.prototype.varTo = PrologScopeWithTheories.prototype.varTo;
-  PrologWithArgumentation.prototype.stringTo = PrologScopeWithTheories.prototype.stringTo;
-  PrologWithArgumentation.prototype.anyUnifyWith = PrologScopeWithTheories.prototype.anyUnifyWith;
-  PrologWithArgumentation.prototype.univ2 = PrologScopeWithTheories.prototype.univ2;
-  PrologWithArgumentation.prototype.list = PrologScopeWithTheories.prototype.list;
-  PrologWithArgumentation.prototype.listFrom = PrologScopeWithTheories.prototype.listFrom;
-  PrologWithArgumentation.prototype.listFromIterable = PrologScopeWithTheories.prototype.listFromIterable;
-  PrologWithArgumentation.prototype.listFromSequence = PrologScopeWithTheories.prototype.listFromSequence;
-  PrologWithArgumentation.prototype.matchAny = PrologScopeWithTheories.prototype.matchAny;
-  PrologWithArgumentation.prototype.mguAny = PrologScopeWithTheories.prototype.mguAny;
-  PrologWithArgumentation.prototype.mguWithOccurCheck = PrologScopeWithTheories.prototype.mguWithOccurCheck;
-  PrologWithArgumentation.prototype.unifyAny = PrologScopeWithTheories.prototype.unifyAny;
+  PrologWithArgumentation.prototype.call1 = LogicProgrammingScopeWithTheories.prototype.call1;
+  Object.defineProperty(PrologWithArgumentation.prototype, '_', Object.getOwnPropertyDescriptor(LogicProgrammingScopeWithTheories.prototype, '_'));
+  Object.defineProperty(PrologWithArgumentation.prototype, 'at_end_of_stream', Object.getOwnPropertyDescriptor(LogicProgrammingScopeWithTheories.prototype, 'at_end_of_stream'));
+  Object.defineProperty(PrologWithArgumentation.prototype, 'cut', Object.getOwnPropertyDescriptor(LogicProgrammingScopeWithTheories.prototype, 'cut'));
+  Object.defineProperty(PrologWithArgumentation.prototype, 'halt', Object.getOwnPropertyDescriptor(LogicProgrammingScopeWithTheories.prototype, 'halt'));
+  Object.defineProperty(PrologWithArgumentation.prototype, 'nl', Object.getOwnPropertyDescriptor(LogicProgrammingScopeWithTheories.prototype, 'nl'));
+  Object.defineProperty(PrologWithArgumentation.prototype, 'repeat', Object.getOwnPropertyDescriptor(LogicProgrammingScopeWithTheories.prototype, 'repeat'));
+  PrologWithArgumentation.prototype.abolish1 = LogicProgrammingScopeWithTheories.prototype.abolish1;
+  PrologWithArgumentation.prototype.append3 = LogicProgrammingScopeWithTheories.prototype.append3;
+  PrologWithArgumentation.prototype.arg3 = LogicProgrammingScopeWithTheories.prototype.arg3;
+  PrologWithArgumentation.prototype.assert1 = LogicProgrammingScopeWithTheories.prototype.assert1;
+  PrologWithArgumentation.prototype.asserta1 = LogicProgrammingScopeWithTheories.prototype.asserta1;
+  PrologWithArgumentation.prototype.assertz1 = LogicProgrammingScopeWithTheories.prototype.assertz1;
+  PrologWithArgumentation.prototype.at_end_of_stream1 = LogicProgrammingScopeWithTheories.prototype.at_end_of_stream1;
+  PrologWithArgumentation.prototype.atom1 = LogicProgrammingScopeWithTheories.prototype.atom1;
+  PrologWithArgumentation.prototype.atom_chars2 = LogicProgrammingScopeWithTheories.prototype.atom_chars2;
+  PrologWithArgumentation.prototype.atom_codes2 = LogicProgrammingScopeWithTheories.prototype.atom_codes2;
+  PrologWithArgumentation.prototype.atom_concat3 = LogicProgrammingScopeWithTheories.prototype.atom_concat3;
+  PrologWithArgumentation.prototype.atom_length2 = LogicProgrammingScopeWithTheories.prototype.atom_length2;
+  PrologWithArgumentation.prototype.atomic1 = LogicProgrammingScopeWithTheories.prototype.atomic1;
+  PrologWithArgumentation.prototype.bagof3 = LogicProgrammingScopeWithTheories.prototype.bagof3;
+  PrologWithArgumentation.prototype.between3 = LogicProgrammingScopeWithTheories.prototype.between3;
+  PrologWithArgumentation.prototype.callable1 = LogicProgrammingScopeWithTheories.prototype.callable1;
+  PrologWithArgumentation.prototype.catch3 = LogicProgrammingScopeWithTheories.prototype.catch3;
+  PrologWithArgumentation.prototype.char_code2 = LogicProgrammingScopeWithTheories.prototype.char_code2;
+  PrologWithArgumentation.prototype.clause2 = LogicProgrammingScopeWithTheories.prototype.clause2;
+  PrologWithArgumentation.prototype.compound1 = LogicProgrammingScopeWithTheories.prototype.compound1;
+  PrologWithArgumentation.prototype.consult1 = LogicProgrammingScopeWithTheories.prototype.consult1;
+  PrologWithArgumentation.prototype.copy_term2 = LogicProgrammingScopeWithTheories.prototype.copy_term2;
+  PrologWithArgumentation.prototype.current_flag2 = LogicProgrammingScopeWithTheories.prototype.current_flag2;
+  PrologWithArgumentation.prototype.current_op3 = LogicProgrammingScopeWithTheories.prototype.current_op3;
+  PrologWithArgumentation.prototype.current_prolog_flag2 = LogicProgrammingScopeWithTheories.prototype.current_prolog_flag2;
+  PrologWithArgumentation.prototype.dynamic1 = LogicProgrammingScopeWithTheories.prototype.dynamic1;
+  PrologWithArgumentation.prototype.findall3 = LogicProgrammingScopeWithTheories.prototype.findall3;
+  PrologWithArgumentation.prototype.float1 = LogicProgrammingScopeWithTheories.prototype.float1;
+  PrologWithArgumentation.prototype.functor3 = LogicProgrammingScopeWithTheories.prototype.functor3;
+  PrologWithArgumentation.prototype.ground1 = LogicProgrammingScopeWithTheories.prototype.ground1;
+  PrologWithArgumentation.prototype.include1 = LogicProgrammingScopeWithTheories.prototype.include1;
+  PrologWithArgumentation.prototype.initialization1 = LogicProgrammingScopeWithTheories.prototype.initialization1;
+  PrologWithArgumentation.prototype.integer1 = LogicProgrammingScopeWithTheories.prototype.integer1;
+  PrologWithArgumentation.prototype.load1 = LogicProgrammingScopeWithTheories.prototype.load1;
+  PrologWithArgumentation.prototype.matchAny$default = LogicProgrammingScopeWithTheories.prototype.matchAny$default;
+  PrologWithArgumentation.prototype.match = LogicProgrammingScopeWithTheories.prototype.match;
+  PrologWithArgumentation.prototype.matchWithOccurCheck = LogicProgrammingScopeWithTheories.prototype.matchWithOccurCheck;
+  PrologWithArgumentation.prototype.member2 = LogicProgrammingScopeWithTheories.prototype.member2;
+  PrologWithArgumentation.prototype.merge = LogicProgrammingScopeWithTheories.prototype.merge;
+  PrologWithArgumentation.prototype.mguAny$default = LogicProgrammingScopeWithTheories.prototype.mguAny$default;
+  PrologWithArgumentation.prototype.mgu = LogicProgrammingScopeWithTheories.prototype.mgu;
+  PrologWithArgumentation.prototype.naf1 = LogicProgrammingScopeWithTheories.prototype.naf1;
+  PrologWithArgumentation.prototype.natural = LogicProgrammingScopeWithTheories.prototype.natural;
+  PrologWithArgumentation.prototype.nonvar1 = LogicProgrammingScopeWithTheories.prototype.nonvar1;
+  PrologWithArgumentation.prototype.not1 = LogicProgrammingScopeWithTheories.prototype.not1;
+  PrologWithArgumentation.prototype.number1 = LogicProgrammingScopeWithTheories.prototype.number1;
+  PrologWithArgumentation.prototype.number_chars2 = LogicProgrammingScopeWithTheories.prototype.number_chars2;
+  PrologWithArgumentation.prototype.number_codes2 = LogicProgrammingScopeWithTheories.prototype.number_codes2;
+  PrologWithArgumentation.prototype.op3 = LogicProgrammingScopeWithTheories.prototype.op3;
+  PrologWithArgumentation.prototype.retract1 = LogicProgrammingScopeWithTheories.prototype.retract1;
+  PrologWithArgumentation.prototype.retractall1 = LogicProgrammingScopeWithTheories.prototype.retractall1;
+  PrologWithArgumentation.prototype.set_flag2 = LogicProgrammingScopeWithTheories.prototype.set_flag2;
+  PrologWithArgumentation.prototype.set_prolog_flag2 = LogicProgrammingScopeWithTheories.prototype.set_prolog_flag2;
+  PrologWithArgumentation.prototype.setof3 = LogicProgrammingScopeWithTheories.prototype.setof3;
+  PrologWithArgumentation.prototype.solve1 = LogicProgrammingScopeWithTheories.prototype.solve1;
+  PrologWithArgumentation.prototype.static1 = LogicProgrammingScopeWithTheories.prototype.static1;
+  PrologWithArgumentation.prototype.sub_atom5 = LogicProgrammingScopeWithTheories.prototype.sub_atom5;
+  PrologWithArgumentation.prototype.theory = LogicProgrammingScopeWithTheories.prototype.theory;
+  PrologWithArgumentation.prototype.theoryOf = LogicProgrammingScopeWithTheories.prototype.theoryOf;
+  PrologWithArgumentation.prototype.theoryOfIterable = LogicProgrammingScopeWithTheories.prototype.theoryOfIterable;
+  PrologWithArgumentation.prototype.theoryOfSequence = LogicProgrammingScopeWithTheories.prototype.theoryOfSequence;
+  PrologWithArgumentation.prototype.throw1 = LogicProgrammingScopeWithTheories.prototype.throw1;
+  PrologWithArgumentation.prototype.unifyAny$default = LogicProgrammingScopeWithTheories.prototype.unifyAny$default;
+  PrologWithArgumentation.prototype.unify = LogicProgrammingScopeWithTheories.prototype.unify;
+  PrologWithArgumentation.prototype.unifyWithOccurCheck = LogicProgrammingScopeWithTheories.prototype.unifyWithOccurCheck;
+  PrologWithArgumentation.prototype.var1 = LogicProgrammingScopeWithTheories.prototype.var1;
+  PrologWithArgumentation.prototype.write1 = LogicProgrammingScopeWithTheories.prototype.write1;
+  PrologWithArgumentation.prototype.arithEq2 = LogicProgrammingScopeWithTheories.prototype.arithEq2;
+  PrologWithArgumentation.prototype.arithNeq2 = LogicProgrammingScopeWithTheories.prototype.arithNeq2;
+  PrologWithArgumentation.prototype.eq2 = LogicProgrammingScopeWithTheories.prototype.eq2;
+  PrologWithArgumentation.prototype.id2 = LogicProgrammingScopeWithTheories.prototype.id2;
+  PrologWithArgumentation.prototype.anyMatches = LogicProgrammingScopeWithTheories.prototype.anyMatches;
+  PrologWithArgumentation.prototype.anyMguWith = LogicProgrammingScopeWithTheories.prototype.anyMguWith;
+  PrologWithArgumentation.prototype.neq2 = LogicProgrammingScopeWithTheories.prototype.neq2;
+  PrologWithArgumentation.prototype.nid2 = LogicProgrammingScopeWithTheories.prototype.nid2;
+  PrologWithArgumentation.prototype.anyUnifyWith = LogicProgrammingScopeWithTheories.prototype.anyUnifyWith;
+  PrologWithArgumentation.prototype.univ2 = LogicProgrammingScopeWithTheories.prototype.univ2;
+  PrologWithArgumentation.prototype.list = LogicProgrammingScopeWithTheories.prototype.list;
+  PrologWithArgumentation.prototype.listFrom = LogicProgrammingScopeWithTheories.prototype.listFrom;
+  PrologWithArgumentation.prototype.listFromIterable = LogicProgrammingScopeWithTheories.prototype.listFromIterable;
+  PrologWithArgumentation.prototype.listFromSequence = LogicProgrammingScopeWithTheories.prototype.listFromSequence;
+  PrologWithArgumentation.prototype.matchAny = LogicProgrammingScopeWithTheories.prototype.matchAny;
+  PrologWithArgumentation.prototype.mguAny = LogicProgrammingScopeWithTheories.prototype.mguAny;
+  PrologWithArgumentation.prototype.mguWithOccurCheck = LogicProgrammingScopeWithTheories.prototype.mguWithOccurCheck;
+  PrologWithArgumentation.prototype.unifyAny = LogicProgrammingScopeWithTheories.prototype.unifyAny;
   PrologWithArgumentationImpl.prototype.call_k9kufj$ = PrologWithArgumentation.prototype.call_k9kufj$;
   PrologWithArgumentationImpl.prototype.matchAny$default = PrologWithArgumentation.prototype.matchAny$default;
   PrologWithArgumentationImpl.prototype.mguAny$default = PrologWithArgumentation.prototype.mguAny$default;
@@ -6082,8 +6170,8 @@
   PrologWithArgumentationImpl.prototype.anyUnifyWith = PrologWithArgumentation.prototype.anyUnifyWith;
   PrologWithArgumentationImpl.prototype.list = PrologWithArgumentation.prototype.list;
   PrologWithArgumentationImpl.prototype.listFromIterable = PrologWithArgumentation.prototype.listFromIterable;
-  PrologWithArgumentationImpl.prototype.listFromSequence = PrologWithArgumentation.prototype.listFromSequence;
   PrologWithArgumentationImpl.prototype.listFrom = PrologWithArgumentation.prototype.listFrom;
+  PrologWithArgumentationImpl.prototype.listFromSequence = PrologWithArgumentation.prototype.listFromSequence;
   PrologWithArgumentationImpl.prototype.matchAny = PrologWithArgumentation.prototype.matchAny;
   PrologWithArgumentationImpl.prototype.mguWithOccurCheck = PrologWithArgumentation.prototype.mguWithOccurCheck;
   PrologWithArgumentationImpl.prototype.mguAny = PrologWithArgumentation.prototype.mguAny;