@tuprolog/arg2p 0.10.2 → 0.11.2

package/2p-dsl-theory.js

@@ -1,44 +1,44 @@
-(function (root, factory) {
+(function (factory) {
   if (typeof define === 'function' && define.amd)
     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, 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 this['kotlin-kotlin-stdlib'] === 'undefined') {
+    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 this['2p-unify'] === 'undefined') {
+    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 this['2p-core'] === 'undefined') {
+    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 this['2p-dsl-core'] === 'undefined') {
+    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 this['2p-theory'] === 'undefined') {
+    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 this['2p-dsl-unify'] === 'undefined') {
+    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'.");
     }
-    root['2p-dsl-theory'] = factory(typeof this['2p-dsl-theory'] === 'undefined' ? {} : this['2p-dsl-theory'], this['kotlin-kotlin-stdlib'], this['2p-unify'], this['2p-core'], this['2p-dsl-core'], this['2p-theory'], this['2p-dsl-unify']);
+    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']);
   }
-}(this, 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) {
+}(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.$_$.d;
+  var VOID = kotlin_kotlin.$_$.b;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.b;
-  var protoOf = kotlin_kotlin.$_$.b6;
+  var protoOf = kotlin_kotlin.$_$.m6;
   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 IndexedTheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.c;
-  var objectMeta = kotlin_kotlin.$_$.a6;
-  var setMetadataFor = kotlin_kotlin.$_$.c6;
-  var toString = kotlin_kotlin.$_$.g6;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.s;
-  var equals = kotlin_kotlin.$_$.i5;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.y5;
+  var toString = kotlin_kotlin.$_$.p6;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
+  var Unit_instance = kotlin_kotlin.$_$.k1;
+  var equals = kotlin_kotlin.$_$.r5;
   var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.d;
   var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.b;
   var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.c;
@@ -179,33 +179,32 @@
   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 LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
-  var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
-  var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
   var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
-  var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
-  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
   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 LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
+  var Scope = kotlin_it_unibo_tuprolog_core.$_$.r1;
+  var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
   var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
   var TheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.f;
-  var classMeta = kotlin_kotlin.$_$.f5;
+  var initMetadataForClass = kotlin_kotlin.$_$.x5;
   var Clause = kotlin_it_unibo_tuprolog_core.$_$.g1;
-  var getKClass = kotlin_kotlin.$_$.c;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.e;
-  var Unit_instance = kotlin_kotlin.$_$.s1;
-  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.f;
-  var addAll = kotlin_kotlin.$_$.a2;
-  var plus = kotlin_kotlin.$_$.a8;
+  var getKClass = kotlin_kotlin.$_$.e7;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.d;
+  var addAll = kotlin_kotlin.$_$.s1;
+  var plus = kotlin_kotlin.$_$.k8;
   var arrayConcat = kotlin_kotlin.$_$.a;
-  var listOf = kotlin_kotlin.$_$.k3;
-  var flatten = kotlin_kotlin.$_$.z2;
-  var interfaceMeta = kotlin_kotlin.$_$.o5;
+  var listOf = kotlin_kotlin.$_$.c3;
+  var flatten = kotlin_kotlin.$_$.r2;
+  var initMetadataForInterface = kotlin_kotlin.$_$.z5;
   //endregion
   //region block: pre-declaration
-  setMetadataFor(Companion, 'Companion', objectMeta);
+  initMetadataForCompanion(Companion);
   function convertToClause(_this__u8e3s4) {
     var tmp = getKClass(Clause);
-    return this.convertToSpecificSubTypeOfTerm(_this__u8e3s4, tmp, LogicProgrammingScopeWithTheories$toClause$clauseOf$ref(this));
+    return this.convertToSpecificSubTypeOfTerm(_this__u8e3s4, tmp, LogicProgrammingScopeWithTheories$clauseOf$ref(this));
   }
   function theory(clauseFunctions) {
     // Inline function 'kotlin.collections.map' call
@@ -216,9 +215,8 @@
     while (inductionVariable < last) {
       var item = clauseFunctions[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.dsl.theory.LogicProgrammingScopeWithTheories.theory.<anonymous>' call
       var tmp$ret$0 = this.convertToClause(item(this.newScope()));
-      destination.o(tmp$ret$0);
+      destination.m(tmp$ret$0);
     }
     return this.theoryOfIterable(destination);
   }
@@ -231,7 +229,6 @@
     while (inductionVariable < last) {
       var element = otherClauses[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.dsl.theory.LogicProgrammingScopeWithTheories.theoryOf.<anonymous>' call
       var list = element;
       addAll(destination, list);
     }
@@ -249,9 +246,8 @@
     while (inductionVariable < last) {
       var item = clauseFunctions[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.dsl.theory.LogicProgrammingScopeWithTheories.mutableTheory.<anonymous>' call
       var tmp$ret$0 = this.convertToClause(item(this.newScope()));
-      destination.o(tmp$ret$0);
+      destination.m(tmp$ret$0);
     }
     return this.mutableTheoryOfIterable(destination);
   }
@@ -264,7 +260,6 @@
     while (inductionVariable < last) {
       var element = otherClauses[inductionVariable];
       inductionVariable = inductionVariable + 1 | 0;
-      // Inline function 'it.unibo.tuprolog.dsl.theory.LogicProgrammingScopeWithTheories.mutableTheoryOf.<anonymous>' call
       var list = element;
       addAll(destination, list);
     }
@@ -273,40 +268,40 @@
   function mutableTheoryOfConcatenatedIterables(clauses, otherClauses) {
     return this.mutableTheoryOfIterable(flatten(listOf(arrayConcat([[clauses], otherClauses]))));
   }
-  setMetadataFor(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', interfaceMeta, VOID, [Unificator, BaseLogicProgrammingScope, TheoryFactory]);
-  setMetadataFor(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', classMeta, VOID, [LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithTheories, MinimalLogicProgrammingScope, Scope, LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithUnification, BaseLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions, Unificator, TheoryFactory]);
+  initMetadataForInterface(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', VOID, VOID, [BaseLogicProgrammingScope, Unificator, TheoryFactory]);
+  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithPrologStandardLibrary, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithOperators, Scope, LogicProgrammingScopeWithTheories, MinimalLogicProgrammingScope, Unificator, TheoryFactory]);
   //endregion
   function logicProgramming(unificator, function_0) {
-    unificator = unificator === VOID ? Companion_getInstance_0().v1u_1 : unificator;
+    unificator = unificator === VOID ? Companion_getInstance_0().z2x_1 : unificator;
     return function_0(Companion_getInstance_0().ofUnificator(unificator));
   }
   function Companion() {
     Companion_instance_2 = this;
-    this.v1u_1 = Companion_getInstance().e1l();
+    this.z2x_1 = Companion_getInstance().u1i();
   }
   protoOf(Companion).empty = function () {
     return this.of();
   };
-  protoOf(Companion).w1u = function (scope, termificator, variablesProvider, unificator, theoryFactory) {
-    return new LogicProgrammingScopeImpl(scope, termificator.z1g() === scope ? termificator : termificator.a1h(scope), variablesProvider.z1g() === scope ? variablesProvider : variablesProvider.a1h(scope), unificator, theoryFactory.k1l() === unificator ? theoryFactory : theoryFactory.j1l(unificator));
+  protoOf(Companion).a2y = function (scope, termificator, variablesProvider, unificator, theoryFactory) {
+    return new LogicProgrammingScopeImpl(scope, termificator.a1g() === scope ? termificator : termificator.b1g(scope), variablesProvider.a1g() === scope ? variablesProvider : variablesProvider.b1g(scope), unificator, theoryFactory.b1j() === unificator ? theoryFactory : theoryFactory.t1q(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.v13(scope) : variablesProvider;
-    unificator = unificator === VOID ? this.v1u_1 : unificator;
+    variablesProvider = variablesProvider === VOID ? Companion_instance_1.w12(scope) : variablesProvider;
+    unificator = unificator === VOID ? this.z2x_1 : unificator;
     theoryFactory = theoryFactory === VOID ? new IndexedTheoryFactory(unificator) : theoryFactory;
-    return $super === VOID ? this.w1u(scope, termificator, variablesProvider, unificator, theoryFactory) : $super.w1u.call(this, scope, termificator, variablesProvider, unificator, theoryFactory);
+    return $super === VOID ? this.a2y(scope, termificator, variablesProvider, unificator, theoryFactory) : $super.a2y.call(this, scope, termificator, variablesProvider, unificator, theoryFactory);
   };
-  protoOf(Companion).x1u = function (unificator, theoryFactory, scope, termificator, variablesProvider) {
-    return this.w1u(scope, termificator, variablesProvider, unificator, theoryFactory);
+  protoOf(Companion).b2y = function (unificator, theoryFactory, scope, termificator, variablesProvider) {
+    return this.a2y(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.v13(scope) : variablesProvider;
-    return $super === VOID ? this.x1u(unificator, theoryFactory, scope, termificator, variablesProvider) : $super.x1u.call(this, unificator, theoryFactory, scope, termificator, variablesProvider);
+    variablesProvider = variablesProvider === VOID ? Companion_instance_1.w12(scope) : variablesProvider;
+    return $super === VOID ? this.b2y(unificator, theoryFactory, scope, termificator, variablesProvider) : $super.b2y.call(this, unificator, theoryFactory, scope, termificator, variablesProvider);
   };
   var Companion_instance_2;
   function Companion_getInstance_0() {
@@ -315,326 +310,319 @@
     return Companion_instance_2;
   }
   function LogicProgrammingScopeImpl(scope, termificator, variablesProvider, unificator, theoryFactory) {
-    this.y1u_1 = scope;
-    this.z1u_1 = termificator;
-    this.a1v_1 = variablesProvider;
-    this.b1v_1 = unificator;
-    this.c1v_1 = theoryFactory;
+    this.c2y_1 = scope;
+    this.d2y_1 = termificator;
+    this.e2y_1 = variablesProvider;
+    this.f2y_1 = unificator;
+    this.g2y_1 = theoryFactory;
     // Inline function 'kotlin.require' call
-    // Inline function 'kotlin.contracts.contract' call
-    if (!(this.y1u_1 === this.a1v_1.z1g() ? this.y1u_1 === this.z1u_1.z1g() : false)) {
-      // Inline function 'it.unibo.tuprolog.dsl.theory.LogicProgrammingScopeImpl.<anonymous>' call
+    if (!(this.c2y_1 === this.e2y_1.a1g() && this.c2y_1 === this.d2y_1.a1g())) {
       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.b1v_1, this.c1v_1.k1l())) {
-      // Inline function 'it.unibo.tuprolog.dsl.theory.LogicProgrammingScopeImpl.<anonymous>' call
+    if (!equals(this.f2y_1, this.g2y_1.b1j())) {
       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).z1g = function () {
-    return this.y1u_1;
+  protoOf(LogicProgrammingScopeImpl).a1g = function () {
+    return this.c2y_1;
   };
-  protoOf(LogicProgrammingScopeImpl).x1i = function () {
-    return this.z1u_1;
+  protoOf(LogicProgrammingScopeImpl).l2x = function () {
+    return this.d2y_1;
   };
-  protoOf(LogicProgrammingScopeImpl).k1l = function () {
-    return this.b1v_1;
+  protoOf(LogicProgrammingScopeImpl).b1j = function () {
+    return this.f2y_1;
   };
-  protoOf(LogicProgrammingScopeImpl).c1h = function () {
-    return this.a1v_1.c1h();
+  protoOf(LogicProgrammingScopeImpl).b1g = function (scope) {
+    return new LogicProgrammingScopeImpl(scope, this.d2y_1.b1g(scope), this.e2y_1.b1g(scope), this.f2y_1, this.g2y_1);
   };
-  protoOf(LogicProgrammingScopeImpl).d1h = function () {
-    return this.a1v_1.d1h();
+  protoOf(LogicProgrammingScopeImpl).t1q = function (unificator) {
+    return new LogicProgrammingScopeImpl(this.c2y_1, this.d2y_1, this.e2y_1, unificator, this.g2y_1.t1q(unificator));
   };
-  protoOf(LogicProgrammingScopeImpl).u10 = function () {
-    return this.a1v_1.u10();
+  protoOf(LogicProgrammingScopeImpl).q2x = function () {
+    return this.b1g(Companion_instance.empty());
   };
-  protoOf(LogicProgrammingScopeImpl).t10 = function () {
-    return this.a1v_1.t10();
+  protoOf(LogicProgrammingScopeImpl).newScope = function () {
+    return this.q2x();
   };
-  protoOf(LogicProgrammingScopeImpl).anonymous = function () {
-    return this.a1v_1.anonymous();
+  protoOf(LogicProgrammingScopeImpl).structOf = function (functor, args) {
+    return this.e2y_1.structOf(functor, args);
   };
-  protoOf(LogicProgrammingScopeImpl).atomOfChar = function (value) {
-    return this.a1v_1.atomOfChar(value);
+  protoOf(LogicProgrammingScopeImpl).structOfSequence = function (functor, args) {
+    return this.e2y_1.structOfSequence(functor, args);
   };
-  protoOf(LogicProgrammingScopeImpl).atomOf = function (value) {
-    return this.a1v_1.atomOf(value);
+  protoOf(LogicProgrammingScopeImpl).structOfIterable = function (functor, args) {
+    return this.e2y_1.structOfIterable(functor, args);
+  };
+  protoOf(LogicProgrammingScopeImpl).structOfList = function (functor, args) {
+    return this.e2y_1.structOfList(functor, args);
+  };
+  protoOf(LogicProgrammingScopeImpl).tupleOf = function (terms) {
+    return this.e2y_1.tupleOf(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).tupleOfIterable = function (terms) {
+    return this.e2y_1.tupleOfIterable(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).tupleOfSequence = function (terms) {
+    return this.e2y_1.tupleOfSequence(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).logicListOf = function (terms) {
+    return this.e2y_1.logicListOf(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).logicListOfIterable = function (terms) {
+    return this.e2y_1.logicListOfIterable(terms);
+  };
+  protoOf(LogicProgrammingScopeImpl).logicListOfSequence = function (terms) {
+    return this.e2y_1.logicListOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOf = function (terms) {
-    return this.a1v_1.blockOf(terms);
+    return this.e2y_1.blockOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOfIterable = function (terms) {
-    return this.a1v_1.blockOfIterable(terms);
+    return this.e2y_1.blockOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOfSequence = function (terms) {
-    return this.a1v_1.blockOfSequence(terms);
+    return this.e2y_1.blockOfSequence(terms);
   };
-  protoOf(LogicProgrammingScopeImpl).clauseOf = function (head, body) {
-    return this.a1v_1.clauseOf(head, body);
+  protoOf(LogicProgrammingScopeImpl).factOf = function (head) {
+    return this.e2y_1.factOf(head);
   };
   protoOf(LogicProgrammingScopeImpl).consOf = function (head, tail) {
-    return this.a1v_1.consOf(head, tail);
+    return this.e2y_1.consOf(head, tail);
+  };
+  protoOf(LogicProgrammingScopeImpl).directiveOf = function (body1, body) {
+    return this.e2y_1.directiveOf(body1, body);
   };
   protoOf(LogicProgrammingScopeImpl).containsVar = function (variable) {
-    return this.a1v_1.containsVar(variable);
+    return this.e2y_1.containsVar(variable);
   };
   protoOf(LogicProgrammingScopeImpl).contains = function (variable) {
-    return this.a1v_1.contains(variable);
-  };
-  protoOf(LogicProgrammingScopeImpl).directiveOf = function (body1, body) {
-    return this.a1v_1.directiveOf(body1, body);
-  };
-  protoOf(LogicProgrammingScopeImpl).factOf = function (head) {
-    return this.a1v_1.factOf(head);
+    return this.e2y_1.contains(variable);
   };
   protoOf(LogicProgrammingScopeImpl).get = function (variable) {
-    return this.a1v_1.get(variable);
-  };
-  protoOf(LogicProgrammingScopeImpl).getValue = function (thisRef, property) {
-    return this.a1v_1.getValue(thisRef, property);
+    return this.e2y_1.get(variable);
   };
-  protoOf(LogicProgrammingScopeImpl).indicatorOf = function (name, arity) {
-    return this.a1v_1.indicatorOf(name, arity);
+  protoOf(LogicProgrammingScopeImpl).where = function (lambda) {
+    return this.e2y_1.where(lambda);
   };
-  protoOf(LogicProgrammingScopeImpl).indicatorOfStringInt = function (name, arity) {
-    return this.a1v_1.indicatorOfStringInt(name, arity);
+  protoOf(LogicProgrammingScopeImpl).with = function (lambda) {
+    return this.e2y_1.with(lambda);
   };
-  protoOf(LogicProgrammingScopeImpl).intOfByte = function (value) {
-    return this.a1v_1.intOfByte(value);
+  protoOf(LogicProgrammingScopeImpl).varOf = function (name) {
+    return this.e2y_1.varOf(name);
   };
-  protoOf(LogicProgrammingScopeImpl).intOf = function (value) {
-    return this.a1v_1.intOf(value);
+  protoOf(LogicProgrammingScopeImpl).varOfChar = function (name) {
+    return this.e2y_1.varOfChar(name);
   };
-  protoOf(LogicProgrammingScopeImpl).intOfLong = function (value) {
-    return this.a1v_1.intOfLong(value);
+  protoOf(LogicProgrammingScopeImpl).atomOf = function (value) {
+    return this.e2y_1.atomOf(value);
   };
-  protoOf(LogicProgrammingScopeImpl).intOfShort = function (value) {
-    return this.a1v_1.intOfShort(value);
+  protoOf(LogicProgrammingScopeImpl).atomOfChar = function (value) {
+    return this.e2y_1.atomOfChar(value);
   };
-  protoOf(LogicProgrammingScopeImpl).parseInt = function (value) {
-    return this.a1v_1.parseInt(value);
+  protoOf(LogicProgrammingScopeImpl).xz = function (terms, last) {
+    return this.e2y_1.xz(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).parseIntRadix = function (value, radix) {
-    return this.a1v_1.parseIntRadix(value, radix);
+  protoOf(LogicProgrammingScopeImpl).yz = function (terms, last) {
+    return this.e2y_1.yz(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).intOfBigInteger = function (value) {
-    return this.a1v_1.intOfBigInteger(value);
+  protoOf(LogicProgrammingScopeImpl).zz = function (terms, last) {
+    return this.e2y_1.zz(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).v10 = function (terms, last) {
-    return this.a1v_1.v10(terms, last);
+  protoOf(LogicProgrammingScopeImpl).ruleOf = function (head, body1, body) {
+    return this.e2y_1.ruleOf(head, body1, body);
   };
-  protoOf(LogicProgrammingScopeImpl).w10 = function (terms, last) {
-    return this.a1v_1.w10(terms, last);
+  protoOf(LogicProgrammingScopeImpl).clauseOf = function (head, body) {
+    return this.e2y_1.clauseOf(head, body);
   };
-  protoOf(LogicProgrammingScopeImpl).x10 = function (terms, last) {
-    return this.a1v_1.x10(terms, last);
+  protoOf(LogicProgrammingScopeImpl).indicatorOf = function (name, arity) {
+    return this.e2y_1.indicatorOf(name, arity);
   };
-  protoOf(LogicProgrammingScopeImpl).logicListOf = function (terms) {
-    return this.a1v_1.logicListOf(terms);
+  protoOf(LogicProgrammingScopeImpl).indicatorOfStringInt = function (name, arity) {
+    return this.e2y_1.indicatorOfStringInt(name, arity);
   };
-  protoOf(LogicProgrammingScopeImpl).logicListOfIterable = function (terms) {
-    return this.a1v_1.logicListOfIterable(terms);
+  protoOf(LogicProgrammingScopeImpl).anonymous = function () {
+    return this.e2y_1.anonymous();
   };
-  protoOf(LogicProgrammingScopeImpl).logicListOfSequence = function (terms) {
-    return this.a1v_1.logicListOfSequence(terms);
+  protoOf(LogicProgrammingScopeImpl).whatever = function () {
+    return this.e2y_1.whatever();
   };
-  protoOf(LogicProgrammingScopeImpl).numOfByte = function (value) {
-    return this.a1v_1.numOfByte(value);
+  protoOf(LogicProgrammingScopeImpl).numOfBigDecimal = function (value) {
+    return this.e2y_1.numOfBigDecimal(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfDouble = function (value) {
-    return this.a1v_1.numOfDouble(value);
+    return this.e2y_1.numOfDouble(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfFloat = function (value) {
-    return this.a1v_1.numOfFloat(value);
+    return this.e2y_1.numOfFloat(value);
+  };
+  protoOf(LogicProgrammingScopeImpl).numOfBigInteger = function (value) {
+    return this.e2y_1.numOfBigInteger(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfInt = function (value) {
-    return this.a1v_1.numOfInt(value);
+    return this.e2y_1.numOfInt(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfLong = function (value) {
-    return this.a1v_1.numOfLong(value);
-  };
-  protoOf(LogicProgrammingScopeImpl).numOf = function (value) {
-    return this.a1v_1.numOf(value);
+    return this.e2y_1.numOfLong(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfShort = function (value) {
-    return this.a1v_1.numOfShort(value);
+    return this.e2y_1.numOfShort(value);
   };
-  protoOf(LogicProgrammingScopeImpl).parseNum = function (value) {
-    return this.a1v_1.parseNum(value);
-  };
-  protoOf(LogicProgrammingScopeImpl).numOfBigDecimal = function (value) {
-    return this.a1v_1.numOfBigDecimal(value);
+  protoOf(LogicProgrammingScopeImpl).numOfByte = function (value) {
+    return this.e2y_1.numOfByte(value);
   };
-  protoOf(LogicProgrammingScopeImpl).numOfBigInteger = function (value) {
-    return this.a1v_1.numOfBigInteger(value);
+  protoOf(LogicProgrammingScopeImpl).parseNum = function (value) {
+    return this.e2y_1.parseNum(value);
   };
-  protoOf(LogicProgrammingScopeImpl).realOf = function (value) {
-    return this.a1v_1.realOf(value);
+  protoOf(LogicProgrammingScopeImpl).numOf = function (value) {
+    return this.e2y_1.numOf(value);
   };
-  protoOf(LogicProgrammingScopeImpl).realOfFloat = function (value) {
-    return this.a1v_1.realOfFloat(value);
+  protoOf(LogicProgrammingScopeImpl).intOfBigInteger = function (value) {
+    return this.e2y_1.intOfBigInteger(value);
   };
-  protoOf(LogicProgrammingScopeImpl).parseReal = function (value) {
-    return this.a1v_1.parseReal(value);
+  protoOf(LogicProgrammingScopeImpl).intOf = function (value) {
+    return this.e2y_1.intOf(value);
   };
-  protoOf(LogicProgrammingScopeImpl).realOfBigDecimal = function (value) {
-    return this.a1v_1.realOfBigDecimal(value);
+  protoOf(LogicProgrammingScopeImpl).intOfLong = function (value) {
+    return this.e2y_1.intOfLong(value);
   };
-  protoOf(LogicProgrammingScopeImpl).ruleOf = function (head, body1, body) {
-    return this.a1v_1.ruleOf(head, body1, body);
+  protoOf(LogicProgrammingScopeImpl).intOfShort = function (value) {
+    return this.e2y_1.intOfShort(value);
   };
-  protoOf(LogicProgrammingScopeImpl).structOf = function (functor, args) {
-    return this.a1v_1.structOf(functor, args);
+  protoOf(LogicProgrammingScopeImpl).intOfByte = function (value) {
+    return this.e2y_1.intOfByte(value);
   };
-  protoOf(LogicProgrammingScopeImpl).structOfIterable = function (functor, args) {
-    return this.a1v_1.structOfIterable(functor, args);
+  protoOf(LogicProgrammingScopeImpl).parseInt = function (value) {
+    return this.e2y_1.parseInt(value);
   };
-  protoOf(LogicProgrammingScopeImpl).structOfList = function (functor, args) {
-    return this.a1v_1.structOfList(functor, args);
+  protoOf(LogicProgrammingScopeImpl).parseIntRadix = function (value, radix) {
+    return this.e2y_1.parseIntRadix(value, radix);
   };
-  protoOf(LogicProgrammingScopeImpl).structOfSequence = function (functor, args) {
-    return this.a1v_1.structOfSequence(functor, args);
+  protoOf(LogicProgrammingScopeImpl).realOfBigDecimal = function (value) {
+    return this.e2y_1.realOfBigDecimal(value);
   };
-  protoOf(LogicProgrammingScopeImpl).substitutionOf = function (assignments) {
-    return this.a1v_1.substitutionOf(assignments);
+  protoOf(LogicProgrammingScopeImpl).realOf = function (value) {
+    return this.e2y_1.realOf(value);
   };
-  protoOf(LogicProgrammingScopeImpl).substitutionOfIterable = function (assignments) {
-    return this.a1v_1.substitutionOfIterable(assignments);
+  protoOf(LogicProgrammingScopeImpl).realOfFloat = function (value) {
+    return this.e2y_1.realOfFloat(value);
   };
-  protoOf(LogicProgrammingScopeImpl).substitutionOfSequence = function (assignments) {
-    return this.a1v_1.substitutionOfSequence(assignments);
+  protoOf(LogicProgrammingScopeImpl).parseReal = function (value) {
+    return this.e2y_1.parseReal(value);
   };
   protoOf(LogicProgrammingScopeImpl).truthOf = function (value) {
-    return this.a1v_1.truthOf(value);
-  };
-  protoOf(LogicProgrammingScopeImpl).tupleOf = function (terms) {
-    return this.a1v_1.tupleOf(terms);
-  };
-  protoOf(LogicProgrammingScopeImpl).tupleOfIterable = function (terms) {
-    return this.a1v_1.tupleOfIterable(terms);
-  };
-  protoOf(LogicProgrammingScopeImpl).tupleOfSequence = function (terms) {
-    return this.a1v_1.tupleOfSequence(terms);
+    return this.e2y_1.truthOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOf = function (assignments) {
-    return this.a1v_1.unifierOf(assignments);
+    return this.e2y_1.unifierOf(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOfIterable = function (assignments) {
-    return this.a1v_1.unifierOfIterable(assignments);
+    return this.e2y_1.unifierOfIterable(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOfSequence = function (assignments) {
-    return this.a1v_1.unifierOfSequence(assignments);
+    return this.e2y_1.unifierOfSequence(assignments);
   };
-  protoOf(LogicProgrammingScopeImpl).varOfChar = function (name) {
-    return this.a1v_1.varOfChar(name);
+  protoOf(LogicProgrammingScopeImpl).substitutionOf = function (assignments) {
+    return this.e2y_1.substitutionOf(assignments);
   };
-  protoOf(LogicProgrammingScopeImpl).varOf = function (name) {
-    return this.a1v_1.varOf(name);
+  protoOf(LogicProgrammingScopeImpl).substitutionOfIterable = function (assignments) {
+    return this.e2y_1.substitutionOfIterable(assignments);
   };
-  protoOf(LogicProgrammingScopeImpl).whatever = function () {
-    return this.a1v_1.whatever();
+  protoOf(LogicProgrammingScopeImpl).substitutionOfSequence = function (assignments) {
+    return this.e2y_1.substitutionOfSequence(assignments);
   };
-  protoOf(LogicProgrammingScopeImpl).where = function (lambda) {
-    return this.a1v_1.where(lambda);
+  protoOf(LogicProgrammingScopeImpl).vz = function () {
+    return this.e2y_1.vz();
   };
-  protoOf(LogicProgrammingScopeImpl).with = function (lambda) {
-    return this.a1v_1.with(lambda);
+  protoOf(LogicProgrammingScopeImpl).wz = function () {
+    return this.e2y_1.wz();
   };
-  protoOf(LogicProgrammingScopeImpl).match = function (term1, term2) {
-    return this.b1v_1.match(term1, term2);
+  protoOf(LogicProgrammingScopeImpl).getValue = function (thisRef, property) {
+    return this.e2y_1.getValue(thisRef, property);
   };
-  protoOf(LogicProgrammingScopeImpl).matchWithOccurCheck = function (term1, term2, occurCheckEnabled) {
-    return this.b1v_1.matchWithOccurCheck(term1, term2, occurCheckEnabled);
+  protoOf(LogicProgrammingScopeImpl).d1g = function () {
+    return this.e2y_1.d1g();
   };
-  protoOf(LogicProgrammingScopeImpl).merge = function (substitution1, substitution2) {
-    return this.b1v_1.merge(substitution1, substitution2);
+  protoOf(LogicProgrammingScopeImpl).e1g = function () {
+    return this.e2y_1.e1g();
   };
-  protoOf(LogicProgrammingScopeImpl).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.b1v_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
+  protoOf(LogicProgrammingScopeImpl).u1h = function (term1, term2, occurCheckEnabled) {
+    return this.f2y_1.u1h(term1, term2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).mgu = function (term1, term2) {
-    return this.b1v_1.mgu(term1, term2);
+    return this.f2y_1.mgu(term1, term2);
   };
-  protoOf(LogicProgrammingScopeImpl).a1k = function (term1, term2, occurCheckEnabled) {
-    return this.b1v_1.a1k(term1, term2, occurCheckEnabled);
+  protoOf(LogicProgrammingScopeImpl).matchWithOccurCheck = function (term1, term2, occurCheckEnabled) {
+    return this.f2y_1.matchWithOccurCheck(term1, term2, occurCheckEnabled);
   };
-  protoOf(LogicProgrammingScopeImpl).unify = function (term1, term2) {
-    return this.b1v_1.unify(term1, term2);
+  protoOf(LogicProgrammingScopeImpl).match = function (term1, term2) {
+    return this.f2y_1.match(term1, term2);
   };
   protoOf(LogicProgrammingScopeImpl).unifyWithOccurCheck = function (term1, term2, occurCheckEnabled) {
-    return this.b1v_1.unifyWithOccurCheck(term1, term2, occurCheckEnabled);
+    return this.f2y_1.unifyWithOccurCheck(term1, term2, occurCheckEnabled);
   };
-  protoOf(LogicProgrammingScopeImpl).emptyMutableTheory = function () {
-    return this.c1v_1.emptyMutableTheory();
-  };
-  protoOf(LogicProgrammingScopeImpl).emptyMutableTheoryWithUnificator = function (unificator) {
-    return this.c1v_1.emptyMutableTheoryWithUnificator(unificator);
+  protoOf(LogicProgrammingScopeImpl).unify = function (term1, term2) {
+    return this.f2y_1.unify(term1, term2);
   };
-  protoOf(LogicProgrammingScopeImpl).emptyTheory = function () {
-    return this.c1v_1.emptyTheory();
+  protoOf(LogicProgrammingScopeImpl).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
+    return this.f2y_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
   };
-  protoOf(LogicProgrammingScopeImpl).emptyTheoryWithUnificator = function (unificator) {
-    return this.c1v_1.emptyTheoryWithUnificator(unificator);
+  protoOf(LogicProgrammingScopeImpl).merge = function (substitution1, substitution2) {
+    return this.f2y_1.merge(substitution1, substitution2);
   };
-  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfWithUnificator = function (unificator, clauses) {
-    return this.c1v_1.mutableTheoryOfWithUnificator(unificator, clauses);
+  protoOf(LogicProgrammingScopeImpl).theoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.g2y_1.theoryOfIterableWithUnificator(clauses, unificator);
   };
-  protoOf(LogicProgrammingScopeImpl).mutableTheoryOf = function (clauses) {
-    return this.c1v_1.mutableTheoryOf(clauses);
+  protoOf(LogicProgrammingScopeImpl).theoryOfIterable = function (clauses) {
+    return this.g2y_1.theoryOfIterable(clauses);
   };
-  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterable = function (clauses) {
-    return this.c1v_1.mutableTheoryOfIterable(clauses);
+  protoOf(LogicProgrammingScopeImpl).theoryOfWithUnificator = function (unificator, clauses) {
+    return this.g2y_1.theoryOfWithUnificator(unificator, clauses);
   };
-  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
-    return this.c1v_1.mutableTheoryOfIterableWithUnificator(clauses, unificator);
+  protoOf(LogicProgrammingScopeImpl).theoryOf = function (clauses) {
+    return this.g2y_1.theoryOf(clauses);
   };
-  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequence = function (clauses) {
-    return this.c1v_1.mutableTheoryOfSequence(clauses);
+  protoOf(LogicProgrammingScopeImpl).theoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.g2y_1.theoryOfSequenceWithUnificator(clauses, unificator);
   };
-  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
-    return this.c1v_1.mutableTheoryOfSequenceWithUnificator(clauses, unificator);
+  protoOf(LogicProgrammingScopeImpl).theoryOfSequence = function (clauses) {
+    return this.g2y_1.theoryOfSequence(clauses);
   };
-  protoOf(LogicProgrammingScopeImpl).theoryOfWithUnificator = function (unificator, clauses) {
-    return this.c1v_1.theoryOfWithUnificator(unificator, clauses);
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
+    return this.g2y_1.mutableTheoryOfIterableWithUnificator(clauses, unificator);
   };
-  protoOf(LogicProgrammingScopeImpl).theoryOf = function (clauses) {
-    return this.c1v_1.theoryOf(clauses);
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterable = function (clauses) {
+    return this.g2y_1.mutableTheoryOfIterable(clauses);
   };
-  protoOf(LogicProgrammingScopeImpl).theoryOfIterable = function (clauses) {
-    return this.c1v_1.theoryOfIterable(clauses);
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfWithUnificator = function (unificator, clauses) {
+    return this.g2y_1.mutableTheoryOfWithUnificator(unificator, clauses);
   };
-  protoOf(LogicProgrammingScopeImpl).theoryOfIterableWithUnificator = function (clauses, unificator) {
-    return this.c1v_1.theoryOfIterableWithUnificator(clauses, unificator);
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOf = function (clauses) {
+    return this.g2y_1.mutableTheoryOf(clauses);
   };
-  protoOf(LogicProgrammingScopeImpl).theoryOfSequence = function (clauses) {
-    return this.c1v_1.theoryOfSequence(clauses);
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
+    return this.g2y_1.mutableTheoryOfSequenceWithUnificator(clauses, unificator);
   };
-  protoOf(LogicProgrammingScopeImpl).theoryOfSequenceWithUnificator = function (clauses, unificator) {
-    return this.c1v_1.theoryOfSequenceWithUnificator(clauses, unificator);
+  protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequence = function (clauses) {
+    return this.g2y_1.mutableTheoryOfSequence(clauses);
   };
-  protoOf(LogicProgrammingScopeImpl).a1h = function (scope) {
-    return new LogicProgrammingScopeImpl(scope, this.z1u_1.a1h(scope), this.a1v_1.a1h(scope), this.b1v_1, this.c1v_1);
+  protoOf(LogicProgrammingScopeImpl).emptyTheoryWithUnificator = function (unificator) {
+    return this.g2y_1.emptyTheoryWithUnificator(unificator);
   };
-  protoOf(LogicProgrammingScopeImpl).j1l = function (unificator) {
-    return new LogicProgrammingScopeImpl(this.y1u_1, this.z1u_1, this.a1v_1, unificator, this.c1v_1.j1l(unificator));
+  protoOf(LogicProgrammingScopeImpl).emptyTheory = function () {
+    return this.g2y_1.emptyTheory();
   };
-  protoOf(LogicProgrammingScopeImpl).c1j = function () {
-    return this.a1h(Companion_instance.empty());
+  protoOf(LogicProgrammingScopeImpl).emptyMutableTheoryWithUnificator = function (unificator) {
+    return this.g2y_1.emptyMutableTheoryWithUnificator(unificator);
   };
-  protoOf(LogicProgrammingScopeImpl).newScope = function () {
-    return this.c1j();
+  protoOf(LogicProgrammingScopeImpl).emptyMutableTheory = function () {
+    return this.g2y_1.emptyMutableTheory();
   };
-  function toClause$clauseOf(receiver, p0) {
-    return receiver.clauseOf(p0, []);
-  }
-  function LogicProgrammingScopeWithTheories$toClause$clauseOf$ref($boundThis) {
-    return function (p0) {
-      return toClause$clauseOf($boundThis, p0);
+  function LogicProgrammingScopeWithTheories$clauseOf$ref(p0) {
+    return function (receiver) {
+      return p0.clauseOf(receiver, []);
     };
   }
   function LogicProgrammingScopeWithTheories() {
@@ -653,7 +641,7 @@
   protoOf(LogicProgrammingScopeImpl).consOfAny = consOfAny;
   protoOf(LogicProgrammingScopeImpl).directiveOfAny = directiveOfAny;
   protoOf(LogicProgrammingScopeImpl).withScope = withScope;
-  protoOf(LogicProgrammingScopeImpl).d1j = logicList;
+  protoOf(LogicProgrammingScopeImpl).r2x = logicList;
   protoOf(LogicProgrammingScopeImpl).logicList = logicList_0;
   protoOf(LogicProgrammingScopeImpl).rule = rule;
   protoOf(LogicProgrammingScopeImpl).clause2 = clause2;
@@ -774,11 +762,11 @@
   protoOf(LogicProgrammingScopeImpl).anyMguWith = anyMguWith;
   protoOf(LogicProgrammingScopeImpl).anyMatches = anyMatches;
   protoOf(LogicProgrammingScopeImpl).anyUnifyWith = anyUnifyWith;
-  protoOf(LogicProgrammingScopeImpl).g1l = mgu;
+  protoOf(LogicProgrammingScopeImpl).w2x = mgu;
   protoOf(LogicProgrammingScopeImpl).mguAny = mguAny;
-  protoOf(LogicProgrammingScopeImpl).h1l = match;
+  protoOf(LogicProgrammingScopeImpl).x2x = match;
   protoOf(LogicProgrammingScopeImpl).matchAny = matchAny;
-  protoOf(LogicProgrammingScopeImpl).i1l = unify;
+  protoOf(LogicProgrammingScopeImpl).y2x = unify;
   protoOf(LogicProgrammingScopeImpl).unifyAny = unifyAny;
   protoOf(LogicProgrammingScopeImpl).convertToClause = convertToClause;
   protoOf(LogicProgrammingScopeImpl).theory = theory;