@tuprolog/arg2p 0.10.0

package/2p-dsl-solve.js

@@ -0,0 +1,959 @@
+(function (root, factory) {
+  if (typeof define === 'function' && define.amd)
+    define(['exports', './2p-solve.js', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-dsl-core.js', './2p-unify.js', './2p-theory.js', './2p-dsl-unify.js', './2p-dsl-theory.js'], factory);
+  else if (typeof exports === 'object')
+    factory(module.exports, require('./2p-solve.js'), require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-dsl-core.js'), require('./2p-unify.js'), require('./2p-theory.js'), require('./2p-dsl-unify.js'), require('./2p-dsl-theory.js'));
+  else {
+    if (typeof this['2p-solve'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-solve'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to '2p-dsl-solve'.");
+    }
+    if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-solve'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-dsl-solve'.");
+    }
+    if (typeof this['2p-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-solve'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-dsl-solve'.");
+    }
+    if (typeof this['2p-dsl-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-solve'. Its dependency '2p-dsl-core' was not found. Please, check whether '2p-dsl-core' is loaded prior to '2p-dsl-solve'.");
+    }
+    if (typeof this['2p-unify'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-solve'. Its dependency '2p-unify' was not found. Please, check whether '2p-unify' is loaded prior to '2p-dsl-solve'.");
+    }
+    if (typeof this['2p-theory'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-solve'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to '2p-dsl-solve'.");
+    }
+    if (typeof this['2p-dsl-unify'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-solve'. Its dependency '2p-dsl-unify' was not found. Please, check whether '2p-dsl-unify' is loaded prior to '2p-dsl-solve'.");
+    }
+    if (typeof this['2p-dsl-theory'] === 'undefined') {
+      throw new Error("Error loading module '2p-dsl-solve'. Its dependency '2p-dsl-theory' was not found. Please, check whether '2p-dsl-theory' is loaded prior to '2p-dsl-solve'.");
+    }
+    root['2p-dsl-solve'] = factory(typeof this['2p-dsl-solve'] === 'undefined' ? {} : this['2p-dsl-solve'], this['2p-solve'], this['kotlin-kotlin-stdlib'], this['2p-core'], this['2p-dsl-core'], this['2p-unify'], this['2p-theory'], this['2p-dsl-unify'], this['2p-dsl-theory']);
+  }
+}(this, function (_, kotlin_it_unibo_tuprolog_solve, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_dsl_core, kotlin_it_unibo_tuprolog_unify, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_dsl_unify, kotlin_it_unibo_tuprolog_dsl_theory) {
+  'use strict';
+  //region block: imports
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.p1;
+  var VOID = kotlin_kotlin.$_$.d;
+  var protoOf = kotlin_kotlin.$_$.b6;
+  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_dsl_core.$_$.b;
+  var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.b1;
+  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_unify.$_$.b;
+  var IndexedTheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.c;
+  var objectMeta = kotlin_kotlin.$_$.a6;
+  var setMetadataFor = kotlin_kotlin.$_$.c6;
+  var objectCreate = kotlin_kotlin.$_$.z5;
+  var toString = kotlin_kotlin.$_$.g6;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.s;
+  var equals = kotlin_kotlin.$_$.i5;
+  var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.d;
+  var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.b;
+  var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.c;
+  var mguWithOccurCheck = kotlin_it_unibo_tuprolog_unify.$_$.a;
+  var copy = kotlin_it_unibo_tuprolog_solve.$_$.g;
+  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.$_$.a;
+  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 convertToClause = kotlin_it_unibo_tuprolog_dsl_theory.$_$.g;
+  var theory = kotlin_it_unibo_tuprolog_dsl_theory.$_$.f;
+  var theoryOfConcatenatedSequences = kotlin_it_unibo_tuprolog_dsl_theory.$_$.d;
+  var theoryOfConcatenatedIterables = kotlin_it_unibo_tuprolog_dsl_theory.$_$.e;
+  var mutableTheory = kotlin_it_unibo_tuprolog_dsl_theory.$_$.c;
+  var mutableTheoryOfConcatenatedSequences = kotlin_it_unibo_tuprolog_dsl_theory.$_$.a;
+  var mutableTheoryOfConcatenatedIterables = kotlin_it_unibo_tuprolog_dsl_theory.$_$.b;
+  var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
+  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
+  var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
+  var LogicProgrammingScopeWithTheories = kotlin_it_unibo_tuprolog_dsl_theory.$_$.h;
+  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
+  var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
+  var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
+  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
+  var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
+  var TheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.f;
+  var MutableSolver = kotlin_it_unibo_tuprolog_solve.$_$.s2;
+  var classMeta = kotlin_kotlin.$_$.f5;
+  var interfaceMeta = kotlin_kotlin.$_$.o5;
+  //endregion
+  //region block: pre-declaration
+  setMetadataFor(Companion, 'Companion', objectMeta);
+  function solverOf(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return this.f30().k1z(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
+  }
+  function solverOf_0(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings, $super) {
+    unificator = unificator === VOID ? this.k1l() : unificator;
+    otherLibraries = otherLibraries === VOID ? this.f30().p1y() : otherLibraries;
+    flags = flags === VOID ? this.f30().s1y() : flags;
+    staticKb = staticKb === VOID ? this.f30().v1y() : staticKb;
+    dynamicKb = dynamicKb === VOID ? this.f30().w1y() : dynamicKb;
+    stdIn = stdIn === VOID ? this.f30().x1y() : stdIn;
+    stdOut = stdOut === VOID ? this.f30().y1y() : stdOut;
+    stdErr = stdErr === VOID ? this.f30().z1y() : stdErr;
+    warnings = warnings === VOID ? this.f30().a1z() : warnings;
+    return $super === VOID ? this.h1z(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) : solverOf(unificator, otherLibraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
+  }
+  function staticKbByArray(clauses) {
+    return this.g30().loadStaticClauses(clauses.slice());
+  }
+  function staticKbByIterable(clauses) {
+    return this.g30().loadStaticClausesIterable(clauses);
+  }
+  function staticKbBySequence(clauses) {
+    return this.g30().loadStaticClausesSequence(clauses);
+  }
+  function staticKbByTheory(theory) {
+    return this.g30().loadStaticKb(theory);
+  }
+  function dynamicKbByArray(clauses) {
+    return this.g30().loadDynamicClauses(clauses.slice());
+  }
+  function dynamicKbByIterable(clauses) {
+    return this.g30().loadDynamicClausesIterable(clauses);
+  }
+  function dynamicKbBySequence(clauses) {
+    return this.g30().loadDynamicClausesSequence(clauses);
+  }
+  function dynamicKbByTheory(theory) {
+    return this.g30().loadDynamicKb(theory);
+  }
+  setMetadataFor(LogicProgrammingScopeWithResolution, 'LogicProgrammingScopeWithResolution', interfaceMeta, VOID, [BaseLogicProgrammingScope, Unificator, MutableSolver]);
+  setMetadataFor(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', classMeta, VOID, [MinimalLogicProgrammingScope, BaseLogicProgrammingScope, LogicProgrammingScopeWithResolution, LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithTheories, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithOperators, Scope, LogicProgrammingScopeWithUnification, Unificator, TheoryFactory, MutableSolver]);
+  //endregion
+  function prolog(unificator, function_0) {
+    unificator = unificator === VOID ? Companion_getInstance().h1y().r1y() : unificator;
+    return logicProgramming(Companion_getInstance().h1y(), unificator, function_0);
+  }
+  function logicProgramming(solverFactory, unificator, function_0) {
+    unificator = unificator === VOID ? solverFactory.r1y() : unificator;
+    return function_0(Companion_instance_2.ofSolverFactory(solverFactory, unificator));
+  }
+  function Companion() {
+  }
+  protoOf(Companion).v2z = function (_this__u8e3s4, unificator) {
+    return _this__u8e3s4.r1y() === unificator ? _this__u8e3s4 : _this__u8e3s4.newBuilder().setUnificator(unificator).toFactory();
+  };
+  protoOf(Companion).w2z = function (scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory) {
+    return LogicProgrammingScopeImpl_init_$Create$(scope, termificator.z1g() === scope ? termificator : termificator.a1h(scope), variablesProvider.z1g() === scope ? variablesProvider : variablesProvider.a1h(scope), unificator, theoryFactory.k1l() === unificator ? theoryFactory : theoryFactory.j1l(unificator), this.v2z(solverFactory, unificator));
+  };
+  protoOf(Companion).of = function (scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory, $super) {
+    scope = scope === VOID ? Companion_instance.empty() : scope;
+    termificator = termificator === VOID ? Companion_instance_0.default(scope) : termificator;
+    variablesProvider = variablesProvider === VOID ? Companion_instance_1.v13(scope) : variablesProvider;
+    unificator = unificator === VOID ? Companion_getInstance_0().e1l() : unificator;
+    theoryFactory = theoryFactory === VOID ? new IndexedTheoryFactory(unificator) : theoryFactory;
+    return $super === VOID ? this.w2z(scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory) : $super.w2z.call(this, scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory);
+  };
+  protoOf(Companion).x2z = function (solverFactory, unificator, scope, termificator, variablesProvider, theoryFactory) {
+    return this.w2z(scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory);
+  };
+  protoOf(Companion).ofSolverFactory = function (solverFactory, unificator, scope, termificator, variablesProvider, theoryFactory, $super) {
+    unificator = unificator === VOID ? solverFactory.r1y() : unificator;
+    scope = scope === VOID ? Companion_instance.empty() : scope;
+    termificator = termificator === VOID ? Companion_instance_0.default(scope) : termificator;
+    variablesProvider = variablesProvider === VOID ? Companion_instance_1.v13(scope) : variablesProvider;
+    theoryFactory = theoryFactory === VOID ? new IndexedTheoryFactory(unificator) : theoryFactory;
+    return $super === VOID ? this.x2z(solverFactory, unificator, scope, termificator, variablesProvider, theoryFactory) : $super.x2z.call(this, solverFactory, unificator, scope, termificator, variablesProvider, theoryFactory);
+  };
+  var Companion_instance_2;
+  function Companion_getInstance_1() {
+    return Companion_instance_2;
+  }
+  function LogicProgrammingScopeImpl_init_$Init$(scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory, $this) {
+    LogicProgrammingScopeImpl.call($this, scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory, solverFactory.rawMutableSolverOf(unificator));
+    return $this;
+  }
+  function LogicProgrammingScopeImpl_init_$Create$(scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory) {
+    return LogicProgrammingScopeImpl_init_$Init$(scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory, objectCreate(protoOf(LogicProgrammingScopeImpl)));
+  }
+  function LogicProgrammingScopeImpl(scope, termificator, variablesProvider, unificator, theoryFactory, solverFactory, defaultSolver) {
+    this.y2z_1 = scope;
+    this.z2z_1 = termificator;
+    this.a30_1 = variablesProvider;
+    this.b30_1 = unificator;
+    this.c30_1 = theoryFactory;
+    this.d30_1 = solverFactory;
+    this.e30_1 = defaultSolver;
+    // Inline function 'kotlin.require' call
+    // Inline function 'kotlin.contracts.contract' call
+    if (!(this.y2z_1 === this.a30_1.z1g() ? this.y2z_1 === this.z2z_1.z1g() : false)) {
+      // Inline function 'it.unibo.tuprolog.dsl.solve.LogicProgrammingScopeImpl.<anonymous>' call
+      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
+    // Inline function 'kotlin.contracts.contract' call
+    if (!((equals(this.b30_1, this.c30_1.k1l()) ? equals(this.b30_1, this.d30_1.r1y()) : false) ? equals(this.b30_1, this.e30_1.k1l()) : false)) {
+      // Inline function 'it.unibo.tuprolog.dsl.solve.LogicProgrammingScopeImpl.<anonymous>' call
+      var message_0 = 'The provided Unificator should be the same object for both Solver, SolverFactory, and TheoryFactory';
+      throw IllegalArgumentException_init_$Create$(toString(message_0));
+    }
+  }
+  protoOf(LogicProgrammingScopeImpl).z1g = function () {
+    return this.y2z_1;
+  };
+  protoOf(LogicProgrammingScopeImpl).x1i = function () {
+    return this.z2z_1;
+  };
+  protoOf(LogicProgrammingScopeImpl).k1l = function () {
+    return this.b30_1;
+  };
+  protoOf(LogicProgrammingScopeImpl).f30 = function () {
+    return this.d30_1;
+  };
+  protoOf(LogicProgrammingScopeImpl).g30 = function () {
+    return this.e30_1;
+  };
+  protoOf(LogicProgrammingScopeImpl).c1h = function () {
+    return this.a30_1.c1h();
+  };
+  protoOf(LogicProgrammingScopeImpl).d1h = function () {
+    return this.a30_1.d1h();
+  };
+  protoOf(LogicProgrammingScopeImpl).u10 = function () {
+    return this.a30_1.u10();
+  };
+  protoOf(LogicProgrammingScopeImpl).t10 = function () {
+    return this.a30_1.t10();
+  };
+  protoOf(LogicProgrammingScopeImpl).anonymous = function () {
+    return this.a30_1.anonymous();
+  };
+  protoOf(LogicProgrammingScopeImpl).atomOfChar = function (value) {
+    return this.a30_1.atomOfChar(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).atomOf = function (value) {
+    return this.a30_1.atomOf(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).blockOf = function (terms) {
+    return this.a30_1.blockOf(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).blockOfIterable = function (terms) {
+    return this.a30_1.blockOfIterable(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).blockOfSequence = function (terms) {
+    return this.a30_1.blockOfSequence(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).clauseOf = function (head, body) {
+    return this.a30_1.clauseOf(head, body);
+  };
+  protoOf(LogicProgrammingScopeImpl).consOf = function (head, tail) {
+    return this.a30_1.consOf(head, tail);
+  };
+  protoOf(LogicProgrammingScopeImpl).containsVar = function (variable) {
+    return this.a30_1.containsVar(variable);
+  };
+  protoOf(LogicProgrammingScopeImpl).contains = function (variable) {
+    return this.a30_1.contains(variable);
+  };
+  protoOf(LogicProgrammingScopeImpl).directiveOf = function (body1, body) {
+    return this.a30_1.directiveOf(body1, body);
+  };
+  protoOf(LogicProgrammingScopeImpl).factOf = function (head) {
+    return this.a30_1.factOf(head);
+  };
+  protoOf(LogicProgrammingScopeImpl).get = function (variable) {
+    return this.a30_1.get(variable);
+  };
+  protoOf(LogicProgrammingScopeImpl).getValue = function (thisRef, property) {
+    return this.a30_1.getValue(thisRef, property);
+  };
+  protoOf(LogicProgrammingScopeImpl).indicatorOf = function (name, arity) {
+    return this.a30_1.indicatorOf(name, arity);
+  };
+  protoOf(LogicProgrammingScopeImpl).indicatorOfStringInt = function (name, arity) {
+    return this.a30_1.indicatorOfStringInt(name, arity);
+  };
+  protoOf(LogicProgrammingScopeImpl).intOfByte = function (value) {
+    return this.a30_1.intOfByte(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).intOf = function (value) {
+    return this.a30_1.intOf(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).intOfLong = function (value) {
+    return this.a30_1.intOfLong(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).intOfShort = function (value) {
+    return this.a30_1.intOfShort(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).parseInt = function (value) {
+    return this.a30_1.parseInt(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).parseIntRadix = function (value, radix) {
+    return this.a30_1.parseIntRadix(value, radix);
+  };
+  protoOf(LogicProgrammingScopeImpl).intOfBigInteger = function (value) {
+    return this.a30_1.intOfBigInteger(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).v10 = function (terms, last) {
+    return this.a30_1.v10(terms, last);
+  };
+  protoOf(LogicProgrammingScopeImpl).w10 = function (terms, last) {
+    return this.a30_1.w10(terms, last);
+  };
+  protoOf(LogicProgrammingScopeImpl).x10 = function (terms, last) {
+    return this.a30_1.x10(terms, last);
+  };
+  protoOf(LogicProgrammingScopeImpl).logicListOf = function (terms) {
+    return this.a30_1.logicListOf(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).logicListOfIterable = function (terms) {
+    return this.a30_1.logicListOfIterable(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).logicListOfSequence = function (terms) {
+    return this.a30_1.logicListOfSequence(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfByte = function (value) {
+    return this.a30_1.numOfByte(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfDouble = function (value) {
+    return this.a30_1.numOfDouble(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfFloat = function (value) {
+    return this.a30_1.numOfFloat(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfInt = function (value) {
+    return this.a30_1.numOfInt(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfLong = function (value) {
+    return this.a30_1.numOfLong(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOf = function (value) {
+    return this.a30_1.numOf(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfShort = function (value) {
+    return this.a30_1.numOfShort(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).parseNum = function (value) {
+    return this.a30_1.parseNum(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfBigDecimal = function (value) {
+    return this.a30_1.numOfBigDecimal(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfBigInteger = function (value) {
+    return this.a30_1.numOfBigInteger(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).realOf = function (value) {
+    return this.a30_1.realOf(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).realOfFloat = function (value) {
+    return this.a30_1.realOfFloat(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).parseReal = function (value) {
+    return this.a30_1.parseReal(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).realOfBigDecimal = function (value) {
+    return this.a30_1.realOfBigDecimal(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).ruleOf = function (head, body1, body) {
+    return this.a30_1.ruleOf(head, body1, body);
+  };
+  protoOf(LogicProgrammingScopeImpl).structOf = function (functor, args) {
+    return this.a30_1.structOf(functor, args);
+  };
+  protoOf(LogicProgrammingScopeImpl).structOfIterable = function (functor, args) {
+    return this.a30_1.structOfIterable(functor, args);
+  };
+  protoOf(LogicProgrammingScopeImpl).structOfList = function (functor, args) {
+    return this.a30_1.structOfList(functor, args);
+  };
+  protoOf(LogicProgrammingScopeImpl).structOfSequence = function (functor, args) {
+    return this.a30_1.structOfSequence(functor, args);
+  };
+  protoOf(LogicProgrammingScopeImpl).substitutionOf = function (assignments) {
+    return this.a30_1.substitutionOf(assignments);
+  };
+  protoOf(LogicProgrammingScopeImpl).substitutionOfIterable = function (assignments) {
+    return this.a30_1.substitutionOfIterable(assignments);
+  };
+  protoOf(LogicProgrammingScopeImpl).substitutionOfSequence = function (assignments) {
+    return this.a30_1.substitutionOfSequence(assignments);
+  };
+  protoOf(LogicProgrammingScopeImpl).truthOf = function (value) {
+    return this.a30_1.truthOf(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).tupleOf = function (terms) {
+    return this.a30_1.tupleOf(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).tupleOfIterable = function (terms) {
+    return this.a30_1.tupleOfIterable(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).tupleOfSequence = function (terms) {
+    return this.a30_1.tupleOfSequence(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).unifierOf = function (assignments) {
+    return this.a30_1.unifierOf(assignments);
+  };
+  protoOf(LogicProgrammingScopeImpl).unifierOfIterable = function (assignments) {
+    return this.a30_1.unifierOfIterable(assignments);
+  };
+  protoOf(LogicProgrammingScopeImpl).unifierOfSequence = function (assignments) {
+    return this.a30_1.unifierOfSequence(assignments);
+  };
+  protoOf(LogicProgrammingScopeImpl).varOfChar = function (name) {
+    return this.a30_1.varOfChar(name);
+  };
+  protoOf(LogicProgrammingScopeImpl).varOf = function (name) {
+    return this.a30_1.varOf(name);
+  };
+  protoOf(LogicProgrammingScopeImpl).whatever = function () {
+    return this.a30_1.whatever();
+  };
+  protoOf(LogicProgrammingScopeImpl).where = function (lambda) {
+    return this.a30_1.where(lambda);
+  };
+  protoOf(LogicProgrammingScopeImpl).with = function (lambda) {
+    return this.a30_1.with(lambda);
+  };
+  protoOf(LogicProgrammingScopeImpl).match = function (term1, term2) {
+    return this.b30_1.match(term1, term2);
+  };
+  protoOf(LogicProgrammingScopeImpl).matchWithOccurCheck = function (term1, term2, occurCheckEnabled) {
+    return this.b30_1.matchWithOccurCheck(term1, term2, occurCheckEnabled);
+  };
+  protoOf(LogicProgrammingScopeImpl).merge = function (substitution1, substitution2) {
+    return this.b30_1.merge(substitution1, substitution2);
+  };
+  protoOf(LogicProgrammingScopeImpl).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
+    return this.b30_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
+  };
+  protoOf(LogicProgrammingScopeImpl).mgu = function (term1, term2) {
+    return this.b30_1.mgu(term1, term2);
+  };
+  protoOf(LogicProgrammingScopeImpl).a1k = function (term1, term2, occurCheckEnabled) {
+    return this.b30_1.a1k(term1, term2, occurCheckEnabled);
+  };
+  protoOf(LogicProgrammingScopeImpl).unify = function (term1, term2) {
+    return this.b30_1.unify(term1, term2);
+  };
+  protoOf(LogicProgrammingScopeImpl).unifyWithOccurCheck = function (term1, term2, occurCheckEnabled) {
+    return this.b30_1.unifyWithOccurCheck(term1, term2, occurCheckEnabled);
+  };
+  protoOf(LogicProgrammingScopeImpl).emptyMutableTheory = function () {
+    return this.c30_1.emptyMutableTheory();
+  };
+  protoOf(LogicProgrammingScopeImpl).emptyMutableTheoryWithUnificator = function (unificator) {
+    return this.c30_1.emptyMutableTheoryWithUnificator(unificator);
+  };
+  protoOf(LogicProgrammingScopeImpl).emptyTheory = function () {
+    return this.c30_1.emptyTheory();
+  };
+  protoOf(LogicProgrammingScopeImpl).emptyTheoryWithUnificator = function (unificator) {
+    return this.c30_1.emptyTheoryWithUnificator(unificator);
+  };
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfWithUnificator = function (unificator, clauses) {
+    return this.c30_1.mutableTheoryOfWithUnificator(unificator, clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOf = function (clauses) {
+    return this.c30_1.mutableTheoryOf(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterable = function (clauses) {
+    return this.c30_1.mutableTheoryOfIterable(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.c30_1.mutableTheoryOfIterableWithUnificator(clauses, unificator);
+  };
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequence = function (clauses) {
+    return this.c30_1.mutableTheoryOfSequence(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.c30_1.mutableTheoryOfSequenceWithUnificator(clauses, unificator);
+  };
+  protoOf(LogicProgrammingScopeImpl).theoryOfWithUnificator = function (unificator, clauses) {
+    return this.c30_1.theoryOfWithUnificator(unificator, clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).theoryOf = function (clauses) {
+    return this.c30_1.theoryOf(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).theoryOfIterable = function (clauses) {
+    return this.c30_1.theoryOfIterable(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).theoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.c30_1.theoryOfIterableWithUnificator(clauses, unificator);
+  };
+  protoOf(LogicProgrammingScopeImpl).theoryOfSequence = function (clauses) {
+    return this.c30_1.theoryOfSequence(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).theoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.c30_1.theoryOfSequenceWithUnificator(clauses, unificator);
+  };
+  protoOf(LogicProgrammingScopeImpl).t1v = function () {
+    return this.e30_1.t1v();
+  };
+  protoOf(LogicProgrammingScopeImpl).r1v = function () {
+    return this.e30_1.r1v();
+  };
+  protoOf(LogicProgrammingScopeImpl).u1v = function () {
+    return this.e30_1.u1v();
+  };
+  protoOf(LogicProgrammingScopeImpl).q1v = function () {
+    return this.e30_1.q1v();
+  };
+  protoOf(LogicProgrammingScopeImpl).z1v = function () {
+    return this.e30_1.z1v();
+  };
+  protoOf(LogicProgrammingScopeImpl).v1v = function () {
+    return this.e30_1.v1v();
+  };
+  protoOf(LogicProgrammingScopeImpl).c1w = function () {
+    return this.e30_1.c1w();
+  };
+  protoOf(LogicProgrammingScopeImpl).a1w = function () {
+    return this.e30_1.a1w();
+  };
+  protoOf(LogicProgrammingScopeImpl).b1w = function () {
+    return this.e30_1.b1w();
+  };
+  protoOf(LogicProgrammingScopeImpl).s1v = function () {
+    return this.e30_1.s1v();
+  };
+  protoOf(LogicProgrammingScopeImpl).d1w = function () {
+    return this.e30_1.d1w();
+  };
+  protoOf(LogicProgrammingScopeImpl).appendDynamicKb = function (theory) {
+    this.e30_1.appendDynamicKb(theory);
+  };
+  protoOf(LogicProgrammingScopeImpl).appendStaticKb = function (theory) {
+    this.e30_1.appendStaticKb(theory);
+  };
+  protoOf(LogicProgrammingScopeImpl).assertA = function (clause) {
+    this.e30_1.assertA(clause);
+  };
+  protoOf(LogicProgrammingScopeImpl).assertAFact = function (fact) {
+    this.e30_1.assertAFact(fact);
+  };
+  protoOf(LogicProgrammingScopeImpl).assertZ = function (clause) {
+    this.e30_1.assertZ(clause);
+  };
+  protoOf(LogicProgrammingScopeImpl).assertZFact = function (fact) {
+    this.e30_1.assertZFact(fact);
+  };
+  protoOf(LogicProgrammingScopeImpl).a1t = function () {
+    return this.e30_1.a1t();
+  };
+  protoOf(LogicProgrammingScopeImpl).clone = function () {
+    return this.a1t();
+  };
+  protoOf(LogicProgrammingScopeImpl).h1w = function (unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings) {
+    return this.e30_1.h1w(unificator, libraries, flags, staticKb, dynamicKb, stdIn, stdOut, stdErr, warnings);
+  };
+  protoOf(LogicProgrammingScopeImpl).loadDynamicClauses = function (clauses) {
+    this.e30_1.loadDynamicClauses(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).loadDynamicClausesIterable = function (clauses) {
+    this.e30_1.loadDynamicClausesIterable(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).loadDynamicClausesSequence = function (clauses) {
+    this.e30_1.loadDynamicClausesSequence(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).loadDynamicKb = function (theory) {
+    this.e30_1.loadDynamicKb(theory);
+  };
+  protoOf(LogicProgrammingScopeImpl).loadLibrary = function (library) {
+    this.e30_1.loadLibrary(library);
+  };
+  protoOf(LogicProgrammingScopeImpl).loadStaticClauses = function (clauses) {
+    this.e30_1.loadStaticClauses(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).loadStaticClausesIterable = function (clauses) {
+    this.e30_1.loadStaticClausesIterable(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).loadStaticClausesSequence = function (clauses) {
+    this.e30_1.loadStaticClausesSequence(clauses);
+  };
+  protoOf(LogicProgrammingScopeImpl).loadStaticKb = function (theory) {
+    this.e30_1.loadStaticKb(theory);
+  };
+  protoOf(LogicProgrammingScopeImpl).resetDynamicKb = function () {
+    this.e30_1.resetDynamicKb();
+  };
+  protoOf(LogicProgrammingScopeImpl).resetStaticKb = function () {
+    this.e30_1.resetStaticKb();
+  };
+  protoOf(LogicProgrammingScopeImpl).retract = function (clause) {
+    return this.e30_1.retract(clause);
+  };
+  protoOf(LogicProgrammingScopeImpl).retractByHead = function (fact) {
+    return this.e30_1.retractByHead(fact);
+  };
+  protoOf(LogicProgrammingScopeImpl).retractAll = function (clause) {
+    return this.e30_1.retractAll(clause);
+  };
+  protoOf(LogicProgrammingScopeImpl).retractAllBeHead = function (fact) {
+    return this.e30_1.retractAllBeHead(fact);
+  };
+  protoOf(LogicProgrammingScopeImpl).setFlagNotable = function (flag) {
+    this.e30_1.setFlagNotable(flag);
+  };
+  protoOf(LogicProgrammingScopeImpl).setFlagPair = function (flag) {
+    this.e30_1.setFlagPair(flag);
+  };
+  protoOf(LogicProgrammingScopeImpl).setFlag = function (name, value) {
+    this.e30_1.setFlag(name, value);
+  };
+  protoOf(LogicProgrammingScopeImpl).setLibraries = function (libraries) {
+    this.e30_1.setLibraries(libraries);
+  };
+  protoOf(LogicProgrammingScopeImpl).setStandardError = function (stdErr) {
+    this.e30_1.setStandardError(stdErr);
+  };
+  protoOf(LogicProgrammingScopeImpl).setStandardInput = function (stdIn) {
+    this.e30_1.setStandardInput(stdIn);
+  };
+  protoOf(LogicProgrammingScopeImpl).setStandardOutput = function (stdOut) {
+    this.e30_1.setStandardOutput(stdOut);
+  };
+  protoOf(LogicProgrammingScopeImpl).setWarnings = function (warnings) {
+    this.e30_1.setWarnings(warnings);
+  };
+  protoOf(LogicProgrammingScopeImpl).solve = function (goal) {
+    return this.e30_1.solve(goal);
+  };
+  protoOf(LogicProgrammingScopeImpl).solveWithOptions = function (goal, options) {
+    return this.e30_1.solveWithOptions(goal, options);
+  };
+  protoOf(LogicProgrammingScopeImpl).solveWithTimeout = function (goal, timeout) {
+    return this.e30_1.solveWithTimeout(goal, timeout);
+  };
+  protoOf(LogicProgrammingScopeImpl).solveList = function (goal) {
+    return this.e30_1.solveList(goal);
+  };
+  protoOf(LogicProgrammingScopeImpl).solveListWithOptions = function (goal, options) {
+    return this.e30_1.solveListWithOptions(goal, options);
+  };
+  protoOf(LogicProgrammingScopeImpl).solveListWithTimeout = function (goal, timeout) {
+    return this.e30_1.solveListWithTimeout(goal, timeout);
+  };
+  protoOf(LogicProgrammingScopeImpl).solveOnce = function (goal) {
+    return this.e30_1.solveOnce(goal);
+  };
+  protoOf(LogicProgrammingScopeImpl).solveOnceWithOptions = function (goal, options) {
+    return this.e30_1.solveOnceWithOptions(goal, options);
+  };
+  protoOf(LogicProgrammingScopeImpl).solveOnceWithTimeout = function (goal, timeout) {
+    return this.e30_1.solveOnceWithTimeout(goal, timeout);
+  };
+  protoOf(LogicProgrammingScopeImpl).unloadLibrary = function (library) {
+    this.e30_1.unloadLibrary(library);
+  };
+  protoOf(LogicProgrammingScopeImpl).c1j = function () {
+    return this.a1h(Companion_instance.empty());
+  };
+  protoOf(LogicProgrammingScopeImpl).newScope = function () {
+    return this.c1j();
+  };
+  protoOf(LogicProgrammingScopeImpl).a1h = function (scope) {
+    return LogicProgrammingScopeImpl_init_$Create$(scope, this.z2z_1.a1h(scope), this.a30_1.a1h(scope), this.b30_1, this.c30_1, this.d30_1);
+  };
+  protoOf(LogicProgrammingScopeImpl).j1l = function (unificator) {
+    return LogicProgrammingScopeImpl_init_$Create$(this.y2z_1, this.z2z_1, this.a30_1, unificator, this.c30_1.j1l(unificator), Companion_instance_2.v2z(this.d30_1, unificator));
+  };
+  function LogicProgrammingScopeWithResolution() {
+  }
+  //region block: post-declaration
+  protoOf(LogicProgrammingScopeImpl).logicListFromFrom = logicListFromFrom;
+  protoOf(LogicProgrammingScopeImpl).logicListFromIterable = logicListFromIterable;
+  protoOf(LogicProgrammingScopeImpl).logicListFromSequence = logicListFromSequence;
+  protoOf(LogicProgrammingScopeImpl).mguWithOccurCheck = mguWithOccurCheck;
+  protoOf(LogicProgrammingScopeImpl).copy = copy;
+  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).d1j = 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).g1l = mgu;
+  protoOf(LogicProgrammingScopeImpl).mguAny = mguAny;
+  protoOf(LogicProgrammingScopeImpl).h1l = match;
+  protoOf(LogicProgrammingScopeImpl).matchAny = matchAny;
+  protoOf(LogicProgrammingScopeImpl).i1l = 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;
+  protoOf(LogicProgrammingScopeImpl).h1z = solverOf;
+  protoOf(LogicProgrammingScopeImpl).solverOf = solverOf_0;
+  protoOf(LogicProgrammingScopeImpl).staticKbByArray = staticKbByArray;
+  protoOf(LogicProgrammingScopeImpl).staticKbByIterable = staticKbByIterable;
+  protoOf(LogicProgrammingScopeImpl).staticKbBySequence = staticKbBySequence;
+  protoOf(LogicProgrammingScopeImpl).staticKbByTheory = staticKbByTheory;
+  protoOf(LogicProgrammingScopeImpl).dynamicKbByArray = dynamicKbByArray;
+  protoOf(LogicProgrammingScopeImpl).dynamicKbByIterable = dynamicKbByIterable;
+  protoOf(LogicProgrammingScopeImpl).dynamicKbBySequence = dynamicKbBySequence;
+  protoOf(LogicProgrammingScopeImpl).dynamicKbByTheory = dynamicKbByTheory;
+  //endregion
+  //region block: init
+  Companion_instance_2 = new Companion();
+  //endregion
+  //region block: exports
+  _.$_$ = _.$_$ || {};
+  _.$_$.a = solverOf_0;
+  _.$_$.b = Companion_instance_2;
+  _.$_$.c = LogicProgrammingScopeWithResolution;
+  _.$_$.d = prolog;
+  //endregion
+  return _;
+}));
+
+//# sourceMappingURL=2p-dsl-solve.js.map