@tuprolog/2p-full 0.31.5-dev0c → 0.31.5-dev0f

package/2p-parser-theory.js

@@ -22,22 +22,22 @@
     return Companion_getInstance_0().indexedOfSequence(unificator, this.parseClausesLazilyWithOperators(input, operators));
   }
   function parseTheoryWithOperatorsAndDefaultUnificator(input, operators) {
-    return this.parseTheoryWithOperators(input, operators, Companion_getInstance_1().h1l());
+    return this.parseTheoryWithOperators(input, operators, Companion_getInstance_1().e1l());
   }
   function parseTheory(input, unificator) {
-    return this.parseTheoryWithOperators(input, this.f3j(), unificator);
+    return this.parseTheoryWithOperators(input, this.c3j(), unificator);
   }
   function parseTheoryWithDefaultUnificator(input) {
-    return this.parseTheory(input, Companion_getInstance_1().h1l());
+    return this.parseTheory(input, Companion_getInstance_1().e1l());
   }
   function parseClausesLazily(input) {
-    return this.parseClausesLazilyWithOperators(input, this.f3j());
+    return this.parseClausesLazilyWithOperators(input, this.c3j());
   }
   function parseClausesWithOperators(input, operators) {
     return toList(this.parseClausesLazilyWithOperators(input, operators));
   }
   function parseClauses(input) {
-    return this.parseClausesWithOperators(input, this.f3j());
+    return this.parseClausesWithOperators(input, this.c3j());
   }
   setMetadataFor(ClausesParser, 'ClausesParser', interfaceMeta, undefined, undefined, undefined, undefined, []);
   setMetadataFor(ClausesParserImpl, 'ClausesParserImpl', classMeta, undefined, [ClausesParser], undefined, undefined, []);
@@ -78,22 +78,22 @@
     return toClause$default(it, null, 0, 0, 7, null);
   }
   function ClausesParserImpl(defaultOperatorSet) {
-    this.f3k_1 = defaultOperatorSet;
+    this.c3k_1 = defaultOperatorSet;
   }
-  ClausesParserImpl.prototype.f3j = function () {
-    return this.f3k_1;
+  ClausesParserImpl.prototype.c3j = function () {
+    return this.c3k_1;
   };
-  ClausesParserImpl.prototype.g3k = function (input, operators) {
+  ClausesParserImpl.prototype.d3k = function (input, operators) {
     var tmp$ret$0;
     // Inline function 'kotlin.sequences.asSequence' call
-    var tmp0_asSequence = PrologParserFactory_getInstance().n3j(input, operators);
+    var tmp0_asSequence = PrologParserFactory_getInstance().k3j(input, operators);
     tmp$ret$0 = tmp0_asSequence;
     var tmp = tmp$ret$0;
     var tmp_0 = map(tmp, ClausesParserImpl$parseClausesLazily$lambda);
     return map(tmp_0, ClausesParserImpl$parseClausesLazily$lambda_0);
   };
   ClausesParserImpl.prototype.parseClausesLazilyWithOperators = function (input, operators) {
-    return this.g3k(input, operators);
+    return this.d3k(input, operators);
   };
   //region block: post-declaration
   ClausesParserImpl.prototype.parseTheoryWithOperators = parseTheoryWithOperators;

package/2p-repl.js

@@ -1,4 +1,4 @@
-(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_core, kotlin_com_github_ajalt_clikt_clikt, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_io_lib, kotlin_it_unibo_tuprolog_oop_lib) {
+(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_core, kotlin_clikt_clikt, kotlin_it_unibo_tuprolog_theory, kotlin_it_unibo_tuprolog_parser_core, kotlin_it_unibo_tuprolog_io_lib, kotlin_it_unibo_tuprolog_oop_lib) {
   'use strict';
   //region block: imports
   var emptyMap = kotlin_kotlin.$_$.t3;
@@ -8,7 +8,7 @@
   var Yes = kotlin_it_unibo_tuprolog_solve.$_$.t4;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n2;
   var format = kotlin_it_unibo_tuprolog_core.$_$.c3;
-  var ProgramResult = kotlin_com_github_ajalt_clikt_clikt.$_$.b;
+  var ProgramResult = kotlin_clikt_clikt.$_$.b;
   var HaltException = kotlin_it_unibo_tuprolog_solve.$_$.t2;
   var StringBuilder = kotlin_kotlin.$_$.v9;
   var THROW_CCE = kotlin_kotlin.$_$.sb;
@@ -18,13 +18,13 @@
   var Unit_getInstance = kotlin_kotlin.$_$.r2;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d2;
   var endsWith$default = kotlin_kotlin.$_$.l;
-  var CliktCommand = kotlin_com_github_ajalt_clikt_clikt.$_$.a;
+  var CliktCommand = kotlin_clikt_clikt.$_$.a;
   var charSequenceLength = kotlin_kotlin.$_$.l6;
   var charSequenceGet = kotlin_kotlin.$_$.k6;
   var toString_0 = kotlin_kotlin.$_$.h2;
   var titlecase = kotlin_kotlin.$_$.qa;
   var isLowerCase = kotlin_kotlin.$_$.ba;
-  var defaultCliktConsole = kotlin_com_github_ajalt_clikt_clikt.$_$.d;
+  var defaultCliktConsole = kotlin_clikt_clikt.$_$.d;
   var classMeta = kotlin_kotlin.$_$.m6;
   var setMetadataFor = kotlin_kotlin.$_$.j7;
   var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.m;
@@ -38,11 +38,11 @@
   var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.f;
   var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.f1;
   var joinToString$default = kotlin_kotlin.$_$.e;
-  var option$default = kotlin_com_github_ajalt_clikt_clikt.$_$.j;
-  var multiple$default = kotlin_com_github_ajalt_clikt_clikt.$_$.i;
-  var int = kotlin_com_github_ajalt_clikt_clikt.$_$.e;
-  var default$default = kotlin_com_github_ajalt_clikt_clikt.$_$.g;
-  var flag$default = kotlin_com_github_ajalt_clikt_clikt.$_$.h;
+  var option$default = kotlin_clikt_clikt.$_$.j;
+  var multiple$default = kotlin_clikt_clikt.$_$.i;
+  var int = kotlin_clikt_clikt.$_$.e;
+  var default$default = kotlin_clikt_clikt.$_$.g;
+  var flag$default = kotlin_clikt_clikt.$_$.h;
   var toLong = kotlin_kotlin.$_$.l7;
   var Info_getInstance = kotlin_it_unibo_tuprolog_core.$_$.k1;
   var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
@@ -56,8 +56,8 @@
   var getPropertyCallableRef = kotlin_kotlin.$_$.r6;
   var NotImplementedError = kotlin_kotlin.$_$.nb;
   var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.e;
-  var argument$default = kotlin_com_github_ajalt_clikt_clikt.$_$.f;
-  var subcommands = kotlin_com_github_ajalt_clikt_clikt.$_$.c;
+  var argument$default = kotlin_clikt_clikt.$_$.f;
+  var subcommands = kotlin_clikt_clikt.$_$.c;
   //endregion
   //region block: pre-declaration
   setMetadataFor(AbstractTuPrologCommand, 'AbstractTuPrologCommand', classMeta, CliktCommand, undefined, undefined, undefined, []);
@@ -106,16 +106,16 @@
   }
   function printYesSolution($this, sol, operatorSet) {
     var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
-    $this.i3y(tmp, false, false, null, 14, null);
+    $this.f3y(tmp, false, false, null, 14, null);
   }
   function printHaltSolution($this, sol, operatorSet) {
-    var ex = sol.c1w();
+    var ex = sol.z1v();
     if (ex instanceof HaltException) {
-      $this.i3y('# goodbye.', false, false, null, 14, null);
+      $this.f3y('# goodbye.', false, false, null, 14, null);
       throw new ProgramResult(ex.exitStatus);
     } else {
       var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
-      $this.i3y(tmp, false, false, null, 14, null);
+      $this.f3y(tmp, false, false, null, 14, null);
     }
   }
   function printEndOfSolutions($this) {
@@ -133,7 +133,7 @@
       if (!!endsWith$default(tmp, tmp_0, false, 2, null)) {
         break $l$loop;
       }
-      var tmp0_elvis_lhs = $this.m3y('>', null, false, false, null, ' ', false, 94, null);
+      var tmp0_elvis_lhs = $this.j3y('>', null, false, false, null, ' ', false, 94, null);
       var tmp_1;
       if (tmp0_elvis_lhs == null) {
         throw NullInputException_init_$Create$('The standard input has been closed unexpectedly');
@@ -147,12 +147,12 @@
   }
   function printNoSolution($this, sol, operatorSet) {
     var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
-    $this.i3y(tmp, false, false, null, 14, null);
+    $this.f3y(tmp, false, false, null, 14, null);
   }
   function AbstractTuPrologCommand(help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden) {
     CliktCommand.call(this, help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden);
   }
-  AbstractTuPrologCommand.prototype.l4a = function (e) {
+  AbstractTuPrologCommand.prototype.i4a = function (e) {
     var tmp0_safe_receiver = e.message;
     var tmp;
     if (tmp0_safe_receiver == null) {
@@ -184,10 +184,10 @@
       tmp = tmp$ret$4;
     }
     var tmp_2 = '# ' + tmp;
-    this.i3y(tmp_2, false, true, null, 10, null);
+    this.f3y(tmp_2, false, true, null, 10, null);
   };
-  AbstractTuPrologCommand.prototype.m4a = function () {
-    var query = this.m3y('?-', null, false, false, null, ' ', false, 94, null);
+  AbstractTuPrologCommand.prototype.j4a = function () {
+    var query = this.j3y('?-', null, false, false, null, ' ', false, 94, null);
     var tmp;
     if (query == null) {
       throw NullInputException_init_$Create$('The standard input has been close unexpectedly');
@@ -205,11 +205,11 @@
     }
     return tmp;
   };
-  AbstractTuPrologCommand.prototype.n4a = function (solutions, operatorSet) {
+  AbstractTuPrologCommand.prototype.k4a = function (solutions, operatorSet) {
     var first = true;
     $l$loop: while (solutions.m()) {
       if (!first) {
-        var tmp0_safe_receiver = defaultCliktConsole().b46('', false);
+        var tmp0_safe_receiver = defaultCliktConsole().y45('', false);
         var tmp;
         if (tmp0_safe_receiver == null) {
           tmp = null;
@@ -225,16 +225,16 @@
       } else {
         first = false;
       }
-      printSolution(this, solutions.p(), operatorSet);
+      printSolution(this, solutions.n(), operatorSet);
     }
     printEndOfSolutions(this);
   };
-  AbstractTuPrologCommand.prototype.o4a = function (solutions, maxSolutions, operatorSet) {
+  AbstractTuPrologCommand.prototype.l4a = function (solutions, maxSolutions, operatorSet) {
     var i = 0;
     while (i < maxSolutions ? solutions.m() : false) {
       var tmp0 = i;
       i = tmp0 + 1 | 0;
-      printSolution(this, solutions.p(), operatorSet);
+      printSolution(this, solutions.n(), operatorSet);
     }
     printEndOfSolutions(this);
   };
@@ -257,7 +257,7 @@
   }
   function Companion() {
     Companion_instance = this;
-    this.p4a_1 = 1000;
+    this.m4a_1 = 1000;
   }
   var Companion_instance;
   function Companion_getInstance_6() {
@@ -266,60 +266,60 @@
     return Companion_instance;
   }
   function _get_files__hkfg7a($this) {
-    return $this.i4b_1.k46($this, files$factory_0());
+    return $this.f4b_1.h46($this, files$factory_0());
   }
   function _get_timeout__tg4wg($this) {
-    return $this.j4b_1.k46($this, timeout$factory_0());
+    return $this.g4b_1.h46($this, timeout$factory_0());
   }
   function _get_oop__e6e8e9($this) {
-    return $this.k4b_1.k46($this, oop$factory_0());
+    return $this.h4b_1.h46($this, oop$factory_0());
   }
   function loadTheory($this) {
     var theory = Companion_getInstance_0().emptyWithDefaultUnificator();
     var tmp0_iterator = _get_files__hkfg7a($this).j();
     while (tmp0_iterator.m()) {
-      var file = tmp0_iterator.p();
+      var file = tmp0_iterator.n();
       if (isReadableFile(file)) {
         try {
           var t = loadTheoryFromFile(file);
-          var tmp = '# Successfully loaded ' + toString(t.o()) + ' clauses from ' + file;
-          $this.i3y(tmp, false, false, null, 14, null);
+          var tmp = '# Successfully loaded ' + toString(t.p()) + ' clauses from ' + file;
+          $this.f3y(tmp, false, false, null, 14, null);
           theory = theory.plusTheory(t);
         } catch ($p) {
           if ($p instanceof ParseException) {
             var tmp_0 = '\n                        |# Error while parsing theory file: ' + file + '\n                        |#     Message: ' + $p.message + '\n                        |#     Line   : ' + $p.line + '\n                        |#     Column : ' + $p.column + '\n                        |#     Clause : ' + $p.clauseIndex + '\n                        ';
             var tmp_1 = trimMargin$default(tmp_0, null, 1, null);
-            $this.i3y(tmp_1, false, true, null, 10, null);
+            $this.f3y(tmp_1, false, true, null, 10, null);
           } else {
             throw $p;
           }
         }
       }
     }
-    $this.i3y('', false, false, null, 14, null);
+    $this.f3y('', false, false, null, 14, null);
     return theory;
   }
   function readEvalPrintLoop($this, solver) {
     try {
-      var query = $this.m4a();
+      var query = $this.j4a();
       while (!(query == null)) {
         try {
-          var goal = parseStructWithOperators(Companion_getInstance_1(), query, solver.h1v());
-          var solutions = solver.solveWithTimeout(goal, $this.l4b()).j();
-          $this.n4a(solutions, solver.h1v());
+          var goal = parseStructWithOperators(Companion_getInstance_1(), query, solver.e1v());
+          var solutions = solver.solveWithTimeout(goal, $this.i4b()).j();
+          $this.k4a(solutions, solver.e1v());
         } catch ($p) {
           if ($p instanceof ParseException) {
-            $this.l4a($p);
+            $this.i4a($p);
           } else {
             throw $p;
           }
         }
-        $this.i3y('', false, false, null, 14, null);
-        query = $this.m4a();
+        $this.f3y('', false, false, null, 14, null);
+        query = $this.j4a();
       }
     } catch ($p) {
       if ($p instanceof NullInputException) {
-        $this.i3y('\n# goodbye.', false, false, null, 14, null);
+        $this.f3y('\n# goodbye.', false, false, null, 14, null);
         throw new ProgramResult(0);
       } else {
         throw $p;
@@ -334,82 +334,82 @@
   function TuPrologCmd$getSolver$lambda(this$0) {
     return function (w) {
       var tmp = '# ' + w.message;
-      this$0.i3y(tmp, false, true, null, 10, null);
+      this$0.f3y(tmp, false, true, null, 10, null);
       var sep = '\n    at ';
-      var formatter = Companion_getInstance_2().prettyExpressionsPrettyVariables(w.j5().h1v());
-      var tmp_0 = w.s1u();
+      var formatter = Companion_getInstance_2().prettyExpressionsPrettyVariables(w.j5().e1v());
+      var tmp_0 = w.p1u();
       var stacktrace = joinToString$default(tmp_0, sep, null, null, 0, null, TuPrologCmd$getSolver$lambda$lambda(formatter), 30, null);
       var tmp_1 = '#    at ' + stacktrace;
-      this$0.i3y(tmp_1, false, true, null, 10, null);
+      this$0.f3y(tmp_1, false, true, null, 10, null);
       return Unit_getInstance();
     };
   }
   function TuPrologCmd$getSolver$lambda_0($this$flag) {
-    return $this$flag.u29_1;
+    return $this$flag.r29_1;
   }
   function TuPrologCmd(additionalLibraries) {
     Companion_getInstance_6();
     AbstractTuPrologCommand_init_$Init$('Start a Prolog Read-Eval-Print loop', null, 'java -jar 2p-repl.jar', true, false, null, null, true, false, false, 882, null, this);
-    this.h4b_1 = additionalLibraries;
+    this.e4b_1 = additionalLibraries;
     var tmp = this;
     var tmp_0 = option$default(this, ['-T', '--theory'], 'Path of theory file to be loaded', null, false, null, null, null, null, 252, null);
-    tmp.i4b_1 = multiple$default(tmp_0, null, false, 3, null).t47(this, files$factory());
+    tmp.f4b_1 = multiple$default(tmp_0, null, false, 3, null).q47(this, files$factory());
     var tmp_1 = this;
     Companion_getInstance_6();
     var tmp_2 = 'Maximum amount of time for computing a solution (default: ' + 1000 + ' ms)';
     var tmp_3 = int(option$default(this, ['-t', '--timeout'], tmp_2, null, false, null, null, null, null, 252, null));
     Companion_getInstance_6();
-    tmp_1.j4b_1 = default$default(tmp_3, 1000, null, 2, null).t47(this, timeout$factory());
+    tmp_1.g4b_1 = default$default(tmp_3, 1000, null, 2, null).q47(this, timeout$factory());
     var tmp_4 = this;
     var tmp_5 = option$default(this, ['--oop'], 'Loads the OOP library', null, false, null, null, null, null, 252, null);
-    tmp_4.k4b_1 = flag$default(tmp_5, [], false, null, 5, null).t47(this, oop$factory());
+    tmp_4.h4b_1 = flag$default(tmp_5, [], false, null, 5, null).q47(this, oop$factory());
   }
-  TuPrologCmd.prototype.h3z = function () {
-    var solve = this.m4b();
-    var subcommand = this.v2b().c3x_1;
+  TuPrologCmd.prototype.e3z = function () {
+    var solve = this.j4b();
+    var subcommand = this.s2b().z3w_1;
     if (subcommand == null) {
       readEvalPrintLoop(this, solve);
     }
   };
-  TuPrologCmd.prototype.l4b = function () {
+  TuPrologCmd.prototype.i4b = function () {
     return toLong(_get_timeout__tg4wg(this));
   };
-  TuPrologCmd.prototype.m4b = function () {
+  TuPrologCmd.prototype.j4b = function () {
     Info_getInstance();
-    var tmp = '# 2P-Kt version ' + '0.31.5-dev0c+d53549ad7';
-    this.i3y(tmp, false, false, null, 14, null);
+    var tmp = '# 2P-Kt version ' + '0.31.5-dev0f+5a2ad7593';
+    this.f3y(tmp, false, false, null, 14, null);
     var theory = loadTheory(this);
     var tmp_0 = Companion_getInstance_3();
     var outputChannel = tmp_0.of(TuPrologCmd$getSolver$lambda(this));
     var tmp_1;
     if (_get_oop__e6e8e9(this)) {
-      tmp_1 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.h4b_1]));
+      tmp_1 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.e4b_1]));
     } else {
-      tmp_1 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance()], this.h4b_1]));
+      tmp_1 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance()], this.e4b_1]));
     }
     var libraries = tmp_1;
     var tmp$ret$2;
     // Inline function 'kotlin.also' call
-    var tmp_2 = Companion_getInstance_5().t1x().newBuilder().setRuntime(libraries).setStaticKb(theory);
+    var tmp_2 = Companion_getInstance_5().q1x().newBuilder().setRuntime(libraries).setStaticKb(theory);
     var tmp_3 = TrackVariables_getInstance();
     var tmp0_also = tmp_2.setNotableFlagByValue(tmp_3, TuPrologCmd$getSolver$lambda_0).setWarnings(outputChannel).build();
     // Inline function 'kotlin.contracts.contract' call
     // Inline function 'it.unibo.tuprolog.ui.repl.TuPrologCmd.getSolver.<anonymous>' call
     var tmp$ret$0;
     // Inline function 'kotlin.collections.iterator' call
-    var tmp0_iterator = tmp0_also.w1u();
+    var tmp0_iterator = tmp0_also.t1u();
     tmp$ret$0 = tmp0_iterator.z().j();
     var tmp0_iterator_0 = tmp$ret$0;
     while (tmp0_iterator_0.m()) {
-      var tmp1_loop_parameter = tmp0_iterator_0.p();
+      var tmp1_loop_parameter = tmp0_iterator_0.n();
       var tmp$ret$1;
       // Inline function 'kotlin.collections.component2' call
       tmp$ret$1 = tmp1_loop_parameter.b1();
       var library = tmp$ret$1;
-      var tmp_4 = '# Successfully loaded library `' + library.o2e() + '`';
-      this.i3y(tmp_4, false, false, null, 14, null);
+      var tmp_4 = '# Successfully loaded library `' + library.l2e() + '`';
+      this.f3y(tmp_4, false, false, null, 14, null);
     }
-    this.i3y('', false, false, null, 14, null);
+    this.f3y('', false, false, null, 14, null);
     tmp$ret$2 = tmp0_also;
     return tmp$ret$2;
   };
@@ -444,14 +444,14 @@
     }, null);
   }
   function _get_query__c6g9vb($this) {
-    return $this.e4c_1.k46($this, query$factory_0());
+    return $this.b4c_1.h46($this, query$factory_0());
   }
   function _get_maxSolutions__ysux2t($this) {
-    return $this.f4c_1.k46($this, maxSolutions$factory_0());
+    return $this.c4c_1.h46($this, maxSolutions$factory_0());
   }
   function _get_parentCommand__z09ff4($this) {
-    var tmp0_safe_receiver = $this.v2b().m3w_1;
-    var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.n3w_1;
+    var tmp0_safe_receiver = $this.s2b().j3w_1;
+    var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.k3w_1;
     return tmp instanceof TuPrologCmd ? tmp : THROW_CCE();
   }
   function evalAndPrint($this, solver) {
@@ -461,16 +461,16 @@
     tmp$ret$0 = charSequenceLength(tmp0_isNotEmpty) > 0;
     if (tmp$ret$0) {
       try {
-        var duration = _get_parentCommand__z09ff4($this).l4b();
+        var duration = _get_parentCommand__z09ff4($this).i4b();
         var solutions = solver.solveWithTimeout(parseStruct(Companion_getInstance_1(), _get_query__c6g9vb($this)), duration).j();
         if (_get_maxSolutions__ysux2t($this) === 0) {
-          $this.n4a(solutions, solver.h1v());
+          $this.k4a(solutions, solver.e1v());
         } else {
-          $this.o4a(solutions, _get_maxSolutions__ysux2t($this), solver.h1v());
+          $this.l4a(solutions, _get_maxSolutions__ysux2t($this), solver.e1v());
         }
       } catch ($p) {
         if ($p instanceof ParseException) {
-          $this.l4a($p);
+          $this.i4a($p);
         } else {
           throw $p;
         }
@@ -483,13 +483,13 @@
   function TuPrologSolveQuery() {
     AbstractTuPrologCommand_init_$Init$('Compute a particular query and then terminate', null, 'solve', false, false, null, null, false, false, false, 1018, null, this);
     var tmp = this;
-    tmp.e4c_1 = argument$default(this, null, null, null, null, 15, null).l46(this, query$factory());
+    tmp.b4c_1 = argument$default(this, null, null, null, null, 15, null).i46(this, query$factory());
     var tmp_0 = this;
     var tmp_1 = int(option$default(this, ['-n', '--numberOfSolutions'], 'Number of solution to calculate', null, false, null, null, null, null, 252, null));
-    tmp_0.f4c_1 = default$default(tmp_1, 0, null, 2, null).t47(this, maxSolutions$factory());
+    tmp_0.c4c_1 = default$default(tmp_1, 0, null, 2, null).q47(this, maxSolutions$factory());
   }
-  TuPrologSolveQuery.prototype.h3z = function () {
-    var solver = _get_parentCommand__z09ff4(this).m4b();
+  TuPrologSolveQuery.prototype.e3z = function () {
+    var solver = _get_parentCommand__z09ff4(this).j4b();
     evalAndPrint(this, solver);
   };
   function query$factory() {
@@ -521,7 +521,7 @@
     throw new NotImplementedError('An operation is not implemented: Not yet implemented');
   }
   function main(args) {
-    subcommands(new TuPrologCmd([]), [new TuPrologSolveQuery()]).g3z(args);
+    subcommands(new TuPrologCmd([]), [new TuPrologSolveQuery()]).d3z(args);
   }
   //region block: exports
   _.$_$ = _.$_$ || {};