@tuprolog/arg2p 0.16.2 → 0.16.3

package/2p-dsl-theory.js

@@ -29,19 +29,19 @@
   //region block: imports
   var VOID = kotlin_kotlin.$_$.b;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_unify.$_$.a;
-  var protoOf = kotlin_kotlin.$_$.f7;
+  var protoOf = kotlin_kotlin.$_$.o7;
   var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.m;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_dsl_core.$_$.a;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.v;
   var IndexedTheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.c;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.t6;
-  var toString = kotlin_kotlin.$_$.i7;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.e1;
-  var Unit_instance = kotlin_kotlin.$_$.o;
-  var equals = kotlin_kotlin.$_$.l6;
-  var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.z;
-  var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.x;
-  var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.y;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.c7;
+  var toString = kotlin_kotlin.$_$.r7;
+  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.h1;
+  var Unit_instance = kotlin_kotlin.$_$.p;
+  var equals = kotlin_kotlin.$_$.u6;
+  var logicListFromFrom = kotlin_it_unibo_tuprolog_core.$_$.g1;
+  var logicListFromIterable = kotlin_it_unibo_tuprolog_core.$_$.e1;
+  var logicListFromSequence = kotlin_it_unibo_tuprolog_core.$_$.f1;
   var mguWithOccurCheck = kotlin_it_unibo_tuprolog_unify.$_$.b;
   var stringInvoke = kotlin_it_unibo_tuprolog_dsl_core.$_$.v4;
   var structOfAny = kotlin_it_unibo_tuprolog_dsl_core.$_$.a5;
@@ -179,27 +179,27 @@
   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 LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
+  var Scope = kotlin_it_unibo_tuprolog_core.$_$.a2;
   var LogicProgrammingScopeWithUnification = kotlin_it_unibo_tuprolog_dsl_unify.$_$.j;
-  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
-  var Scope = kotlin_it_unibo_tuprolog_core.$_$.s1;
+  var LogicProgrammingScopeWithOperators = kotlin_it_unibo_tuprolog_dsl_core.$_$.w1;
   var LogicProgrammingScopeWithPrologStandardLibrary = kotlin_it_unibo_tuprolog_dsl_core.$_$.h4;
   var MinimalLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.c5;
+  var LogicProgrammingScopeWithSubstitutions = kotlin_it_unibo_tuprolog_dsl_core.$_$.o4;
+  var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
   var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
   var TheoryFactory = kotlin_it_unibo_tuprolog_theory.$_$.f;
-  var initMetadataForClass = kotlin_kotlin.$_$.s6;
-  var constructCallableReference = kotlin_kotlin.$_$.j6;
-  var Clause = kotlin_it_unibo_tuprolog_core.$_$.h1;
-  var getKClass = kotlin_kotlin.$_$.y7;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.p;
-  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.q;
-  var addAll = kotlin_kotlin.$_$.y1;
-  var plus = kotlin_kotlin.$_$.e9;
+  var initMetadataForClass = kotlin_kotlin.$_$.b7;
+  var constructCallableReference = kotlin_kotlin.$_$.s6;
+  var Clause = kotlin_it_unibo_tuprolog_core.$_$.p1;
+  var getKClass = kotlin_kotlin.$_$.h8;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.r;
+  var ArrayList_init_$Create$_0 = kotlin_kotlin.$_$.s;
+  var addAll = kotlin_kotlin.$_$.d2;
+  var plus = kotlin_kotlin.$_$.n9;
   var arrayConcat = kotlin_kotlin.$_$.a;
-  var listOf = kotlin_kotlin.$_$.n3;
-  var flatten = kotlin_kotlin.$_$.a3;
-  var initMetadataForInterface = kotlin_kotlin.$_$.u6;
+  var listOf = kotlin_kotlin.$_$.v3;
+  var flatten = kotlin_kotlin.$_$.i3;
+  var initMetadataForInterface = kotlin_kotlin.$_$.d7;
   //endregion
   //region block: pre-declaration
   initMetadataForCompanion(Companion);
@@ -270,39 +270,39 @@
     return this.mutableTheoryOfIterable(flatten(listOf(arrayConcat([[clauses], otherClauses]))));
   }
   initMetadataForInterface(LogicProgrammingScopeWithTheories, 'LogicProgrammingScopeWithTheories', VOID, VOID, [BaseLogicProgrammingScope, Unificator, TheoryFactory]);
-  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithSubstitutions, LogicProgrammingScopeWithUnification, BaseLogicProgrammingScope, Scope, LogicProgrammingScopeWithPrologStandardLibrary, MinimalLogicProgrammingScope, LogicProgrammingScopeWithTheories, Unificator, TheoryFactory]);
+  initMetadataForClass(LogicProgrammingScopeImpl, 'LogicProgrammingScopeImpl', VOID, VOID, [Scope, LogicProgrammingScopeWithUnification, LogicProgrammingScopeWithTheories, LogicProgrammingScopeWithOperators, LogicProgrammingScopeWithPrologStandardLibrary, MinimalLogicProgrammingScope, LogicProgrammingScopeWithSubstitutions, BaseLogicProgrammingScope, Unificator, TheoryFactory]);
   //endregion
   function logicProgramming(unificator, function_0) {
-    unificator = unificator === VOID ? Companion_getInstance_0().l31_1 : unificator;
+    unificator = unificator === VOID ? Companion_getInstance_0().e34_1 : unificator;
     return function_0(Companion_getInstance_0().ofUnificator(unificator));
   }
   function Companion() {
     Companion_instance_2 = this;
-    this.l31_1 = Companion_getInstance().g1m();
+    this.e34_1 = Companion_getInstance().i1n();
   }
   protoOf(Companion).empty = function () {
     return this.of();
   };
-  protoOf(Companion).m31 = function (scope, termificator, variablesProvider, unificator, theoryFactory) {
-    return new LogicProgrammingScopeImpl(scope, termificator.a1i() === scope ? termificator : termificator.b1i(scope), variablesProvider.a1i() === scope ? variablesProvider : variablesProvider.b1i(scope), unificator, theoryFactory.n1m() === unificator ? theoryFactory : theoryFactory.f1u(unificator));
+  protoOf(Companion).f34 = function (scope, termificator, variablesProvider, unificator, theoryFactory) {
+    return new LogicProgrammingScopeImpl(scope, termificator.c1j() === scope ? termificator : termificator.d1j(scope), variablesProvider.c1j() === scope ? variablesProvider : variablesProvider.d1j(scope), unificator, theoryFactory.p1n() === unificator ? theoryFactory : theoryFactory.h1v(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.q14(scope) : variablesProvider;
-    unificator = unificator === VOID ? this.l31_1 : unificator;
+    variablesProvider = variablesProvider === VOID ? Companion_instance_1.s15(scope) : variablesProvider;
+    unificator = unificator === VOID ? this.e34_1 : unificator;
     theoryFactory = theoryFactory === VOID ? new IndexedTheoryFactory(unificator) : theoryFactory;
-    return $super === VOID ? this.m31(scope, termificator, variablesProvider, unificator, theoryFactory) : $super.m31.call(this, scope, termificator, variablesProvider, unificator, theoryFactory);
+    return $super === VOID ? this.f34(scope, termificator, variablesProvider, unificator, theoryFactory) : $super.f34.call(this, scope, termificator, variablesProvider, unificator, theoryFactory);
   };
-  protoOf(Companion).n31 = function (unificator, theoryFactory, scope, termificator, variablesProvider) {
-    return this.m31(scope, termificator, variablesProvider, unificator, theoryFactory);
+  protoOf(Companion).g34 = function (unificator, theoryFactory, scope, termificator, variablesProvider) {
+    return this.f34(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.q14(scope) : variablesProvider;
-    return $super === VOID ? this.n31(unificator, theoryFactory, scope, termificator, variablesProvider) : $super.n31.call(this, unificator, theoryFactory, scope, termificator, variablesProvider);
+    variablesProvider = variablesProvider === VOID ? Companion_instance_1.s15(scope) : variablesProvider;
+    return $super === VOID ? this.g34(unificator, theoryFactory, scope, termificator, variablesProvider) : $super.g34.call(this, unificator, theoryFactory, scope, termificator, variablesProvider);
   };
   var Companion_instance_2;
   function Companion_getInstance_0() {
@@ -311,320 +311,320 @@
     return Companion_instance_2;
   }
   function LogicProgrammingScopeImpl(scope, termificator, variablesProvider, unificator, theoryFactory) {
-    this.o31_1 = scope;
-    this.p31_1 = termificator;
-    this.q31_1 = variablesProvider;
-    this.r31_1 = unificator;
-    this.s31_1 = theoryFactory;
+    this.h34_1 = scope;
+    this.i34_1 = termificator;
+    this.j34_1 = variablesProvider;
+    this.k34_1 = unificator;
+    this.l34_1 = theoryFactory;
     // Inline function 'kotlin.require' call
-    if (!(this.o31_1 === this.q31_1.a1i() && this.o31_1 === this.p31_1.a1i())) {
+    if (!(this.h34_1 === this.j34_1.c1j() && this.h34_1 === this.i34_1.c1j())) {
       var message = 'The provided Scope should be the same object for both Termificator and VariablesProvider';
       throw IllegalArgumentException_init_$Create$(toString(message));
     }
     // Inline function 'kotlin.require' call
-    if (!equals(this.r31_1, this.s31_1.n1m())) {
+    if (!equals(this.k34_1, this.l34_1.p1n())) {
       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).a1i = function () {
-    return this.o31_1;
+  protoOf(LogicProgrammingScopeImpl).c1j = function () {
+    return this.h34_1;
   };
-  protoOf(LogicProgrammingScopeImpl).x30 = function () {
-    return this.p31_1;
+  protoOf(LogicProgrammingScopeImpl).q33 = function () {
+    return this.i34_1;
   };
-  protoOf(LogicProgrammingScopeImpl).n1m = function () {
-    return this.r31_1;
+  protoOf(LogicProgrammingScopeImpl).p1n = function () {
+    return this.k34_1;
   };
-  protoOf(LogicProgrammingScopeImpl).b1i = function (scope) {
-    return new LogicProgrammingScopeImpl(scope, this.p31_1.b1i(scope), this.q31_1.b1i(scope), this.r31_1, this.s31_1);
+  protoOf(LogicProgrammingScopeImpl).d1j = function (scope) {
+    return new LogicProgrammingScopeImpl(scope, this.i34_1.d1j(scope), this.j34_1.d1j(scope), this.k34_1, this.l34_1);
   };
-  protoOf(LogicProgrammingScopeImpl).f1u = function (unificator) {
-    return new LogicProgrammingScopeImpl(this.o31_1, this.p31_1, this.q31_1, unificator, this.s31_1.f1u(unificator));
+  protoOf(LogicProgrammingScopeImpl).h1v = function (unificator) {
+    return new LogicProgrammingScopeImpl(this.h34_1, this.i34_1, this.j34_1, unificator, this.l34_1.h1v(unificator));
   };
-  protoOf(LogicProgrammingScopeImpl).c31 = function () {
-    return this.b1i(Companion_instance.empty());
+  protoOf(LogicProgrammingScopeImpl).v33 = function () {
+    return this.d1j(Companion_instance.empty());
   };
   protoOf(LogicProgrammingScopeImpl).newScope = function () {
-    return this.c31();
+    return this.v33();
   };
   protoOf(LogicProgrammingScopeImpl).structOf = function (functor, args) {
-    return this.q31_1.structOf(functor, args);
+    return this.j34_1.structOf(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).structOfSequence = function (functor, args) {
-    return this.q31_1.structOfSequence(functor, args);
+    return this.j34_1.structOfSequence(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).structOfIterable = function (functor, args) {
-    return this.q31_1.structOfIterable(functor, args);
+    return this.j34_1.structOfIterable(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).structOfList = function (functor, args) {
-    return this.q31_1.structOfList(functor, args);
+    return this.j34_1.structOfList(functor, args);
   };
   protoOf(LogicProgrammingScopeImpl).tupleOf = function (terms) {
-    return this.q31_1.tupleOf(terms);
+    return this.j34_1.tupleOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).tupleOfIterable = function (terms) {
-    return this.q31_1.tupleOfIterable(terms);
+    return this.j34_1.tupleOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).tupleOfSequence = function (terms) {
-    return this.q31_1.tupleOfSequence(terms);
+    return this.j34_1.tupleOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).logicListOf = function (terms) {
-    return this.q31_1.logicListOf(terms);
+    return this.j34_1.logicListOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).logicListOfIterable = function (terms) {
-    return this.q31_1.logicListOfIterable(terms);
+    return this.j34_1.logicListOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).logicListOfSequence = function (terms) {
-    return this.q31_1.logicListOfSequence(terms);
+    return this.j34_1.logicListOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOf = function (terms) {
-    return this.q31_1.blockOf(terms);
+    return this.j34_1.blockOf(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOfIterable = function (terms) {
-    return this.q31_1.blockOfIterable(terms);
+    return this.j34_1.blockOfIterable(terms);
   };
   protoOf(LogicProgrammingScopeImpl).blockOfSequence = function (terms) {
-    return this.q31_1.blockOfSequence(terms);
+    return this.j34_1.blockOfSequence(terms);
   };
   protoOf(LogicProgrammingScopeImpl).factOf = function (head) {
-    return this.q31_1.factOf(head);
+    return this.j34_1.factOf(head);
   };
   protoOf(LogicProgrammingScopeImpl).consOf = function (head, tail) {
-    return this.q31_1.consOf(head, tail);
+    return this.j34_1.consOf(head, tail);
   };
   protoOf(LogicProgrammingScopeImpl).directiveOf = function (body1, body) {
-    return this.q31_1.directiveOf(body1, body);
+    return this.j34_1.directiveOf(body1, body);
   };
   protoOf(LogicProgrammingScopeImpl).containsVar = function (variable) {
-    return this.q31_1.containsVar(variable);
+    return this.j34_1.containsVar(variable);
   };
   protoOf(LogicProgrammingScopeImpl).contains = function (variable) {
-    return this.q31_1.contains(variable);
+    return this.j34_1.contains(variable);
   };
   protoOf(LogicProgrammingScopeImpl).get = function (variable) {
-    return this.q31_1.get(variable);
+    return this.j34_1.get(variable);
   };
   protoOf(LogicProgrammingScopeImpl).where = function (lambda) {
-    return this.q31_1.where(lambda);
+    return this.j34_1.where(lambda);
   };
   protoOf(LogicProgrammingScopeImpl).with = function (lambda) {
-    return this.q31_1.with(lambda);
+    return this.j34_1.with(lambda);
   };
   protoOf(LogicProgrammingScopeImpl).varOf = function (name) {
-    return this.q31_1.varOf(name);
+    return this.j34_1.varOf(name);
   };
   protoOf(LogicProgrammingScopeImpl).varOfChar = function (name) {
-    return this.q31_1.varOfChar(name);
+    return this.j34_1.varOfChar(name);
   };
   protoOf(LogicProgrammingScopeImpl).atomOf = function (value) {
-    return this.q31_1.atomOf(value);
+    return this.j34_1.atomOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).atomOfChar = function (value) {
-    return this.q31_1.atomOfChar(value);
+    return this.j34_1.atomOfChar(value);
   };
-  protoOf(LogicProgrammingScopeImpl).e11 = function (terms, last) {
-    return this.q31_1.e11(terms, last);
+  protoOf(LogicProgrammingScopeImpl).g12 = function (terms, last) {
+    return this.j34_1.g12(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).f11 = function (terms, last) {
-    return this.q31_1.f11(terms, last);
+  protoOf(LogicProgrammingScopeImpl).h12 = function (terms, last) {
+    return this.j34_1.h12(terms, last);
   };
-  protoOf(LogicProgrammingScopeImpl).g11 = function (terms, last) {
-    return this.q31_1.g11(terms, last);
+  protoOf(LogicProgrammingScopeImpl).i12 = function (terms, last) {
+    return this.j34_1.i12(terms, last);
   };
   protoOf(LogicProgrammingScopeImpl).ruleOf = function (head, body1, body) {
-    return this.q31_1.ruleOf(head, body1, body);
+    return this.j34_1.ruleOf(head, body1, body);
   };
   protoOf(LogicProgrammingScopeImpl).clauseOf = function (head, body) {
-    return this.q31_1.clauseOf(head, body);
+    return this.j34_1.clauseOf(head, body);
   };
   protoOf(LogicProgrammingScopeImpl).indicatorOf = function (name, arity) {
-    return this.q31_1.indicatorOf(name, arity);
+    return this.j34_1.indicatorOf(name, arity);
   };
   protoOf(LogicProgrammingScopeImpl).indicatorOfStringInt = function (name, arity) {
-    return this.q31_1.indicatorOfStringInt(name, arity);
+    return this.j34_1.indicatorOfStringInt(name, arity);
   };
   protoOf(LogicProgrammingScopeImpl).anonymous = function () {
-    return this.q31_1.anonymous();
+    return this.j34_1.anonymous();
   };
   protoOf(LogicProgrammingScopeImpl).whatever = function () {
-    return this.q31_1.whatever();
+    return this.j34_1.whatever();
   };
   protoOf(LogicProgrammingScopeImpl).numOfBigDecimal = function (value) {
-    return this.q31_1.numOfBigDecimal(value);
+    return this.j34_1.numOfBigDecimal(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfDouble = function (value) {
-    return this.q31_1.numOfDouble(value);
+    return this.j34_1.numOfDouble(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfFloat = function (value) {
-    return this.q31_1.numOfFloat(value);
+    return this.j34_1.numOfFloat(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfBigInteger = function (value) {
-    return this.q31_1.numOfBigInteger(value);
+    return this.j34_1.numOfBigInteger(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfInt = function (value) {
-    return this.q31_1.numOfInt(value);
+    return this.j34_1.numOfInt(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfLong = function (value) {
-    return this.q31_1.numOfLong(value);
+    return this.j34_1.numOfLong(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfShort = function (value) {
-    return this.q31_1.numOfShort(value);
+    return this.j34_1.numOfShort(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOfByte = function (value) {
-    return this.q31_1.numOfByte(value);
+    return this.j34_1.numOfByte(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseNum = function (value) {
-    return this.q31_1.parseNum(value);
+    return this.j34_1.parseNum(value);
   };
   protoOf(LogicProgrammingScopeImpl).numOf = function (value) {
-    return this.q31_1.numOf(value);
+    return this.j34_1.numOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfBigInteger = function (value) {
-    return this.q31_1.intOfBigInteger(value);
+    return this.j34_1.intOfBigInteger(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOf = function (value) {
-    return this.q31_1.intOf(value);
+    return this.j34_1.intOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfLong = function (value) {
-    return this.q31_1.intOfLong(value);
+    return this.j34_1.intOfLong(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfShort = function (value) {
-    return this.q31_1.intOfShort(value);
+    return this.j34_1.intOfShort(value);
   };
   protoOf(LogicProgrammingScopeImpl).intOfByte = function (value) {
-    return this.q31_1.intOfByte(value);
+    return this.j34_1.intOfByte(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseInt = function (value) {
-    return this.q31_1.parseInt(value);
+    return this.j34_1.parseInt(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseIntRadix = function (value, radix) {
-    return this.q31_1.parseIntRadix(value, radix);
+    return this.j34_1.parseIntRadix(value, radix);
   };
   protoOf(LogicProgrammingScopeImpl).realOfBigDecimal = function (value) {
-    return this.q31_1.realOfBigDecimal(value);
+    return this.j34_1.realOfBigDecimal(value);
   };
   protoOf(LogicProgrammingScopeImpl).realOf = function (value) {
-    return this.q31_1.realOf(value);
+    return this.j34_1.realOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).realOfFloat = function (value) {
-    return this.q31_1.realOfFloat(value);
+    return this.j34_1.realOfFloat(value);
   };
   protoOf(LogicProgrammingScopeImpl).parseReal = function (value) {
-    return this.q31_1.parseReal(value);
+    return this.j34_1.parseReal(value);
   };
   protoOf(LogicProgrammingScopeImpl).truthOf = function (value) {
-    return this.q31_1.truthOf(value);
+    return this.j34_1.truthOf(value);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOf = function (assignments) {
-    return this.q31_1.unifierOf(assignments);
+    return this.j34_1.unifierOf(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOfIterable = function (assignments) {
-    return this.q31_1.unifierOfIterable(assignments);
+    return this.j34_1.unifierOfIterable(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).unifierOfSequence = function (assignments) {
-    return this.q31_1.unifierOfSequence(assignments);
+    return this.j34_1.unifierOfSequence(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).substitutionOf = function (assignments) {
-    return this.q31_1.substitutionOf(assignments);
+    return this.j34_1.substitutionOf(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).substitutionOfIterable = function (assignments) {
-    return this.q31_1.substitutionOfIterable(assignments);
+    return this.j34_1.substitutionOfIterable(assignments);
   };
   protoOf(LogicProgrammingScopeImpl).substitutionOfSequence = function (assignments) {
-    return this.q31_1.substitutionOfSequence(assignments);
+    return this.j34_1.substitutionOfSequence(assignments);
   };
-  protoOf(LogicProgrammingScopeImpl).c11 = function () {
-    return this.q31_1.c11();
+  protoOf(LogicProgrammingScopeImpl).e12 = function () {
+    return this.j34_1.e12();
   };
-  protoOf(LogicProgrammingScopeImpl).d11 = function () {
-    return this.q31_1.d11();
+  protoOf(LogicProgrammingScopeImpl).f12 = function () {
+    return this.j34_1.f12();
   };
   protoOf(LogicProgrammingScopeImpl).getValue = function (thisRef, property) {
-    return this.q31_1.getValue(thisRef, property);
+    return this.j34_1.getValue(thisRef, property);
   };
-  protoOf(LogicProgrammingScopeImpl).d1i = function () {
-    return this.q31_1.d1i();
+  protoOf(LogicProgrammingScopeImpl).f1j = function () {
+    return this.j34_1.f1j();
   };
-  protoOf(LogicProgrammingScopeImpl).e1i = function () {
-    return this.q31_1.e1i();
+  protoOf(LogicProgrammingScopeImpl).g1j = function () {
+    return this.j34_1.g1j();
   };
-  protoOf(LogicProgrammingScopeImpl).e1k = function (term1, term2, occurCheckEnabled) {
-    return this.r31_1.e1k(term1, term2, occurCheckEnabled);
+  protoOf(LogicProgrammingScopeImpl).g1l = function (term1, term2, occurCheckEnabled) {
+    return this.k34_1.g1l(term1, term2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).mgu = function (term1, term2) {
-    return this.r31_1.mgu(term1, term2);
+    return this.k34_1.mgu(term1, term2);
   };
   protoOf(LogicProgrammingScopeImpl).matchWithOccurCheck = function (term1, term2, occurCheckEnabled) {
-    return this.r31_1.matchWithOccurCheck(term1, term2, occurCheckEnabled);
+    return this.k34_1.matchWithOccurCheck(term1, term2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).match = function (term1, term2) {
-    return this.r31_1.match(term1, term2);
+    return this.k34_1.match(term1, term2);
   };
   protoOf(LogicProgrammingScopeImpl).unifyWithOccurCheck = function (term1, term2, occurCheckEnabled) {
-    return this.r31_1.unifyWithOccurCheck(term1, term2, occurCheckEnabled);
+    return this.k34_1.unifyWithOccurCheck(term1, term2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).unify = function (term1, term2) {
-    return this.r31_1.unify(term1, term2);
+    return this.k34_1.unify(term1, term2);
   };
   protoOf(LogicProgrammingScopeImpl).mergeWithOccurCheck = function (substitution1, substitution2, occurCheckEnabled) {
-    return this.r31_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
+    return this.k34_1.mergeWithOccurCheck(substitution1, substitution2, occurCheckEnabled);
   };
   protoOf(LogicProgrammingScopeImpl).merge = function (substitution1, substitution2) {
-    return this.r31_1.merge(substitution1, substitution2);
+    return this.k34_1.merge(substitution1, substitution2);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfIterableWithUnificator = function (clauses, unificator) {
-    return this.s31_1.theoryOfIterableWithUnificator(clauses, unificator);
+    return this.l34_1.theoryOfIterableWithUnificator(clauses, unificator);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfIterable = function (clauses) {
-    return this.s31_1.theoryOfIterable(clauses);
+    return this.l34_1.theoryOfIterable(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfWithUnificator = function (unificator, clauses) {
-    return this.s31_1.theoryOfWithUnificator(unificator, clauses);
+    return this.l34_1.theoryOfWithUnificator(unificator, clauses);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOf = function (clauses) {
-    return this.s31_1.theoryOf(clauses);
+    return this.l34_1.theoryOf(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfSequenceWithUnificator = function (clauses, unificator) {
-    return this.s31_1.theoryOfSequenceWithUnificator(clauses, unificator);
+    return this.l34_1.theoryOfSequenceWithUnificator(clauses, unificator);
   };
   protoOf(LogicProgrammingScopeImpl).theoryOfSequence = function (clauses) {
-    return this.s31_1.theoryOfSequence(clauses);
+    return this.l34_1.theoryOfSequence(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterableWithUnificator = function (clauses, unificator) {
-    return this.s31_1.mutableTheoryOfIterableWithUnificator(clauses, unificator);
+    return this.l34_1.mutableTheoryOfIterableWithUnificator(clauses, unificator);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfIterable = function (clauses) {
-    return this.s31_1.mutableTheoryOfIterable(clauses);
+    return this.l34_1.mutableTheoryOfIterable(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfWithUnificator = function (unificator, clauses) {
-    return this.s31_1.mutableTheoryOfWithUnificator(unificator, clauses);
+    return this.l34_1.mutableTheoryOfWithUnificator(unificator, clauses);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOf = function (clauses) {
-    return this.s31_1.mutableTheoryOf(clauses);
+    return this.l34_1.mutableTheoryOf(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequenceWithUnificator = function (clauses, unificator) {
-    return this.s31_1.mutableTheoryOfSequenceWithUnificator(clauses, unificator);
+    return this.l34_1.mutableTheoryOfSequenceWithUnificator(clauses, unificator);
   };
   protoOf(LogicProgrammingScopeImpl).mutableTheoryOfSequence = function (clauses) {
-    return this.s31_1.mutableTheoryOfSequence(clauses);
+    return this.l34_1.mutableTheoryOfSequence(clauses);
   };
   protoOf(LogicProgrammingScopeImpl).emptyTheoryWithUnificator = function (unificator) {
-    return this.s31_1.emptyTheoryWithUnificator(unificator);
+    return this.l34_1.emptyTheoryWithUnificator(unificator);
   };
   protoOf(LogicProgrammingScopeImpl).emptyTheory = function () {
-    return this.s31_1.emptyTheory();
+    return this.l34_1.emptyTheory();
   };
   protoOf(LogicProgrammingScopeImpl).emptyMutableTheoryWithUnificator = function (unificator) {
-    return this.s31_1.emptyMutableTheoryWithUnificator(unificator);
+    return this.l34_1.emptyMutableTheoryWithUnificator(unificator);
   };
   protoOf(LogicProgrammingScopeImpl).emptyMutableTheory = function () {
-    return this.s31_1.emptyMutableTheory();
+    return this.l34_1.emptyMutableTheory();
   };
   function LogicProgrammingScopeWithTheories$clauseOf$ref(p0) {
     return constructCallableReference(function (p0_0) {
       return p0.clauseOf(p0_0, []);
-    }, 1, 0, 108, VOID, [p0]);
+    }, 1, 0, 109, VOID, [p0]);
   }
   function LogicProgrammingScopeWithTheories() {
   }
@@ -642,7 +642,7 @@
   protoOf(LogicProgrammingScopeImpl).consOfAny = consOfAny;
   protoOf(LogicProgrammingScopeImpl).directiveOfAny = directiveOfAny;
   protoOf(LogicProgrammingScopeImpl).withScope = withScope;
-  protoOf(LogicProgrammingScopeImpl).d31 = logicList;
+  protoOf(LogicProgrammingScopeImpl).w33 = logicList;
   protoOf(LogicProgrammingScopeImpl).logicList = logicList_0;
   protoOf(LogicProgrammingScopeImpl).rule = rule;
   protoOf(LogicProgrammingScopeImpl).clause2 = clause2;
@@ -763,11 +763,11 @@
   protoOf(LogicProgrammingScopeImpl).anyMguWith = anyMguWith;
   protoOf(LogicProgrammingScopeImpl).anyMatches = anyMatches;
   protoOf(LogicProgrammingScopeImpl).anyUnifyWith = anyUnifyWith;
-  protoOf(LogicProgrammingScopeImpl).i31 = mgu;
+  protoOf(LogicProgrammingScopeImpl).b34 = mgu;
   protoOf(LogicProgrammingScopeImpl).mguAny = mguAny;
-  protoOf(LogicProgrammingScopeImpl).j31 = match;
+  protoOf(LogicProgrammingScopeImpl).c34 = match;
   protoOf(LogicProgrammingScopeImpl).matchAny = matchAny;
-  protoOf(LogicProgrammingScopeImpl).k31 = unify;
+  protoOf(LogicProgrammingScopeImpl).d34 = unify;
   protoOf(LogicProgrammingScopeImpl).unifyAny = unifyAny;
   protoOf(LogicProgrammingScopeImpl).convertToClause = convertToClause;
   protoOf(LogicProgrammingScopeImpl).theory = theory;

package/2p-dsl-unify.js

@@ -18,11 +18,11 @@
 }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_dsl_core, kotlin_it_unibo_tuprolog_unify) {
   'use strict';
   //region block: imports
-  var protoOf = kotlin_kotlin.$_$.f7;
+  var protoOf = kotlin_kotlin.$_$.o7;
   var VOID = kotlin_kotlin.$_$.b;
   var BaseLogicProgrammingScope = kotlin_it_unibo_tuprolog_dsl_core.$_$.e;
   var Unificator = kotlin_it_unibo_tuprolog_unify.$_$.c;
-  var initMetadataForInterface = kotlin_kotlin.$_$.u6;
+  var initMetadataForInterface = kotlin_kotlin.$_$.d7;
   //endregion
   //region block: pre-declaration
   function anyMguWith(_this__u8e3s4, other) {
@@ -35,25 +35,25 @@
     return this.unify(this.convertToTerm(_this__u8e3s4), this.convertToTerm(other));
   }
   function mgu(term1, term2, occurCheckEnabled) {
-    return this.e1k(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
+    return this.g1l(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
   }
   function mguAny(term1, term2, occurCheckEnabled, $super) {
     occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
-    return $super === VOID ? this.i31(term1, term2, occurCheckEnabled) : mgu(term1, term2, occurCheckEnabled);
+    return $super === VOID ? this.b34(term1, term2, occurCheckEnabled) : mgu(term1, term2, occurCheckEnabled);
   }
   function match(term1, term2, occurCheckEnabled) {
     return this.matchWithOccurCheck(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
   }
   function matchAny(term1, term2, occurCheckEnabled, $super) {
     occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
-    return $super === VOID ? this.j31(term1, term2, occurCheckEnabled) : match(term1, term2, occurCheckEnabled);
+    return $super === VOID ? this.c34(term1, term2, occurCheckEnabled) : match(term1, term2, occurCheckEnabled);
   }
   function unify(term1, term2, occurCheckEnabled) {
     return this.unifyWithOccurCheck(this.convertToTerm(term1), this.convertToTerm(term2), occurCheckEnabled);
   }
   function unifyAny(term1, term2, occurCheckEnabled, $super) {
     occurCheckEnabled = occurCheckEnabled === VOID ? true : occurCheckEnabled;
-    return $super === VOID ? this.k31(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
+    return $super === VOID ? this.d34(term1, term2, occurCheckEnabled) : unify(term1, term2, occurCheckEnabled);
   }
   initMetadataForInterface(LogicProgrammingScopeWithUnification, 'LogicProgrammingScopeWithUnification', VOID, VOID, [BaseLogicProgrammingScope, Unificator]);
   //endregion