@tuprolog/arg2p-causality-solver 0.17.2 → 0.18.0

package/2p-dsl-theory.js

@@ -1,13 +1,799 @@
 (function (factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports'], factory);
+    define(['exports', './kotlin-kotlin-stdlib.js', './2p-unify.js', './2p-core.js', './2p-dsl-core.js', './2p-theory.js', './2p-dsl-unify.js'], factory);
   else if (typeof exports === 'object')
-    factory(module.exports);
-  else
-    globalThis['2p-dsl-theory'] = factory(typeof globalThis['2p-dsl-theory'] === 'undefined' ? {} : globalThis['2p-dsl-theory']);
-}(function (_) {
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-unify.js'), require('./2p-core.js'), require('./2p-dsl-core.js'), require('./2p-theory.js'), require('./2p-dsl-unify.js'));
+  else {
+    if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-theory'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-dsl-theory'.");
+    }
+    if (typeof globalThis['2p-unify'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-theory'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-dsl-theory'.");
+    }
+    if (typeof globalThis['2p-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-theory'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-dsl-theory'.");
+    }
+    if (typeof globalThis['2p-dsl-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-theory'. Its dependency '2p-dsl-core' was not found. Please, check whether '2p-dsl-core' is loaded prior to '2p-dsl-theory'.");
+    }
+    if (typeof globalThis['2p-theory'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-theory'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to '2p-dsl-theory'.");
+    }
+    if (typeof globalThis['2p-dsl-unify'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-theory'. Its dependency '2p-dsl-unify' was not found. Please, check whether '2p-dsl-unify' is loaded prior to '2p-dsl-theory'.");
+    }
+    globalThis['2p-dsl-theory'] = factory(typeof globalThis['2p-dsl-theory'] === 'undefined' ? {} : globalThis['2p-dsl-theory'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-unify'], globalThis['2p-core'], globalThis['2p-dsl-core'], globalThis['2p-theory'], globalThis['2p-dsl-unify']);
+  }
+}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_dsl_core, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_dsl_unify) {
   'use strict';
+  //region block: imports
+  var VOID = kotlin_kotlin.$_$.b;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
+  var protoOf = kotlin_kotlin.$_$.e8;
+  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_dsl_core.$_$.a;
+  var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.c1;
+  var IndexedTheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.c;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.s7;
+  var toString = kotlin_kotlin.$_$.h8;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.n1;
+  var Unit_instance = kotlin_kotlin.$_$.r;
+  var equals = kotlin_kotlin.$_$.k7;
+  var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.g1;
+  var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.e1;
+  var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.f1;
+  var mguWithOccurCheck = kotlin_it_unibo_tuprolog_unify.$_$.b;
+  var stringInvoke = kotlin_it_unibo_tuprolog_dsl_core.$_$.v4;
+  var structOfAny = kotlin_it_unibo_tuprolog_dsl_core.$_$.a5;
+  var tupleOfAny = kotlin_it_unibo_tuprolog_dsl_core.$_$.b5;
+  var logicListOfAny = kotlin_it_unibo_tuprolog_dsl_core.$_$.w4;
+  var blockOfAny = kotlin_it_unibo_tuprolog_dsl_core.$_$.p4;
+  var factOfAny = kotlin_it_unibo_tuprolog_dsl_core.$_$.t4;
+  var consOfAny = kotlin_it_unibo_tuprolog_dsl_core.$_$.q4;
+  var directiveOfAny = kotlin_it_unibo_tuprolog_dsl_core.$_$.r4;
+  var withScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.z4;
+  var logicList = kotlin_it_unibo_tuprolog_dsl_core.$_$.x4;
+  var logicList_0 = kotlin_it_unibo_tuprolog_dsl_core.$_$.b;
+  var rule = kotlin_it_unibo_tuprolog_dsl_core.$_$.y4;
+  var clause2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.s2;
+  var directive = kotlin_it_unibo_tuprolog_dsl_core.$_$.s4;
+  var fact = kotlin_it_unibo_tuprolog_dsl_core.$_$.u4;
+  var convertToTerm = kotlin_it_unibo_tuprolog_dsl_core.$_$.d;
+  var convertToSpecificSubTypeOfTerm = kotlin_it_unibo_tuprolog_dsl_core.$_$.c;
+  var substitutionContains = kotlin_it_unibo_tuprolog_dsl_core.$_$.k4;
+  var substitutionGet = kotlin_it_unibo_tuprolog_dsl_core.$_$.l4;
+  var varTo = kotlin_it_unibo_tuprolog_dsl_core.$_$.n4;
+  var stringTo = kotlin_it_unibo_tuprolog_dsl_core.$_$.m4;
+  var substitutionContainsKey = kotlin_it_unibo_tuprolog_dsl_core.$_$.i4;
+  var substitutionContainsValue = kotlin_it_unibo_tuprolog_dsl_core.$_$.j4;
+  var at_end_of_stream1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.f2;
+  var call1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.p2;
+  var catch3 = kotlin_it_unibo_tuprolog_dsl_core.$_$.q2;
+  var throw1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.d4;
+  var not1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.q3;
+  var naf1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.l3;
+  var assert1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.e2;
+  var asserta1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.c2;
+  var assertz1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.d2;
+  var arg3 = kotlin_it_unibo_tuprolog_dsl_core.$_$.z1;
+  var atom1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.l2;
+  var atomic1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.k2;
+  var between3 = kotlin_it_unibo_tuprolog_dsl_core.$_$.n2;
+  var callable1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.o2;
+  var compound1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.t2;
+  var current_op3 = kotlin_it_unibo_tuprolog_dsl_core.$_$.x2;
+  var op3 = kotlin_it_unibo_tuprolog_dsl_core.$_$.u3;
+  var findall3 = kotlin_it_unibo_tuprolog_dsl_core.$_$.b3;
+  var float1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.c3;
+  var functor3 = kotlin_it_unibo_tuprolog_dsl_core.$_$.d3;
+  var ground1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.e3;
+  var integer1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.i3;
+  var natural = kotlin_it_unibo_tuprolog_dsl_core.$_$.m3;
+  var nonvar1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.p3;
+  var number1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.t3;
+  var var1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.f4;
+  var write1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.g4;
+  var univ2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.e4;
+  var eq2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.a3;
+  var neq2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.n3;
+  var id2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.f3;
+  var nid2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.o3;
+  var arithEq2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.a2;
+  var arithNeq2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.b2;
+  var member2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.k3;
+  var retract1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.w3;
+  var append3 = kotlin_it_unibo_tuprolog_dsl_core.$_$.y1;
+  var retractall1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.v3;
+  var abolish1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.x1;
+  var atom_chars2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.g2;
+  var atom_codes2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.h2;
+  var atom_concat3 = kotlin_it_unibo_tuprolog_dsl_core.$_$.i2;
+  var atom_length2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.j2;
+  var char_code2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.r2;
+  var copy_term2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.v2;
+  var current_flag2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.w2;
+  var current_prolog_flag2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.y2;
+  var sub_atom5 = kotlin_it_unibo_tuprolog_dsl_core.$_$.c4;
+  var number_chars2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.r3;
+  var number_codes2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.s3;
+  var bagof3 = kotlin_it_unibo_tuprolog_dsl_core.$_$.m2;
+  var setof3 = kotlin_it_unibo_tuprolog_dsl_core.$_$.z3;
+  var consult1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.u2;
+  var set_flag2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.x3;
+  var set_prolog_flag2 = kotlin_it_unibo_tuprolog_dsl_core.$_$.y3;
+  var dynamic1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.z2;
+  var static1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.b4;
+  var solve1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.a4;
+  var initialization1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.h3;
+  var load1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.j3;
+  var include1 = kotlin_it_unibo_tuprolog_dsl_core.$_$.g3;
+  var termPlus = kotlin_it_unibo_tuprolog_dsl_core.$_$.g1;
+  var number = kotlin_it_unibo_tuprolog_dsl_core.$_$.h1;
+  var booleanPlus = kotlin_it_unibo_tuprolog_dsl_core.$_$.f1;
+  var charPlus = kotlin_it_unibo_tuprolog_dsl_core.$_$.i1;
+  var termMinus = kotlin_it_unibo_tuprolog_dsl_core.$_$.x;
+  var numberMinus = kotlin_it_unibo_tuprolog_dsl_core.$_$.w;
+  var booleanMinus = kotlin_it_unibo_tuprolog_dsl_core.$_$.a1;
+  var charMinus = kotlin_it_unibo_tuprolog_dsl_core.$_$.y;
+  var stringMinus = kotlin_it_unibo_tuprolog_dsl_core.$_$.z;
+  var termTimes = kotlin_it_unibo_tuprolog_dsl_core.$_$.v1;
+  var numberTimes = kotlin_it_unibo_tuprolog_dsl_core.$_$.r1;
+  var booleanTimes = kotlin_it_unibo_tuprolog_dsl_core.$_$.t1;
+  var charTimes = kotlin_it_unibo_tuprolog_dsl_core.$_$.s1;
+  var stringTimes = kotlin_it_unibo_tuprolog_dsl_core.$_$.u1;
+  var termDiv = kotlin_it_unibo_tuprolog_dsl_core.$_$.g;
+  var numberDiv = kotlin_it_unibo_tuprolog_dsl_core.$_$.j;
+  var booleanDiv = kotlin_it_unibo_tuprolog_dsl_core.$_$.k;
+  var charDiv = kotlin_it_unibo_tuprolog_dsl_core.$_$.i;
+  var stringDiv = kotlin_it_unibo_tuprolog_dsl_core.$_$.h;
+  var anyEqualsTo = kotlin_it_unibo_tuprolog_dsl_core.$_$.l;
+  var anyNotEqualsTo = kotlin_it_unibo_tuprolog_dsl_core.$_$.d1;
+  var anyGreaterThan = kotlin_it_unibo_tuprolog_dsl_core.$_$.n;
+  var anyGreaterThanOrEqualsTo = kotlin_it_unibo_tuprolog_dsl_core.$_$.m;
+  var anyNonLowerThan = kotlin_it_unibo_tuprolog_dsl_core.$_$.c1;
+  var anyLowerThan = kotlin_it_unibo_tuprolog_dsl_core.$_$.v;
+  var anyLowerThanOrEqualsTo = kotlin_it_unibo_tuprolog_dsl_core.$_$.u;
+  var anyNonGreaterThan = kotlin_it_unibo_tuprolog_dsl_core.$_$.b1;
+  var anyIntDiv = kotlin_it_unibo_tuprolog_dsl_core.$_$.s;
+  var termRem = kotlin_it_unibo_tuprolog_dsl_core.$_$.n1;
+  var numberRem = kotlin_it_unibo_tuprolog_dsl_core.$_$.k1;
+  var booleanRem = kotlin_it_unibo_tuprolog_dsl_core.$_$.o1;
+  var charRem = kotlin_it_unibo_tuprolog_dsl_core.$_$.m1;
+  var stringRem = kotlin_it_unibo_tuprolog_dsl_core.$_$.l1;
+  var anyAnd = kotlin_it_unibo_tuprolog_dsl_core.$_$.f;
+  var anyOr = kotlin_it_unibo_tuprolog_dsl_core.$_$.e1;
+  var anyPow = kotlin_it_unibo_tuprolog_dsl_core.$_$.j1;
+  var anySup = kotlin_it_unibo_tuprolog_dsl_core.$_$.p1;
+  var anyIs = kotlin_it_unibo_tuprolog_dsl_core.$_$.t;
+  var anyThen = kotlin_it_unibo_tuprolog_dsl_core.$_$.q1;
+  var anyImpliedBy = kotlin_it_unibo_tuprolog_dsl_core.$_$.q;
+  var anyImpliedByVararg = kotlin_it_unibo_tuprolog_dsl_core.$_$.r;
+  var anyIf = kotlin_it_unibo_tuprolog_dsl_core.$_$.o;
+  var anyIfVararg = kotlin_it_unibo_tuprolog_dsl_core.$_$.p;
+  var anyMguWith = kotlin_it_unibo_tuprolog_dsl_unify.$_$.f;
+  var anyMatches = kotlin_it_unibo_tuprolog_dsl_unify.$_$.d;
+  var anyUnifyWith = kotlin_it_unibo_tuprolog_dsl_unify.$_$.h;
+  var mgu = kotlin_it_unibo_tuprolog_dsl_unify.$_$.g;
+  var mguAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.b;
+  var match = kotlin_it_unibo_tuprolog_dsl_unify.$_$.e;
+  var matchAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.a;
+  var unify = kotlin_it_unibo_tuprolog_dsl_unify.$_$.i;
+  var unifyAny = kotlin_it_unibo_tuprolog_dsl_unify.$_$.c;
+  var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
+  var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
+  var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
+  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
+  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
+  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
+  var Scope = kotlin_it_unibo_tuprolog_core.$_$.a2;
+  var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
+  var TheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.f;
+  var initMetadataForClass = kotlin_kotlin.$_$.r7;
+  var constructCallableReference = kotlin_kotlin.$_$.i7;
+  var Clause = kotlin_it_unibo_tuprolog_core.$_$.p1;
+  var getKClass = kotlin_kotlin.$_$.w8;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.t;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.u;
+  var addAll = kotlin_kotlin.$_$.k2;
+  var plus = kotlin_kotlin.$_$.ca;
+  var arrayConcat = kotlin_kotlin.$_$.a;
+  var listOf = kotlin_kotlin.$_$.f4;
+  var flatten = kotlin_kotlin.$_$.r3;
+  var initMetadataForInterface = kotlin_kotlin.$_$.t7;
+  //endregion
   //region block: pre-declaration
+  initMetadataForCompanion(Companion);
+  function convertToClause(_this__u8e3s4) {
+    var tmp = getKClass(Clause);
+    return this.convertToSpecificSubTypeOfTerm(_this__u8e3s4, tmp, LogicProgrammingScopeWithTheories$clauseOf$ref(this));
+  }
+  function theory(clauseFunctions) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(clauseFunctions.length);
+    var inductionVariable = 0;
+    var last = clauseFunctions.length;
+    while (inductionVariable < last) {
+      var item = clauseFunctions[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$2 = this.convertToClause(item(this.newScope()));
+      destination.l(tmp$ret$2);
+    }
+    return this.theoryOfIterable(destination);
+  }
+  function theoryOfConcatenatedSequences(clauses, otherClauses) {
+    // Inline function 'kotlin.collections.flatMap' call
+    // Inline function 'kotlin.collections.flatMapTo' call
+    var destination = ArrayList_init_$Create$_0();
+    var inductionVariable = 0;
+    var last = otherClauses.length;
+    while (inductionVariable < last) {
+      var element = otherClauses[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var list = element;
+      addAll(destination, list);
+    }
+    return this.theoryOfSequence(plus(clauses, destination));
+  }
+  function theoryOfConcatenatedIterables(clauses, otherClauses) {
+    return this.theoryOfIterable(flatten(listOf(arrayConcat([[clauses], otherClauses]))));
+  }
+  function mutableTheory(clauseFunctions) {
+    // Inline function 'kotlin.collections.map' call
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(clauseFunctions.length);
+    var inductionVariable = 0;
+    var last = clauseFunctions.length;
+    while (inductionVariable < last) {
+      var item = clauseFunctions[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var tmp$ret$2 = this.convertToClause(item(this.newScope()));
+      destination.l(tmp$ret$2);
+    }
+    return this.mutableTheoryOfIterable(destination);
+  }
+  function mutableTheoryOfConcatenatedSequences(clauses, otherClauses) {
+    // Inline function 'kotlin.collections.flatMap' call
+    // Inline function 'kotlin.collections.flatMapTo' call
+    var destination = ArrayList_init_$Create$_0();
+    var inductionVariable = 0;
+    var last = otherClauses.length;
+    while (inductionVariable < last) {
+      var element = otherClauses[inductionVariable];
+      inductionVariable = inductionVariable + 1 | 0;
+      var list = element;
+      addAll(destination, list);
+    }
+    return this.mutableTheoryOfSequence(plus(clauses, destination));
+  }
+  function mutableTheoryOfConcatenatedIterables(clauses, otherClauses) {
+    return this.mutableTheoryOfIterable(flatten(listOf(arrayConcat([[clauses], otherClauses]))));
+  }
+  initMetadataForInterface(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', VOID, VOID, [Unificator, BaseLogicProgrammingScope, TheoryFactory]);
+  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithOperators, MinimalLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithTheories, Scope, Unificator, TheoryFactory]);
+  //endregion
+  function logicProgramming(unificator, function_0) {
+    unificator = unificator === VOID ? Companion_getInstance_0().u3q_1 : unificator;
+    return function_0(Companion_getInstance_0().ofUnificator(unificator));
+  }
+  function Companion() {
+    Companion_instance_2 = this;
+    this.u3q_1 = Companion_getInstance().b1o();
+  }
+  protoOf(Companion).empty = function () {
+    return this.of();
+  };
+  protoOf(Companion).v3q = function (scope, termificator, variablesProvider, unificator, theoryFactory) {
+    return new LogicProgrammingScopeImpl(scope, termificator.t1j() === scope ? termificator : termificator.u1j(scope), variablesProvider.t1j() === scope ? variablesProvider : variablesProvider.u1j(scope), unificator, theoryFactory.i1o() === unificator ? theoryFactory : theoryFactory.a1w(unificator));
+  };
+  protoOf(Companion).of = function (scope, termificator, variablesProvider, unificator, theoryFactory, $super) {
+    scope = scope === VOID ? Companion_instance.empty() : scope;
+    termificator = termificator === VOID ? Companion_instance_0.default(scope) : termificator;
+    variablesProvider = variablesProvider === VOID ? Companion_instance_1.h16(scope) : variablesProvider;
+    unificator = unificator === VOID ? this.u3q_1 : unificator;
+    theoryFactory = theoryFactory === VOID ? new IndexedTheoryFactory(unificator) : theoryFactory;
+    return $super === VOID ? this.v3q(scope, termificator, variablesProvider, unificator, theoryFactory) : $super.v3q.call(this, scope, termificator, variablesProvider, unificator, theoryFactory);
+  };
+  protoOf(Companion).w3q = function (unificator, theoryFactory, scope, termificator, variablesProvider) {
+    return this.v3q(scope, termificator, variablesProvider, unificator, theoryFactory);
+  };
+  protoOf(Companion).ofUnificator = function (unificator, theoryFactory, scope, termificator, variablesProvider, $super) {
+    theoryFactory = theoryFactory === VOID ? new IndexedTheoryFactory(unificator) : theoryFactory;
+    scope = scope === VOID ? Companion_instance.empty() : scope;
+    termificator = termificator === VOID ? Companion_instance_0.default(scope) : termificator;
+    variablesProvider = variablesProvider === VOID ? Companion_instance_1.h16(scope) : variablesProvider;
+    return $super === VOID ? this.w3q(unificator, theoryFactory, scope, termificator, variablesProvider) : $super.w3q.call(this, unificator, theoryFactory, scope, termificator, variablesProvider);
+  };
+  var Companion_instance_2;
+  function Companion_getInstance_0() {
+    if (Companion_instance_2 == null)
+      new Companion();
+    return Companion_instance_2;
+  }
+  function LogicProgrammingScopeImpl(scope, termificator, variablesProvider, unificator, theoryFactory) {
+    this.x3q_1 = scope;
+    this.y3q_1 = termificator;
+    this.z3q_1 = variablesProvider;
+    this.a3r_1 = unificator;
+    this.b3r_1 = theoryFactory;
+    // Inline function 'kotlin.require' call
+    if (!(this.x3q_1 === this.z3q_1.t1j() && this.x3q_1 === this.y3q_1.t1j())) {
+      var message = 'The provided Scope should be the same object for both Termificator and VariablesProvider';
+      throw IllegalArgumentException_init_$Create$(toString(message));
+    }
+    // Inline function 'kotlin.require' call
+    if (!equals(this.a3r_1, this.b3r_1.i1o())) {
+      var message_0 = 'The provided Unificator should be the same object for both Unificator and TheoryFactory';
+      throw IllegalArgumentException_init_$Create$(toString(message_0));
+    }
+  }
+  protoOf(LogicProgrammingScopeImpl).t1j = function () {
+    return this.x3q_1;
+  };
+  protoOf(LogicProgrammingScopeImpl).g3q = function () {
+    return this.y3q_1;
+  };
+  protoOf(LogicProgrammingScopeImpl).i1o = function () {
+    return this.a3r_1;
+  };
+  protoOf(LogicProgrammingScopeImpl).u1j = function (scope) {
+    return new LogicProgrammingScopeImpl(scope, this.y3q_1.u1j(scope), this.z3q_1.u1j(scope), this.a3r_1, this.b3r_1);
+  };
+  protoOf(LogicProgrammingScopeImpl).a1w = function (unificator) {
+    return new LogicProgrammingScopeImpl(this.x3q_1, this.y3q_1, this.z3q_1, unificator, this.b3r_1.a1w(unificator));
+  };
+  protoOf(LogicProgrammingScopeImpl).l3q = function () {
+    return this.u1j(Companion_instance.empty());
+  };
+  protoOf(LogicProgrammingScopeImpl).newScope = function () {
+    return this.l3q();
+  };
+  protoOf(LogicProgrammingScopeImpl).structOf = function (functor, args) {
+    return this.z3q_1.structOf(functor, args);
+  };
+  protoOf(LogicProgrammingScopeImpl).structOfSequence = function (functor, args) {
+    return this.z3q_1.structOfSequence(functor, args);
+  };
+  protoOf(LogicProgrammingScopeImpl).structOfIterable = function (functor, args) {
+    return this.z3q_1.structOfIterable(functor, args);
+  };
+  protoOf(LogicProgrammingScopeImpl).structOfList = function (functor, args) {
+    return this.z3q_1.structOfList(functor, args);
+  };
+  protoOf(LogicProgrammingScopeImpl).tupleOf = function (terms) {
+    return this.z3q_1.tupleOf(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).tupleOfIterable = function (terms) {
+    return this.z3q_1.tupleOfIterable(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).tupleOfSequence = function (terms) {
+    return this.z3q_1.tupleOfSequence(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).logicListOf = function (terms) {
+    return this.z3q_1.logicListOf(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).logicListOfIterable = function (terms) {
+    return this.z3q_1.logicListOfIterable(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).logicListOfSequence = function (terms) {
+    return this.z3q_1.logicListOfSequence(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).blockOf = function (terms) {
+    return this.z3q_1.blockOf(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).blockOfIterable = function (terms) {
+    return this.z3q_1.blockOfIterable(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).blockOfSequence = function (terms) {
+    return this.z3q_1.blockOfSequence(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).factOf = function (head) {
+    return this.z3q_1.factOf(head);
+  };
+  protoOf(LogicProgrammingScopeImpl).consOf = function (head, tail) {
+    return this.z3q_1.consOf(head, tail);
+  };
+  protoOf(LogicProgrammingScopeImpl).directiveOf = function (body1, body) {
+    return this.z3q_1.directiveOf(body1, body);
+  };
+  protoOf(LogicProgrammingScopeImpl).containsVar = function (variable) {
+    return this.z3q_1.containsVar(variable);
+  };
+  protoOf(LogicProgrammingScopeImpl).contains = function (variable) {
+    return this.z3q_1.contains(variable);
+  };
+  protoOf(LogicProgrammingScopeImpl).get = function (variable) {
+    return this.z3q_1.get(variable);
+  };
+  protoOf(LogicProgrammingScopeImpl).where = function (lambda) {
+    return this.z3q_1.where(lambda);
+  };
+  protoOf(LogicProgrammingScopeImpl).with = function (lambda) {
+    return this.z3q_1.with(lambda);
+  };
+  protoOf(LogicProgrammingScopeImpl).varOf = function (name) {
+    return this.z3q_1.varOf(name);
+  };
+  protoOf(LogicProgrammingScopeImpl).varOfChar = function (name) {
+    return this.z3q_1.varOfChar(name);
+  };
+  protoOf(LogicProgrammingScopeImpl).atomOf = function (value) {
+    return this.z3q_1.atomOf(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).atomOfChar = function (value) {
+    return this.z3q_1.atomOfChar(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).u12 = function (terms, last) {
+    return this.z3q_1.u12(terms, last);
+  };
+  protoOf(LogicProgrammingScopeImpl).v12 = function (terms, last) {
+    return this.z3q_1.v12(terms, last);
+  };
+  protoOf(LogicProgrammingScopeImpl).w12 = function (terms, last) {
+    return this.z3q_1.w12(terms, last);
+  };
+  protoOf(LogicProgrammingScopeImpl).ruleOf = function (head, body1, body) {
+    return this.z3q_1.ruleOf(head, body1, body);
+  };
+  protoOf(LogicProgrammingScopeImpl).clauseOf = function (head, body) {
+    return this.z3q_1.clauseOf(head, body);
+  };
+  protoOf(LogicProgrammingScopeImpl).indicatorOf = function (name, arity) {
+    return this.z3q_1.indicatorOf(name, arity);
+  };
+  protoOf(LogicProgrammingScopeImpl).indicatorOfStringInt = function (name, arity) {
+    return this.z3q_1.indicatorOfStringInt(name, arity);
+  };
+  protoOf(LogicProgrammingScopeImpl).anonymous = function () {
+    return this.z3q_1.anonymous();
+  };
+  protoOf(LogicProgrammingScopeImpl).whatever = function () {
+    return this.z3q_1.whatever();
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfBigDecimal = function (value) {
+    return this.z3q_1.numOfBigDecimal(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfDouble = function (value) {
+    return this.z3q_1.numOfDouble(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfFloat = function (value) {
+    return this.z3q_1.numOfFloat(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfBigInteger = function (value) {
+    return this.z3q_1.numOfBigInteger(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfInt = function (value) {
+    return this.z3q_1.numOfInt(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfLong = function (value) {
+    return this.z3q_1.numOfLong(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfShort = function (value) {
+    return this.z3q_1.numOfShort(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfByte = function (value) {
+    return this.z3q_1.numOfByte(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).parseNum = function (value) {
+    return this.z3q_1.parseNum(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOf = function (value) {
+    return this.z3q_1.numOf(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).intOfBigInteger = function (value) {
+    return this.z3q_1.intOfBigInteger(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).intOf = function (value) {
+    return this.z3q_1.intOf(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).intOfLong = function (value) {
+    return this.z3q_1.intOfLong(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).intOfShort = function (value) {
+    return this.z3q_1.intOfShort(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).intOfByte = function (value) {
+    return this.z3q_1.intOfByte(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).parseInt = function (value) {
+    return this.z3q_1.parseInt(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).parseIntRadix = function (value, radix) {
+    return this.z3q_1.parseIntRadix(value, radix);
+  };
+  protoOf(LogicProgrammingScopeImpl).realOfBigDecimal = function (value) {
+    return this.z3q_1.realOfBigDecimal(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).realOf = function (value) {
+    return this.z3q_1.realOf(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).realOfFloat = function (value) {
+    return this.z3q_1.realOfFloat(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).parseReal = function (value) {
+    return this.z3q_1.parseReal(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).truthOf = function (value) {
+    return this.z3q_1.truthOf(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).unifierOf = function (assignments) {
+    return this.z3q_1.unifierOf(assignments);
+  };
+  protoOf(LogicProgrammingScopeImpl).unifierOfIterable = function (assignments) {
+    return this.z3q_1.unifierOfIterable(assignments);
+  };
+  protoOf(LogicProgrammingScopeImpl).unifierOfSequence = function (assignments) {
+    return this.z3q_1.unifierOfSequence(assignments);
+  };
+  protoOf(LogicProgrammingScopeImpl).substitutionOf = function (assignments) {
+    return this.z3q_1.substitutionOf(assignments);
+  };
+  protoOf(LogicProgrammingScopeImpl).substitutionOfIterable = function (assignments) {
+    return this.z3q_1.substitutionOfIterable(assignments);
+  };
+  protoOf(LogicProgrammingScopeImpl).substitutionOfSequence = function (assignments) {
+    return this.z3q_1.substitutionOfSequence(assignments);
+  };
+  protoOf(LogicProgrammingScopeImpl).s12 = function () {
+    return this.z3q_1.s12();
+  };
+  protoOf(LogicProgrammingScopeImpl).t12 = function () {
+    return this.z3q_1.t12();
+  };
+  protoOf(LogicProgrammingScopeImpl).getValue = function (thisRef, property) {
+    return this.z3q_1.getValue(thisRef, property);
+  };
+  protoOf(LogicProgrammingScopeImpl).w1j = function () {
+    return this.z3q_1.w1j();
+  };
+  protoOf(LogicProgrammingScopeImpl).x1j = function () {
+    return this.z3q_1.x1j();
+  };
+  protoOf(LogicProgrammingScopeImpl).y1j = function () {
+    return this.z3q_1.y1j();
+  };
+  protoOf(LogicProgrammingScopeImpl).z1j = function () {
+    return this.z3q_1.z1j();
+  };
+  protoOf(LogicProgrammingScopeImpl).z1l = function (term1, term2, occurCheckEnabled) {
+    return this.a3r_1.z1l(term1, term2, occurCheckEnabled);
+  };
+  protoOf(LogicProgrammingScopeImpl).mgu = function (term1, term2) {
+    return this.a3r_1.mgu(term1, term2);
+  };
+  protoOf(LogicProgrammingScopeImpl).matchWithOccurCheck = function (term1, term2, occurCheckEnabled) {
+    return this.a3r_1.matchWithOccurCheck(term1, term2, occurCheckEnabled);
+  };
+  protoOf(LogicProgrammingScopeImpl).match = function (term1, term2) {
+    return this.a3r_1.match(term1, term2);
+  };
+  protoOf(LogicProgrammingScopeImpl).unifyWithOccurCheck = function (term1, term2, occurCheckEnabled) {
+    return this.a3r_1.unifyWithOccurCheck(term1, term2, occurCheckEnabled);
+  };
+  protoOf(LogicProgrammingScopeImpl).unify = function (term1, term2) {
+    return this.a3r_1.unify(term1, term2);
+  };
+  protoOf(LogicProgrammingScopeImpl).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
+    return this.a3r_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
+  };
+  protoOf(LogicProgrammingScopeImpl).merge = function (substitution1, substitution2) {
+    return this.a3r_1.merge(substitution1, substitution2);
+  };
+  protoOf(LogicProgrammingScopeImpl).theoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.b3r_1.theoryOfIterableWithUnificator(clauses, unificator);
+  };
+  protoOf(LogicProgrammingScopeImpl).theoryOfIterable = function (clauses) {
+    return this.b3r_1.theoryOfIterable(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).theoryOfWithUnificator = function (unificator, clauses) {
+    return this.b3r_1.theoryOfWithUnificator(unificator, clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).theoryOf = function (clauses) {
+    return this.b3r_1.theoryOf(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).theoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.b3r_1.theoryOfSequenceWithUnificator(clauses, unificator);
+  };
+  protoOf(LogicProgrammingScopeImpl).theoryOfSequence = function (clauses) {
+    return this.b3r_1.theoryOfSequence(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.b3r_1.mutableTheoryOfIterableWithUnificator(clauses, unificator);
+  };
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterable = function (clauses) {
+    return this.b3r_1.mutableTheoryOfIterable(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfWithUnificator = function (unificator, clauses) {
+    return this.b3r_1.mutableTheoryOfWithUnificator(unificator, clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOf = function (clauses) {
+    return this.b3r_1.mutableTheoryOf(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.b3r_1.mutableTheoryOfSequenceWithUnificator(clauses, unificator);
+  };
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequence = function (clauses) {
+    return this.b3r_1.mutableTheoryOfSequence(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).emptyTheoryWithUnificator = function (unificator) {
+    return this.b3r_1.emptyTheoryWithUnificator(unificator);
+  };
+  protoOf(LogicProgrammingScopeImpl).emptyTheory = function () {
+    return this.b3r_1.emptyTheory();
+  };
+  protoOf(LogicProgrammingScopeImpl).emptyMutableTheoryWithUnificator = function (unificator) {
+    return this.b3r_1.emptyMutableTheoryWithUnificator(unificator);
+  };
+  protoOf(LogicProgrammingScopeImpl).emptyMutableTheory = function () {
+    return this.b3r_1.emptyMutableTheory();
+  };
+  function LogicProgrammingScopeWithTheories$clauseOf$ref(p0) {
+    return constructCallableReference(function (p0_0) {
+      return p0.clauseOf(p0_0, []);
+    }, 1, 0, 102, VOID, [p0]);
+  }
+  function LogicProgrammingScopeWithTheories() {
+  }
+  //region block: post-declaration
+  protoOf(LogicProgrammingScopeImpl).logicListFromFrom = logicListFromFrom;
+  protoOf(LogicProgrammingScopeImpl).logicListFromIterable = logicListFromIterable;
+  protoOf(LogicProgrammingScopeImpl).logicListFromSequence = logicListFromSequence;
+  protoOf(LogicProgrammingScopeImpl).mguWithOccurCheck = mguWithOccurCheck;
+  protoOf(LogicProgrammingScopeImpl).stringInvoke = stringInvoke;
+  protoOf(LogicProgrammingScopeImpl).structOfAny = structOfAny;
+  protoOf(LogicProgrammingScopeImpl).tupleOfAny = tupleOfAny;
+  protoOf(LogicProgrammingScopeImpl).logicListOfAny = logicListOfAny;
+  protoOf(LogicProgrammingScopeImpl).blockOfAny = blockOfAny;
+  protoOf(LogicProgrammingScopeImpl).factOfAny = factOfAny;
+  protoOf(LogicProgrammingScopeImpl).consOfAny = consOfAny;
+  protoOf(LogicProgrammingScopeImpl).directiveOfAny = directiveOfAny;
+  protoOf(LogicProgrammingScopeImpl).withScope = withScope;
+  protoOf(LogicProgrammingScopeImpl).m3q = logicList;
+  protoOf(LogicProgrammingScopeImpl).logicList = logicList_0;
+  protoOf(LogicProgrammingScopeImpl).rule = rule;
+  protoOf(LogicProgrammingScopeImpl).clause2 = clause2;
+  protoOf(LogicProgrammingScopeImpl).directive = directive;
+  protoOf(LogicProgrammingScopeImpl).fact = fact;
+  protoOf(LogicProgrammingScopeImpl).convertToTerm = convertToTerm;
+  protoOf(LogicProgrammingScopeImpl).convertToSpecificSubTypeOfTerm = convertToSpecificSubTypeOfTerm;
+  protoOf(LogicProgrammingScopeImpl).substitutionContains = substitutionContains;
+  protoOf(LogicProgrammingScopeImpl).substitutionGet = substitutionGet;
+  protoOf(LogicProgrammingScopeImpl).varTo = varTo;
+  protoOf(LogicProgrammingScopeImpl).stringTo = stringTo;
+  protoOf(LogicProgrammingScopeImpl).substitutionContainsKey = substitutionContainsKey;
+  protoOf(LogicProgrammingScopeImpl).substitutionContainsValue = substitutionContainsValue;
+  protoOf(LogicProgrammingScopeImpl).at_end_of_stream1 = at_end_of_stream1;
+  protoOf(LogicProgrammingScopeImpl).call1 = call1;
+  protoOf(LogicProgrammingScopeImpl).catch3 = catch3;
+  protoOf(LogicProgrammingScopeImpl).throw1 = throw1;
+  protoOf(LogicProgrammingScopeImpl).not1 = not1;
+  protoOf(LogicProgrammingScopeImpl).naf1 = naf1;
+  protoOf(LogicProgrammingScopeImpl).assert1 = assert1;
+  protoOf(LogicProgrammingScopeImpl).asserta1 = asserta1;
+  protoOf(LogicProgrammingScopeImpl).assertz1 = assertz1;
+  protoOf(LogicProgrammingScopeImpl).arg3 = arg3;
+  protoOf(LogicProgrammingScopeImpl).atom1 = atom1;
+  protoOf(LogicProgrammingScopeImpl).atomic1 = atomic1;
+  protoOf(LogicProgrammingScopeImpl).between3 = between3;
+  protoOf(LogicProgrammingScopeImpl).callable1 = callable1;
+  protoOf(LogicProgrammingScopeImpl).compound1 = compound1;
+  protoOf(LogicProgrammingScopeImpl).current_op3 = current_op3;
+  protoOf(LogicProgrammingScopeImpl).op3 = op3;
+  protoOf(LogicProgrammingScopeImpl).findall3 = findall3;
+  protoOf(LogicProgrammingScopeImpl).float1 = float1;
+  protoOf(LogicProgrammingScopeImpl).functor3 = functor3;
+  protoOf(LogicProgrammingScopeImpl).ground1 = ground1;
+  protoOf(LogicProgrammingScopeImpl).integer1 = integer1;
+  protoOf(LogicProgrammingScopeImpl).natural = natural;
+  protoOf(LogicProgrammingScopeImpl).nonvar1 = nonvar1;
+  protoOf(LogicProgrammingScopeImpl).number1 = number1;
+  protoOf(LogicProgrammingScopeImpl).var1 = var1;
+  protoOf(LogicProgrammingScopeImpl).write1 = write1;
+  protoOf(LogicProgrammingScopeImpl).univ2 = univ2;
+  protoOf(LogicProgrammingScopeImpl).eq2 = eq2;
+  protoOf(LogicProgrammingScopeImpl).neq2 = neq2;
+  protoOf(LogicProgrammingScopeImpl).id2 = id2;
+  protoOf(LogicProgrammingScopeImpl).nid2 = nid2;
+  protoOf(LogicProgrammingScopeImpl).arithEq2 = arithEq2;
+  protoOf(LogicProgrammingScopeImpl).arithNeq2 = arithNeq2;
+  protoOf(LogicProgrammingScopeImpl).member2 = member2;
+  protoOf(LogicProgrammingScopeImpl).retract1 = retract1;
+  protoOf(LogicProgrammingScopeImpl).append3 = append3;
+  protoOf(LogicProgrammingScopeImpl).retractall1 = retractall1;
+  protoOf(LogicProgrammingScopeImpl).abolish1 = abolish1;
+  protoOf(LogicProgrammingScopeImpl).atom_chars2 = atom_chars2;
+  protoOf(LogicProgrammingScopeImpl).atom_codes2 = atom_codes2;
+  protoOf(LogicProgrammingScopeImpl).atom_concat3 = atom_concat3;
+  protoOf(LogicProgrammingScopeImpl).atom_length2 = atom_length2;
+  protoOf(LogicProgrammingScopeImpl).char_code2 = char_code2;
+  protoOf(LogicProgrammingScopeImpl).copy_term2 = copy_term2;
+  protoOf(LogicProgrammingScopeImpl).current_flag2 = current_flag2;
+  protoOf(LogicProgrammingScopeImpl).current_prolog_flag2 = current_prolog_flag2;
+  protoOf(LogicProgrammingScopeImpl).sub_atom5 = sub_atom5;
+  protoOf(LogicProgrammingScopeImpl).number_chars2 = number_chars2;
+  protoOf(LogicProgrammingScopeImpl).number_codes2 = number_codes2;
+  protoOf(LogicProgrammingScopeImpl).bagof3 = bagof3;
+  protoOf(LogicProgrammingScopeImpl).setof3 = setof3;
+  protoOf(LogicProgrammingScopeImpl).consult1 = consult1;
+  protoOf(LogicProgrammingScopeImpl).set_flag2 = set_flag2;
+  protoOf(LogicProgrammingScopeImpl).set_prolog_flag2 = set_prolog_flag2;
+  protoOf(LogicProgrammingScopeImpl).dynamic1 = dynamic1;
+  protoOf(LogicProgrammingScopeImpl).static1 = static1;
+  protoOf(LogicProgrammingScopeImpl).solve1 = solve1;
+  protoOf(LogicProgrammingScopeImpl).initialization1 = initialization1;
+  protoOf(LogicProgrammingScopeImpl).load1 = load1;
+  protoOf(LogicProgrammingScopeImpl).include1 = include1;
+  protoOf(LogicProgrammingScopeImpl).termPlus = termPlus;
+  protoOf(LogicProgrammingScopeImpl).number = number;
+  protoOf(LogicProgrammingScopeImpl).booleanPlus = booleanPlus;
+  protoOf(LogicProgrammingScopeImpl).charPlus = charPlus;
+  protoOf(LogicProgrammingScopeImpl).termMinus = termMinus;
+  protoOf(LogicProgrammingScopeImpl).numberMinus = numberMinus;
+  protoOf(LogicProgrammingScopeImpl).booleanMinus = booleanMinus;
+  protoOf(LogicProgrammingScopeImpl).charMinus = charMinus;
+  protoOf(LogicProgrammingScopeImpl).stringMinus = stringMinus;
+  protoOf(LogicProgrammingScopeImpl).termTimes = termTimes;
+  protoOf(LogicProgrammingScopeImpl).numberTimes = numberTimes;
+  protoOf(LogicProgrammingScopeImpl).booleanTimes = booleanTimes;
+  protoOf(LogicProgrammingScopeImpl).charTimes = charTimes;
+  protoOf(LogicProgrammingScopeImpl).stringTimes = stringTimes;
+  protoOf(LogicProgrammingScopeImpl).termDiv = termDiv;
+  protoOf(LogicProgrammingScopeImpl).numberDiv = numberDiv;
+  protoOf(LogicProgrammingScopeImpl).booleanDiv = booleanDiv;
+  protoOf(LogicProgrammingScopeImpl).charDiv = charDiv;
+  protoOf(LogicProgrammingScopeImpl).stringDiv = stringDiv;
+  protoOf(LogicProgrammingScopeImpl).anyEqualsTo = anyEqualsTo;
+  protoOf(LogicProgrammingScopeImpl).anyNotEqualsTo = anyNotEqualsTo;
+  protoOf(LogicProgrammingScopeImpl).anyGreaterThan = anyGreaterThan;
+  protoOf(LogicProgrammingScopeImpl).anyGreaterThanOrEqualsTo = anyGreaterThanOrEqualsTo;
+  protoOf(LogicProgrammingScopeImpl).anyNonLowerThan = anyNonLowerThan;
+  protoOf(LogicProgrammingScopeImpl).anyLowerThan = anyLowerThan;
+  protoOf(LogicProgrammingScopeImpl).anyLowerThanOrEqualsTo = anyLowerThanOrEqualsTo;
+  protoOf(LogicProgrammingScopeImpl).anyNonGreaterThan = anyNonGreaterThan;
+  protoOf(LogicProgrammingScopeImpl).anyIntDiv = anyIntDiv;
+  protoOf(LogicProgrammingScopeImpl).termRem = termRem;
+  protoOf(LogicProgrammingScopeImpl).numberRem = numberRem;
+  protoOf(LogicProgrammingScopeImpl).booleanRem = booleanRem;
+  protoOf(LogicProgrammingScopeImpl).charRem = charRem;
+  protoOf(LogicProgrammingScopeImpl).stringRem = stringRem;
+  protoOf(LogicProgrammingScopeImpl).anyAnd = anyAnd;
+  protoOf(LogicProgrammingScopeImpl).anyOr = anyOr;
+  protoOf(LogicProgrammingScopeImpl).anyPow = anyPow;
+  protoOf(LogicProgrammingScopeImpl).anySup = anySup;
+  protoOf(LogicProgrammingScopeImpl).anyIs = anyIs;
+  protoOf(LogicProgrammingScopeImpl).anyThen = anyThen;
+  protoOf(LogicProgrammingScopeImpl).anyImpliedBy = anyImpliedBy;
+  protoOf(LogicProgrammingScopeImpl).anyImpliedByVararg = anyImpliedByVararg;
+  protoOf(LogicProgrammingScopeImpl).anyIf = anyIf;
+  protoOf(LogicProgrammingScopeImpl).anyIfVararg = anyIfVararg;
+  protoOf(LogicProgrammingScopeImpl).anyMguWith = anyMguWith;
+  protoOf(LogicProgrammingScopeImpl).anyMatches = anyMatches;
+  protoOf(LogicProgrammingScopeImpl).anyUnifyWith = anyUnifyWith;
+  protoOf(LogicProgrammingScopeImpl).r3q = mgu;
+  protoOf(LogicProgrammingScopeImpl).mguAny = mguAny;
+  protoOf(LogicProgrammingScopeImpl).s3q = match;
+  protoOf(LogicProgrammingScopeImpl).matchAny = matchAny;
+  protoOf(LogicProgrammingScopeImpl).t3q = unify;
+  protoOf(LogicProgrammingScopeImpl).unifyAny = unifyAny;
+  protoOf(LogicProgrammingScopeImpl).convertToClause = convertToClause;
+  protoOf(LogicProgrammingScopeImpl).theory = theory;
+  protoOf(LogicProgrammingScopeImpl).theoryOfConcatenatedSequences = theoryOfConcatenatedSequences;
+  protoOf(LogicProgrammingScopeImpl).theoryOfConcatenatedIterables = theoryOfConcatenatedIterables;
+  protoOf(LogicProgrammingScopeImpl).mutableTheory = mutableTheory;
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfConcatenatedSequences = mutableTheoryOfConcatenatedSequences;
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfConcatenatedIterables = mutableTheoryOfConcatenatedIterables;
+  //endregion
+  //region block: exports
+  _.$_$ = _.$_$ || {};
+  _.$_$.a = mutableTheoryOfConcatenatedSequences;
+  _.$_$.b = mutableTheoryOfConcatenatedIterables;
+  _.$_$.c = mutableTheory;
+  _.$_$.d = theoryOfConcatenatedSequences;
+  _.$_$.e = theoryOfConcatenatedIterables;
+  _.$_$.f = theory;
+  _.$_$.g = convertToClause;
+  _.$_$.h = LogicProgrammingScopeWithTheories;
+  _.$_$.i = logicProgramming;
   //endregion
   return _;
 }));