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

package/2p-repl.js

@@ -1,95 +1,106 @@
-(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 (root, factory) {
+  if (typeof define === 'function' && define.amd)
+    define(['exports', './2p-solve.js', './kotlin-kotlin-stdlib-js-ir.js', './2p-core.js', './clikt-clikt-js-ir.js', './2p-theory.js', './2p-parser-core.js', './2p-io-lib.js', './2p-oop-lib.js'], factory);
+  else if (typeof exports === 'object')
+    factory(module.exports, require('./2p-solve.js'), require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-core.js'), require('./clikt-clikt-js-ir.js'), require('./2p-theory.js'), require('./2p-parser-core.js'), require('./2p-io-lib.js'), require('./2p-oop-lib.js'));
+  else {
+    if (typeof this['2p-solve'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency '2p-solve' was not found. Please, check whether '2p-solve' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['kotlin-kotlin-stdlib-js-ir'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency 'kotlin-kotlin-stdlib-js-ir' was not found. Please, check whether 'kotlin-kotlin-stdlib-js-ir' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['2p-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['clikt-clikt-js-ir'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency 'clikt-clikt-js-ir' was not found. Please, check whether 'clikt-clikt-js-ir' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['2p-theory'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency '2p-theory' was not found. Please, check whether '2p-theory' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['2p-parser-core'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency '2p-parser-core' was not found. Please, check whether '2p-parser-core' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['2p-io-lib'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency '2p-io-lib' was not found. Please, check whether '2p-io-lib' is loaded prior to '2p-repl'.");
+    }
+    if (typeof this['2p-oop-lib'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency '2p-oop-lib' was not found. Please, check whether '2p-oop-lib' is loaded prior to '2p-repl'.");
+    }
+    root['2p-repl'] = factory(typeof this['2p-repl'] === 'undefined' ? {} : this['2p-repl'], this['2p-solve'], this['kotlin-kotlin-stdlib-js-ir'], this['2p-core'], this['clikt-clikt-js-ir'], this['2p-theory'], this['2p-parser-core'], this['2p-io-lib'], this['2p-oop-lib']);
+  }
+}(this, function (_, kotlin_it_unibo_tuprolog_solve, kotlin_kotlin, 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;
   var Halt = kotlin_it_unibo_tuprolog_solve.$_$.r4;
-  var isInterface = kotlin_kotlin.$_$.y6;
+  var isInterface = kotlin_kotlin.$_$.g6;
   var No = kotlin_it_unibo_tuprolog_solve.$_$.s4;
   var Yes = kotlin_it_unibo_tuprolog_solve.$_$.t4;
-  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.n2;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.l2;
   var format = kotlin_it_unibo_tuprolog_core.$_$.c3;
-  var ProgramResult = kotlin_com_github_ajalt_clikt_clikt.$_$.b;
-  var HaltException = kotlin_it_unibo_tuprolog_solve.$_$.t2;
-  var StringBuilder = kotlin_kotlin.$_$.v9;
-  var THROW_CCE = kotlin_kotlin.$_$.sb;
-  var isCharSequence = kotlin_kotlin.$_$.w6;
-  var trim = kotlin_kotlin.$_$.cb;
-  var toString = kotlin_kotlin.$_$.n7;
-  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 charSequenceLength = kotlin_kotlin.$_$.l6;
-  var charSequenceGet = kotlin_kotlin.$_$.k6;
-  var toString_0 = kotlin_kotlin.$_$.h2;
+  var ProgramResult = kotlin_clikt_clikt.$_$.b;
+  var HaltException = kotlin_it_unibo_tuprolog_solve.$_$.r2;
+  var StringBuilder = kotlin_kotlin.$_$.h9;
+  var THROW_CCE = kotlin_kotlin.$_$.tb;
+  var isCharSequence = kotlin_kotlin.$_$.e6;
+  var trim = kotlin_kotlin.$_$.db;
+  var toString = kotlin_kotlin.$_$.x6;
+  var Unit_getInstance = kotlin_kotlin.$_$.v1;
+  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.h1;
+  var endsWith = kotlin_kotlin.$_$.n9;
+  var VOID = kotlin_kotlin.$_$.gc;
+  var CliktCommand = kotlin_clikt_clikt.$_$.a;
+  var emptyMap = kotlin_kotlin.$_$.x2;
+  var charSequenceLength = kotlin_kotlin.$_$.s5;
+  var charSequenceGet = kotlin_kotlin.$_$.r5;
+  var toString_0 = kotlin_kotlin.$_$.l1;
   var titlecase = kotlin_kotlin.$_$.qa;
-  var isLowerCase = kotlin_kotlin.$_$.ba;
-  var defaultCliktConsole = kotlin_com_github_ajalt_clikt_clikt.$_$.d;
-  var classMeta = kotlin_kotlin.$_$.m6;
-  var setMetadataFor = kotlin_kotlin.$_$.j7;
+  var isLowerCase = kotlin_kotlin.$_$.s9;
+  var protoOf = kotlin_kotlin.$_$.s6;
+  var defaultCliktConsole = kotlin_clikt_clikt.$_$.d;
+  var classMeta = kotlin_kotlin.$_$.t5;
+  var setMetadataFor = kotlin_kotlin.$_$.t6;
   var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.m;
-  var captureStack = kotlin_kotlin.$_$.h6;
+  var objectCreate = kotlin_kotlin.$_$.q6;
+  var captureStack = kotlin_kotlin.$_$.o5;
   var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
-  var objectMeta = kotlin_kotlin.$_$.i7;
+  var objectMeta = kotlin_kotlin.$_$.r6;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
-  var trimMargin$default = kotlin_kotlin.$_$.a1;
-  var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
+  var trimMargin = kotlin_kotlin.$_$.bb;
+  var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
   var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.d1;
-  var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.f;
+  var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.e;
   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 toLong = kotlin_kotlin.$_$.l7;
+  var joinToString = kotlin_kotlin.$_$.f3;
+  var option = kotlin_clikt_clikt.$_$.i;
+  var multiple = kotlin_clikt_clikt.$_$.h;
+  var int = kotlin_clikt_clikt.$_$.j;
+  var default_0 = kotlin_clikt_clikt.$_$.f;
+  var flag = kotlin_clikt_clikt.$_$.g;
+  var toLong = kotlin_kotlin.$_$.v6;
   var Info_getInstance = kotlin_it_unibo_tuprolog_core.$_$.k1;
-  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_solve.$_$.n1;
-  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.f2;
+  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_solve.$_$.l1;
+  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.d2;
   var IOLib_getInstance = kotlin_it_unibo_tuprolog_io_lib.$_$.a;
   var arrayConcat = kotlin_kotlin.$_$.a;
   var OOPLib_getInstance = kotlin_it_unibo_tuprolog_oop_lib.$_$.a;
-  var Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.p2;
-  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.c2;
-  var KProperty1 = kotlin_kotlin.$_$.d8;
-  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 Companion_getInstance_5 = kotlin_it_unibo_tuprolog_solve.$_$.n2;
+  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a2;
+  var KProperty1 = kotlin_kotlin.$_$.o7;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.z5;
+  var NotImplementedError = kotlin_kotlin.$_$.ob;
+  var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
+  var argument = kotlin_clikt_clikt.$_$.e;
+  var subcommands = kotlin_clikt_clikt.$_$.c;
   //endregion
   //region block: pre-declaration
-  setMetadataFor(AbstractTuPrologCommand, 'AbstractTuPrologCommand', classMeta, CliktCommand, undefined, undefined, undefined, []);
-  setMetadataFor(NullInputException, 'NullInputException', classMeta, TuPrologException, undefined, undefined, undefined, []);
-  setMetadataFor(Companion, 'Companion', objectMeta, undefined, undefined, undefined, undefined, []);
-  setMetadataFor(TuPrologCmd, 'TuPrologCmd', classMeta, AbstractTuPrologCommand, undefined, undefined, undefined, []);
-  setMetadataFor(TuPrologSolveQuery, 'TuPrologSolveQuery', classMeta, AbstractTuPrologCommand, undefined, undefined, undefined, []);
+  setMetadataFor(AbstractTuPrologCommand, 'AbstractTuPrologCommand', classMeta, CliktCommand);
+  setMetadataFor(NullInputException, 'NullInputException', classMeta, TuPrologException);
+  setMetadataFor(Companion, 'Companion', objectMeta);
+  setMetadataFor(TuPrologCmd, 'TuPrologCmd', classMeta, AbstractTuPrologCommand);
+  setMetadataFor(TuPrologSolveQuery, 'TuPrologSolveQuery', classMeta, AbstractTuPrologCommand);
   //endregion
-  function AbstractTuPrologCommand_init_$Init$(help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden, $mask0, $marker, $this) {
-    if (!(($mask0 & 1) === 0))
-      help = '';
-    if (!(($mask0 & 2) === 0))
-      epilog = '';
-    if (!(($mask0 & 4) === 0))
-      name = null;
-    if (!(($mask0 & 8) === 0))
-      invokeWithoutSubcommand = false;
-    if (!(($mask0 & 16) === 0))
-      printHelpOnEmptyArgs = false;
-    if (!(($mask0 & 32) === 0))
-      helpTags = emptyMap();
-    if (!(($mask0 & 64) === 0))
-      autoCompleteEnvvar = '';
-    if (!(($mask0 & 128) === 0))
-      allowMultipleSubcommands = false;
-    if (!(($mask0 & 256) === 0))
-      treatUnknownOptionsAsArgs = false;
-    if (!(($mask0 & 512) === 0))
-      hidden = false;
-    AbstractTuPrologCommand.call($this, help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden);
-    return $this;
-  }
   function printSolution($this, sol, operatorSet) {
     var tmp0_subject = sol;
     if (isInterface(tmp0_subject, Yes)) {
@@ -105,17 +116,15 @@
     }
   }
   function printYesSolution($this, sol, operatorSet) {
-    var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
-    $this.i3y(tmp, false, false, null, 14, null);
+    $this.a3w(format(sol, Companion_getInstance().withOperators(operatorSet)));
   }
   function printHaltSolution($this, sol, operatorSet) {
-    var ex = sol.c1w();
+    var ex = sol.y1u();
     if (ex instanceof HaltException) {
-      $this.i3y('# goodbye.', false, false, null, 14, null);
+      $this.a3w('# goodbye.');
       throw new ProgramResult(ex.exitStatus);
     } else {
-      var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
-      $this.i3y(tmp, false, false, null, 14, null);
+      $this.a3w(format(sol, Companion_getInstance().withOperators(operatorSet)));
     }
   }
   function printEndOfSolutions($this) {
@@ -128,31 +137,38 @@
       // Inline function 'kotlin.text.trim' call
       var tmp0_trim = lastRead;
       tmp$ret$0 = toString(trim(isCharSequence(tmp0_trim) ? tmp0_trim : THROW_CCE()));
-      var tmp = tmp$ret$0;
-      var tmp_0 = _Char___init__impl__6a9atx(46);
-      if (!!endsWith$default(tmp, tmp_0, false, 2, null)) {
+      if (!!endsWith(tmp$ret$0, _Char___init__impl__6a9atx(46))) {
         break $l$loop;
       }
-      var tmp0_elvis_lhs = $this.m3y('>', null, false, false, null, ' ', false, 94, null);
-      var tmp_1;
+      var tmp0_elvis_lhs = $this.e3w('>', VOID, VOID, VOID, VOID, ' ');
+      var tmp;
       if (tmp0_elvis_lhs == null) {
         throw NullInputException_init_$Create$('The standard input has been closed unexpectedly');
       } else {
-        tmp_1 = tmp0_elvis_lhs;
+        tmp = tmp0_elvis_lhs;
       }
-      lastRead = tmp_1;
-      longQuery.re(lastRead);
+      lastRead = tmp;
+      longQuery.te(lastRead);
     }
     return longQuery.toString();
   }
   function printNoSolution($this, sol, operatorSet) {
-    var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
-    $this.i3y(tmp, false, false, null, 14, null);
+    $this.a3w(format(sol, Companion_getInstance().withOperators(operatorSet)));
   }
   function AbstractTuPrologCommand(help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden) {
+    help = help === VOID ? '' : help;
+    epilog = epilog === VOID ? '' : epilog;
+    name = name === VOID ? null : name;
+    invokeWithoutSubcommand = invokeWithoutSubcommand === VOID ? false : invokeWithoutSubcommand;
+    printHelpOnEmptyArgs = printHelpOnEmptyArgs === VOID ? false : printHelpOnEmptyArgs;
+    helpTags = helpTags === VOID ? emptyMap() : helpTags;
+    autoCompleteEnvvar = autoCompleteEnvvar === VOID ? '' : autoCompleteEnvvar;
+    allowMultipleSubcommands = allowMultipleSubcommands === VOID ? false : allowMultipleSubcommands;
+    treatUnknownOptionsAsArgs = treatUnknownOptionsAsArgs === VOID ? false : treatUnknownOptionsAsArgs;
+    hidden = hidden === VOID ? false : hidden;
     CliktCommand.call(this, help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden);
   }
-  AbstractTuPrologCommand.prototype.l4a = function (e) {
+  protoOf(AbstractTuPrologCommand).d48 = function (e) {
     var tmp0_safe_receiver = e.message;
     var tmp;
     if (tmp0_safe_receiver == null) {
@@ -183,11 +199,10 @@
       tmp$ret$4 = tmp_0;
       tmp = tmp$ret$4;
     }
-    var tmp_2 = '# ' + tmp;
-    this.i3y(tmp_2, false, true, null, 10, null);
+    this.a3w('# ' + tmp, VOID, true);
   };
-  AbstractTuPrologCommand.prototype.m4a = function () {
-    var query = this.m3y('?-', null, false, false, null, ' ', false, 94, null);
+  protoOf(AbstractTuPrologCommand).e48 = function () {
+    var query = this.e3w('?-', VOID, VOID, VOID, VOID, ' ');
     var tmp;
     if (query == null) {
       throw NullInputException_init_$Create$('The standard input has been close unexpectedly');
@@ -195,9 +210,7 @@
       var tmp$ret$0;
       // Inline function 'kotlin.text.trim' call
       tmp$ret$0 = toString(trim((!(query == null) ? isCharSequence(query) : false) ? query : THROW_CCE()));
-      var tmp_0 = tmp$ret$0;
-      var tmp_1 = _Char___init__impl__6a9atx(46);
-      if (endsWith$default(tmp_0, tmp_1, false, 2, null)) {
+      if (endsWith(tmp$ret$0, _Char___init__impl__6a9atx(46))) {
         tmp = query;
       } else {
         tmp = readQueryMultiline(this, query);
@@ -205,11 +218,11 @@
     }
     return tmp;
   };
-  AbstractTuPrologCommand.prototype.n4a = function (solutions, operatorSet) {
+  protoOf(AbstractTuPrologCommand).f48 = 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().t43('', false);
         var tmp;
         if (tmp0_safe_receiver == null) {
           tmp = null;
@@ -225,16 +238,16 @@
       } else {
         first = false;
       }
-      printSolution(this, solutions.p(), operatorSet);
+      printSolution(this, solutions.n(), operatorSet);
     }
     printEndOfSolutions(this);
   };
-  AbstractTuPrologCommand.prototype.o4a = function (solutions, maxSolutions, operatorSet) {
+  protoOf(AbstractTuPrologCommand).g48 = 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);
   };
@@ -248,7 +261,7 @@
     return $this;
   }
   function NullInputException_init_$Create$(message) {
-    var tmp = NullInputException_init_$Init$_0(message, Object.create(NullInputException.prototype));
+    var tmp = NullInputException_init_$Init$_0(message, objectCreate(protoOf(NullInputException)));
     captureStack(tmp, NullInputException_init_$Create$);
     return tmp;
   }
@@ -257,7 +270,7 @@
   }
   function Companion() {
     Companion_instance = this;
-    this.p4a_1 = 1000;
+    this.h48_1 = 1000;
   }
   var Companion_instance;
   function Companion_getInstance_6() {
@@ -266,60 +279,60 @@
     return Companion_instance;
   }
   function _get_files__hkfg7a($this) {
-    return $this.i4b_1.k46($this, files$factory_0());
+    return $this.a49_1.c44($this, files$factory_0());
   }
   function _get_timeout__tg4wg($this) {
-    return $this.j4b_1.k46($this, timeout$factory_0());
+    return $this.b49_1.c44($this, timeout$factory_0());
   }
   function _get_oop__e6e8e9($this) {
-    return $this.k4b_1.k46($this, oop$factory_0());
+    return $this.c49_1.c44($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);
+          $this.a3w('# Successfully loaded ' + toString(t.p()) + ' clauses from ' + file);
           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);
+            var e = $p;
+            $this.a3w(trimMargin('\n                        |# Error while parsing theory file: ' + file + '\n                        |#     Message: ' + e.message + '\n                        |#     Line   : ' + e.line + '\n                        |#     Column : ' + e.column + '\n                        |#     Clause : ' + e.clauseIndex + '\n                        '), VOID, true);
           } else {
             throw $p;
           }
         }
       }
     }
-    $this.i3y('', false, false, null, 14, null);
+    $this.a3w('');
     return theory;
   }
   function readEvalPrintLoop($this, solver) {
     try {
-      var query = $this.m4a();
+      var query = $this.e48();
       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.e1u());
+          var solutions = solver.solveWithTimeout(goal, $this.d49()).j();
+          $this.f48(solutions, solver.e1u());
         } catch ($p) {
           if ($p instanceof ParseException) {
-            $this.l4a($p);
+            var e = $p;
+            $this.d48(e);
           } else {
             throw $p;
           }
         }
-        $this.i3y('', false, false, null, 14, null);
-        query = $this.m4a();
+        $this.a3w('');
+        query = $this.e48();
       }
     } catch ($p) {
       if ($p instanceof NullInputException) {
-        $this.i3y('\n# goodbye.', false, false, null, 14, null);
+        var _ = $p;
+        $this.a3w('\n# goodbye.');
         throw new ProgramResult(0);
       } else {
         throw $p;
@@ -333,83 +346,74 @@
   }
   function TuPrologCmd$getSolver$lambda(this$0) {
     return function (w) {
-      var tmp = '# ' + w.message;
-      this$0.i3y(tmp, false, true, null, 10, null);
+      this$0.a3w('# ' + w.message, VOID, true);
       var sep = '\n    at ';
-      var formatter = Companion_getInstance_2().prettyExpressionsPrettyVariables(w.j5().h1v());
-      var tmp_0 = w.s1u();
-      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);
+      var formatter = Companion_getInstance_2().prettyExpressionsPrettyVariables(w.n5().e1u());
+      var tmp = w.s1t();
+      var stacktrace = joinToString(tmp, sep, VOID, VOID, VOID, VOID, TuPrologCmd$getSolver$lambda$lambda(formatter));
+      this$0.a3w('#    at ' + stacktrace, VOID, true);
       return Unit_getInstance();
     };
   }
   function TuPrologCmd$getSolver$lambda_0($this$flag) {
-    return $this$flag.u29_1;
+    return $this$flag.x27_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;
+    AbstractTuPrologCommand.call(this, 'Start a Prolog Read-Eval-Print loop', VOID, 'java -jar 2p-repl.jar', true, VOID, VOID, VOID, true);
+    this.z48_1 = additionalLibraries;
+    this.a49_1 = multiple(option(this, ['-T', '--theory'], 'Path of theory file to be loaded')).l45(this, files$factory());
     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());
-    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));
+    var tmp_0 = int(option(this, ['-t', '--timeout'], 'Maximum amount of time for computing a solution (default: ' + 1000 + ' ms)'));
     Companion_getInstance_6();
-    tmp_1.j4b_1 = default$default(tmp_3, 1000, null, 2, null).t47(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());
-  }
-  TuPrologCmd.prototype.h3z = function () {
-    var solve = this.m4b();
-    var subcommand = this.v2b().c3x_1;
+    tmp.b49_1 = default_0(tmp_0, 1000).l45(this, timeout$factory());
+    this.c49_1 = flag(option(this, ['--oop'], 'Loads the OOP library'), [], false).l45(this, oop$factory());
+  }
+  protoOf(TuPrologCmd).z3w = function () {
+    var solve = this.e49();
+    var subcommand = this.y29().u3u_1;
     if (subcommand == null) {
       readEvalPrintLoop(this, solve);
     }
   };
-  TuPrologCmd.prototype.l4b = function () {
+  protoOf(TuPrologCmd).d49 = function () {
     return toLong(_get_timeout__tg4wg(this));
   };
-  TuPrologCmd.prototype.m4b = function () {
+  protoOf(TuPrologCmd).e49 = function () {
     Info_getInstance();
-    var tmp = '# 2P-Kt version ' + '0.31.5-dev0c+d53549ad7';
-    this.i3y(tmp, false, false, null, 14, null);
+    this.a3w('# 2P-Kt version ' + '0.1.0-archeo+0c07eb3');
     var theory = loadTheory(this);
-    var tmp_0 = Companion_getInstance_3();
-    var outputChannel = tmp_0.of(TuPrologCmd$getSolver$lambda(this));
-    var tmp_1;
+    var tmp = Companion_getInstance_3();
+    var outputChannel = tmp.of(TuPrologCmd$getSolver$lambda(this));
+    var tmp_0;
     if (_get_oop__e6e8e9(this)) {
-      tmp_1 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.h4b_1]));
+      tmp_0 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.z48_1]));
     } else {
-      tmp_1 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance()], this.h4b_1]));
+      tmp_0 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance()], this.z48_1]));
     }
-    var libraries = tmp_1;
+    var libraries = tmp_0;
     var tmp$ret$2;
     // Inline function 'kotlin.also' call
-    var tmp_2 = Companion_getInstance_5().t1x().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();
+    var tmp_1 = Companion_getInstance_5().l1w().newBuilder().setRuntime(libraries).setStaticKb(theory);
+    var tmp_2 = TrackVariables_getInstance();
+    var tmp0_also = tmp_1.setNotableFlagByValue(tmp_2, 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.v1t();
     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);
+      this.a3w('# Successfully loaded library `' + library.q2c() + '`');
     }
-    this.i3y('', false, false, null, 14, null);
+    this.a3w('');
     tmp$ret$2 = tmp0_also;
     return tmp$ret$2;
   };
@@ -444,14 +448,14 @@
     }, null);
   }
   function _get_query__c6g9vb($this) {
-    return $this.e4c_1.k46($this, query$factory_0());
+    return $this.w49_1.c44($this, query$factory_0());
   }
   function _get_maxSolutions__ysux2t($this) {
-    return $this.f4c_1.k46($this, maxSolutions$factory_0());
+    return $this.x49_1.c44($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.y29().e3u_1;
+    var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.f3u_1;
     return tmp instanceof TuPrologCmd ? tmp : THROW_CCE();
   }
   function evalAndPrint($this, solver) {
@@ -461,16 +465,17 @@
     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).d49();
         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.f48(solutions, solver.e1u());
         } else {
-          $this.o4a(solutions, _get_maxSolutions__ysux2t($this), solver.h1v());
+          $this.g48(solutions, _get_maxSolutions__ysux2t($this), solver.e1u());
         }
       } catch ($p) {
         if ($p instanceof ParseException) {
-          $this.l4a($p);
+          var e = $p;
+          $this.d48(e);
         } else {
           throw $p;
         }
@@ -481,15 +486,12 @@
     }
   }
   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());
-    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());
+    AbstractTuPrologCommand.call(this, 'Compute a particular query and then terminate', VOID, 'solve');
+    this.w49_1 = argument(this).d44(this, query$factory());
+    this.x49_1 = default_0(int(option(this, ['-n', '--numberOfSolutions'], 'Number of solution to calculate')), 0).l45(this, maxSolutions$factory());
   }
-  TuPrologSolveQuery.prototype.h3z = function () {
-    var solver = _get_parentCommand__z09ff4(this).m4b();
+  protoOf(TuPrologSolveQuery).z3w = function () {
+    var solver = _get_parentCommand__z09ff4(this).e49();
     evalAndPrint(this, solver);
   };
   function query$factory() {
@@ -521,13 +523,13 @@
     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()]).y3w(args);
   }
   //region block: exports
   _.$_$ = _.$_$ || {};
   _.$_$.a = main;
   //endregion
   return _;
-}(module.exports, require('./kotlin-kotlin-stdlib-js-ir.js'), require('./2p-solve.js'), require('./2p-core.js'), require('./clikt-clikt-js-ir.js'), require('./2p-theory.js'), require('./2p-parser-core.js'), require('./2p-io-lib.js'), require('./2p-oop-lib.js')));
+}));
 
 //# sourceMappingURL=2p-repl.js.map