@tuprolog/2p-full 0.31.21 → 0.32.1

package/2p-repl.js

@@ -1,15 +1,15 @@
 (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);
+    define(['exports', './kotlin-kotlin-stdlib.js', './2p-solve.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'));
+    factory(module.exports, require('./kotlin-kotlin-stdlib.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'));
   else {
+    if (typeof this['kotlin-kotlin-stdlib'] === 'undefined') {
+      throw new Error("Error loading module '2p-repl'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-repl'.");
+    }
     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'.");
     }
@@ -28,68 +28,68 @@
     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']);
+    root['2p-repl'] = factory(typeof this['2p-repl'] === 'undefined' ? {} : this['2p-repl'], this['kotlin-kotlin-stdlib'], this['2p-solve'], 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) {
+}(this, 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 Halt = kotlin_it_unibo_tuprolog_solve.$_$.r4;
-  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.$_$.l2;
+  var Unit_instance = kotlin_kotlin.$_$.y1;
+  var Halt = kotlin_it_unibo_tuprolog_solve.$_$.l4;
+  var isInterface = kotlin_kotlin.$_$.j6;
+  var No = kotlin_it_unibo_tuprolog_solve.$_$.m4;
+  var Yes = kotlin_it_unibo_tuprolog_solve.$_$.n4;
+  var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.l2;
   var format = kotlin_it_unibo_tuprolog_core.$_$.c3;
   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 StringBuilder = kotlin_kotlin.$_$.j9;
+  var THROW_CCE = kotlin_kotlin.$_$.vb;
+  var isCharSequence = kotlin_kotlin.$_$.h6;
+  var trim = kotlin_kotlin.$_$.fb;
+  var toString = kotlin_kotlin.$_$.z6;
+  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.k1;
+  var endsWith = kotlin_kotlin.$_$.p9;
+  var VOID = kotlin_kotlin.$_$.d;
   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.$_$.s9;
-  var protoOf = kotlin_kotlin.$_$.s6;
+  var emptyMap = kotlin_kotlin.$_$.a3;
+  var charSequenceLength = kotlin_kotlin.$_$.u5;
+  var charSequenceGet = kotlin_kotlin.$_$.t5;
+  var toString_0 = kotlin_kotlin.$_$.o1;
+  var titlecase = kotlin_kotlin.$_$.sa;
+  var isLowerCase = kotlin_kotlin.$_$.u9;
+  var protoOf = kotlin_kotlin.$_$.u6;
   var defaultCliktConsole = kotlin_clikt_clikt.$_$.d;
-  var classMeta = kotlin_kotlin.$_$.t5;
-  var setMetadataFor = kotlin_kotlin.$_$.t6;
+  var classMeta = kotlin_kotlin.$_$.v5;
+  var setMetadataFor = kotlin_kotlin.$_$.v6;
   var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.m;
-  var objectCreate = kotlin_kotlin.$_$.q6;
-  var captureStack = kotlin_kotlin.$_$.o5;
+  var objectCreate = kotlin_kotlin.$_$.s6;
+  var captureStack = kotlin_kotlin.$_$.q5;
   var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
-  var objectMeta = kotlin_kotlin.$_$.r6;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
-  var trimMargin = kotlin_kotlin.$_$.bb;
+  var objectMeta = kotlin_kotlin.$_$.t6;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
+  var trimMargin = kotlin_kotlin.$_$.db;
   var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
-  var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.d1;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.d1;
   var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.e;
-  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.f1;
-  var joinToString = kotlin_kotlin.$_$.f3;
+  var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.f1;
+  var joinToString = kotlin_kotlin.$_$.i3;
   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 toLong = kotlin_kotlin.$_$.x6;
   var Info_getInstance = kotlin_it_unibo_tuprolog_core.$_$.k1;
-  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_solve.$_$.l1;
-  var Companion_getInstance_4 = kotlin_it_unibo_tuprolog_solve.$_$.d2;
+  var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.l1;
+  var Companion_instance_3 = 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.$_$.n2;
+  var Companion_getInstance_0 = 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 KProperty1 = kotlin_kotlin.$_$.q7;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.c6;
+  var NotImplementedError = kotlin_kotlin.$_$.qb;
   var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
   var argument = kotlin_clikt_clikt.$_$.e;
   var subcommands = kotlin_clikt_clikt.$_$.c;
@@ -99,32 +99,31 @@
   setMetadataFor(NullInputException, 'NullInputException', classMeta, TuPrologException);
   setMetadataFor(Companion, 'Companion', objectMeta);
   setMetadataFor(TuPrologCmd, 'TuPrologCmd', classMeta, AbstractTuPrologCommand);
-  setMetadataFor(TuPrologSolveQuery, 'TuPrologSolveQuery', classMeta, AbstractTuPrologCommand);
+  setMetadataFor(TuPrologSolveQuery, 'TuPrologSolveQuery', classMeta, AbstractTuPrologCommand, VOID, TuPrologSolveQuery);
   //endregion
   function printSolution($this, sol, operatorSet) {
-    var tmp0_subject = sol;
-    if (isInterface(tmp0_subject, Yes)) {
+    if (isInterface(sol, Yes)) {
       printYesSolution($this, sol, operatorSet);
     } else {
-      if (isInterface(tmp0_subject, No)) {
+      if (isInterface(sol, No)) {
         printNoSolution($this, sol, operatorSet);
       } else {
-        if (isInterface(tmp0_subject, Halt)) {
+        if (isInterface(sol, Halt)) {
           printHaltSolution($this, sol, operatorSet);
         }
       }
     }
   }
   function printYesSolution($this, sol, operatorSet) {
-    $this.a3w(format(sol, Companion_getInstance().withOperators(operatorSet)));
+    $this.d3x(format(sol, Companion_instance.withOperators(operatorSet)));
   }
   function printHaltSolution($this, sol, operatorSet) {
-    var ex = sol.y1u();
+    var ex = sol.x1v();
     if (ex instanceof HaltException) {
-      $this.a3w('# goodbye.');
+      $this.d3x('# goodbye.');
       throw new ProgramResult(ex.exitStatus);
     } else {
-      $this.a3w(format(sol, Companion_getInstance().withOperators(operatorSet)));
+      $this.d3x(format(sol, Companion_instance.withOperators(operatorSet)));
     }
   }
   function printEndOfSolutions($this) {
@@ -133,14 +132,13 @@
     var longQuery = new StringBuilder(query);
     var lastRead = query;
     $l$loop: while (true) {
-      var tmp$ret$0;
       // Inline function 'kotlin.text.trim' call
-      var tmp0_trim = lastRead;
-      tmp$ret$0 = toString(trim(isCharSequence(tmp0_trim) ? tmp0_trim : THROW_CCE()));
+      var this_0 = lastRead;
+      var tmp$ret$0 = toString(trim(isCharSequence(this_0) ? this_0 : THROW_CCE()));
       if (!!endsWith(tmp$ret$0, _Char___init__impl__6a9atx(46))) {
         break $l$loop;
       }
-      var tmp0_elvis_lhs = $this.e3w('>', VOID, VOID, VOID, VOID, ' ');
+      var tmp0_elvis_lhs = $this.h3x('>', VOID, VOID, VOID, VOID, ' ');
       var tmp;
       if (tmp0_elvis_lhs == null) {
         throw NullInputException_init_$Create$('The standard input has been closed unexpectedly');
@@ -148,12 +146,12 @@
         tmp = tmp0_elvis_lhs;
       }
       lastRead = tmp;
-      longQuery.te(lastRead);
+      longQuery.v5(lastRead);
     }
     return longQuery.toString();
   }
   function printNoSolution($this, sol, operatorSet) {
-    $this.a3w(format(sol, Companion_getInstance().withOperators(operatorSet)));
+    $this.d3x(format(sol, Companion_instance.withOperators(operatorSet)));
   }
   function AbstractTuPrologCommand(help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden) {
     help = help === VOID ? '' : help;
@@ -168,48 +166,38 @@
     hidden = hidden === VOID ? false : hidden;
     CliktCommand.call(this, help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden);
   }
-  protoOf(AbstractTuPrologCommand).d48 = function (e) {
+  protoOf(AbstractTuPrologCommand).g49 = function (e) {
     var tmp0_safe_receiver = e.message;
     var tmp;
     if (tmp0_safe_receiver == null) {
       tmp = null;
     } else {
-      var tmp$ret$4;
       // Inline function 'kotlin.text.replaceFirstChar' call
       var tmp_0;
-      var tmp$ret$0;
       // Inline function 'kotlin.text.isNotEmpty' call
-      tmp$ret$0 = charSequenceLength(tmp0_safe_receiver) > 0;
-      if (tmp$ret$0) {
-        var tmp$ret$1;
+      if (charSequenceLength(tmp0_safe_receiver) > 0) {
         // Inline function 'it.unibo.tuprolog.ui.repl.AbstractTuPrologCommand.printParseException.<anonymous>' call
-        var tmp0__anonymous__q1qw7t = charSequenceGet(tmp0_safe_receiver, 0);
-        tmp$ret$1 = isLowerCase(tmp0__anonymous__q1qw7t) ? titlecase(tmp0__anonymous__q1qw7t) : toString_0(tmp0__anonymous__q1qw7t);
+        var it = charSequenceGet(tmp0_safe_receiver, 0);
+        var tmp$ret$1 = isLowerCase(it) ? titlecase(it) : toString_0(it);
         var tmp_1 = toString(tmp$ret$1);
-        var tmp$ret$3;
         // Inline function 'kotlin.text.substring' call
-        var tmp$ret$2;
         // Inline function 'kotlin.js.asDynamic' call
-        tmp$ret$2 = tmp0_safe_receiver;
-        tmp$ret$3 = tmp$ret$2.substring(1);
-        tmp_0 = tmp_1 + tmp$ret$3;
+        tmp_0 = tmp_1 + tmp0_safe_receiver.substring(1);
       } else {
         tmp_0 = tmp0_safe_receiver;
       }
-      tmp$ret$4 = tmp_0;
-      tmp = tmp$ret$4;
+      tmp = tmp_0;
     }
-    this.a3w('# ' + tmp, VOID, true);
+    this.d3x('# ' + tmp, VOID, true);
   };
-  protoOf(AbstractTuPrologCommand).e48 = function () {
-    var query = this.e3w('?-', VOID, VOID, VOID, VOID, ' ');
+  protoOf(AbstractTuPrologCommand).h49 = function () {
+    var query = this.h3x('?-', VOID, VOID, VOID, VOID, ' ');
     var tmp;
     if (query == null) {
       throw NullInputException_init_$Create$('The standard input has been close unexpectedly');
     } else {
-      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$ret$0 = toString(trim(isCharSequence(query) ? query : THROW_CCE()));
       if (endsWith(tmp$ret$0, _Char___init__impl__6a9atx(46))) {
         tmp = query;
       } else {
@@ -218,19 +206,17 @@
     }
     return tmp;
   };
-  protoOf(AbstractTuPrologCommand).f48 = function (solutions, operatorSet) {
+  protoOf(AbstractTuPrologCommand).i49 = function (solutions, operatorSet) {
     var first = true;
-    $l$loop: while (solutions.m()) {
+    $l$loop: while (solutions.s()) {
       if (!first) {
-        var tmp0_safe_receiver = defaultCliktConsole().t43('', false);
+        var tmp0_safe_receiver = defaultCliktConsole().w44('', false);
         var tmp;
         if (tmp0_safe_receiver == null) {
           tmp = null;
         } else {
-          var tmp$ret$0;
           // Inline function 'kotlin.text.trim' call
-          tmp$ret$0 = toString(trim((!(tmp0_safe_receiver == null) ? isCharSequence(tmp0_safe_receiver) : false) ? tmp0_safe_receiver : THROW_CCE()));
-          tmp = tmp$ret$0;
+          tmp = toString(trim(isCharSequence(tmp0_safe_receiver) ? tmp0_safe_receiver : THROW_CCE()));
         }
         var cmd = tmp;
         if (!(cmd === ';'))
@@ -238,16 +224,15 @@
       } else {
         first = false;
       }
-      printSolution(this, solutions.n(), operatorSet);
+      printSolution(this, solutions.u(), operatorSet);
     }
     printEndOfSolutions(this);
   };
-  protoOf(AbstractTuPrologCommand).g48 = function (solutions, maxSolutions, operatorSet) {
+  protoOf(AbstractTuPrologCommand).j49 = function (solutions, maxSolutions, operatorSet) {
     var i = 0;
-    while (i < maxSolutions ? solutions.m() : false) {
-      var tmp0 = i;
-      i = tmp0 + 1 | 0;
-      printSolution(this, solutions.n(), operatorSet);
+    while (i < maxSolutions ? solutions.s() : false) {
+      i = i + 1 | 0;
+      printSolution(this, solutions.u(), operatorSet);
     }
     printEndOfSolutions(this);
   };
@@ -269,70 +254,67 @@
     captureStack(this, NullInputException);
   }
   function Companion() {
-    Companion_instance = this;
-    this.h48_1 = 1000;
+    this.k49_1 = 1000;
   }
-  var Companion_instance;
-  function Companion_getInstance_6() {
-    if (Companion_instance == null)
-      new Companion();
-    return Companion_instance;
+  var Companion_instance_4;
+  function Companion_getInstance_1() {
+    return Companion_instance_4;
   }
   function _get_files__hkfg7a($this) {
-    return $this.a49_1.c44($this, files$factory_0());
+    return $this.d4a_1.f45($this, files$factory_0());
   }
   function _get_timeout__tg4wg($this) {
-    return $this.b49_1.c44($this, timeout$factory_0());
+    return $this.e4a_1.f45($this, timeout$factory_0());
   }
   function _get_oop__e6e8e9($this) {
-    return $this.c49_1.c44($this, oop$factory_0());
+    return $this.f4a_1.f45($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.n();
+    var theory = Companion_instance_0.emptyWithDefaultUnificator();
+    var tmp0_iterator = _get_files__hkfg7a($this).r();
+    while (tmp0_iterator.s()) {
+      var file = tmp0_iterator.u();
       if (isReadableFile(file)) {
         try {
           var t = loadTheoryFromFile(file);
-          $this.a3w('# Successfully loaded ' + toString(t.p()) + ' clauses from ' + file);
+          $this.d3x('# Successfully loaded ' + t.l().toString() + ' clauses from ' + file);
           theory = theory.plusTheory(t);
         } catch ($p) {
           if ($p instanceof ParseException) {
             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);
+            $this.d3x(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.a3w('');
+    $this.d3x('');
     return theory;
   }
   function readEvalPrintLoop($this, solver) {
     try {
-      var query = $this.e48();
+      var query = $this.h49();
       while (!(query == null)) {
         try {
-          var goal = parseStructWithOperators(Companion_getInstance_1(), query, solver.e1u());
-          var solutions = solver.solveWithTimeout(goal, $this.d49()).j();
-          $this.f48(solutions, solver.e1u());
+          var goal = parseStructWithOperators(Companion_getInstance(), query, solver.d1v());
+          var solutions = solver.solveWithTimeout(goal, $this.g4a()).r();
+          $this.i49(solutions, solver.d1v());
         } catch ($p) {
           if ($p instanceof ParseException) {
             var e = $p;
-            $this.d48(e);
+            $this.g49(e);
           } else {
             throw $p;
           }
         }
-        $this.a3w('');
-        query = $this.e48();
+        $this.d3x('');
+        query = $this.h49();
       }
     } catch ($p) {
       if ($p instanceof NullInputException) {
         var _ = $p;
-        $this.a3w('\n# goodbye.');
+        $this.d3x('\n# goodbye.');
         throw new ProgramResult(0);
       } else {
         throw $p;
@@ -346,76 +328,63 @@
   }
   function TuPrologCmd$getSolver$lambda(this$0) {
     return function (w) {
-      this$0.a3w('# ' + w.message, VOID, true);
+      this$0.d3x('# ' + w.message, VOID, true);
       var sep = '\n    at ';
-      var formatter = Companion_getInstance_2().prettyExpressionsPrettyVariables(w.n5().e1u());
-      var tmp = w.s1t();
+      var formatter = Companion_instance_1.prettyExpressionsPrettyVariables(w.uc().d1v());
+      var tmp = w.r1u();
       var stacktrace = joinToString(tmp, sep, VOID, VOID, VOID, VOID, TuPrologCmd$getSolver$lambda$lambda(formatter));
-      this$0.a3w('#    at ' + stacktrace, VOID, true);
-      return Unit_getInstance();
+      this$0.d3x('#    at ' + stacktrace, VOID, true);
+      return Unit_instance;
     };
   }
   function TuPrologCmd$getSolver$lambda_0($this$flag) {
-    return $this$flag.x27_1;
+    return $this$flag.z28_1;
   }
   function TuPrologCmd(additionalLibraries) {
-    Companion_getInstance_6();
     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;
-    Companion_getInstance_6();
-    var tmp_0 = int(option(this, ['-t', '--timeout'], 'Maximum amount of time for computing a solution (default: ' + 1000 + ' ms)'));
-    Companion_getInstance_6();
-    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;
+    this.c4a_1 = additionalLibraries;
+    this.d4a_1 = multiple(option(this, ['-T', '--theory'], 'Path of theory file to be loaded')).o46(this, files$factory());
+    this.e4a_1 = default_0(int(option(this, ['-t', '--timeout'], 'Maximum amount of time for computing a solution (default: 1000 ms)')), 1000).o46(this, timeout$factory());
+    this.f4a_1 = flag(option(this, ['--oop'], 'Loads the OOP library'), [], false).o46(this, oop$factory());
+  }
+  protoOf(TuPrologCmd).c3y = function () {
+    var solve = this.h4a();
+    var subcommand = this.a2b().x3v_1;
     if (subcommand == null) {
       readEvalPrintLoop(this, solve);
     }
   };
-  protoOf(TuPrologCmd).d49 = function () {
+  protoOf(TuPrologCmd).g4a = function () {
     return toLong(_get_timeout__tg4wg(this));
   };
-  protoOf(TuPrologCmd).e49 = function () {
+  protoOf(TuPrologCmd).h4a = function () {
     Info_getInstance();
-    this.a3w('# 2P-Kt version ' + '0.31.21');
+    this.d3x('# 2P-Kt version ' + '0.32.1');
     var theory = loadTheory(this);
-    var tmp = Companion_getInstance_3();
+    var tmp = Companion_instance_2;
     var outputChannel = tmp.of(TuPrologCmd$getSolver$lambda(this));
     var tmp_0;
     if (_get_oop__e6e8e9(this)) {
-      tmp_0 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.z48_1]));
+      tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.c4a_1]));
     } else {
-      tmp_0 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance()], this.z48_1]));
+      tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance()], this.c4a_1]));
     }
     var libraries = tmp_0;
-    var tmp$ret$2;
     // Inline function 'kotlin.also' call
-    var tmp_1 = Companion_getInstance_5().l1w().newBuilder().setRuntime(libraries).setStaticKb(theory);
+    var tmp_1 = Companion_getInstance_0().m1x().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();
+    var this_0 = 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.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.n();
-      var tmp$ret$1;
+    var tmp0_iterator = this_0.u1u().p2().r();
+    while (tmp0_iterator.s()) {
       // Inline function 'kotlin.collections.component2' call
-      tmp$ret$1 = tmp1_loop_parameter.b1();
-      var library = tmp$ret$1;
-      this.a3w('# Successfully loaded library `' + library.q2c() + '`');
+      var library = tmp0_iterator.u().r2();
+      this.d3x('# Successfully loaded library `' + library.s2d() + '`');
     }
-    this.a3w('');
-    tmp$ret$2 = tmp0_also;
-    return tmp$ret$2;
+    this.d3x('');
+    return this_0;
   };
   function files$factory() {
     return getPropertyCallableRef('files', 1, KProperty1, function (receiver) {
@@ -448,50 +417,49 @@
     }, null);
   }
   function _get_query__c6g9vb($this) {
-    return $this.w49_1.c44($this, query$factory_0());
+    return $this.z4a_1.f45($this, query$factory_0());
   }
   function _get_maxSolutions__ysux2t($this) {
-    return $this.x49_1.c44($this, maxSolutions$factory_0());
+    return $this.a4b_1.f45($this, maxSolutions$factory_0());
   }
   function _get_parentCommand__z09ff4($this) {
-    var tmp0_safe_receiver = $this.y29().e3u_1;
-    var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.f3u_1;
+    var tmp0_safe_receiver = $this.a2b().h3v_1;
+    var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.i3v_1;
     return tmp instanceof TuPrologCmd ? tmp : THROW_CCE();
   }
   function evalAndPrint($this, solver) {
-    var tmp$ret$0;
     // Inline function 'kotlin.text.isNotEmpty' call
-    var tmp0_isNotEmpty = _get_query__c6g9vb($this);
-    tmp$ret$0 = charSequenceLength(tmp0_isNotEmpty) > 0;
-    if (tmp$ret$0) {
+    var this_0 = _get_query__c6g9vb($this);
+    if (charSequenceLength(this_0) > 0) {
       try {
-        var duration = _get_parentCommand__z09ff4($this).d49();
-        var solutions = solver.solveWithTimeout(parseStruct(Companion_getInstance_1(), _get_query__c6g9vb($this)), duration).j();
+        var duration = _get_parentCommand__z09ff4($this).g4a();
+        var solutions = solver.solveWithTimeout(parseStruct(Companion_getInstance(), _get_query__c6g9vb($this)), duration).r();
         if (_get_maxSolutions__ysux2t($this) === 0) {
-          $this.f48(solutions, solver.e1u());
+          $this.i49(solutions, solver.d1v());
         } else {
-          $this.g48(solutions, _get_maxSolutions__ysux2t($this), solver.e1u());
+          $this.j49(solutions, _get_maxSolutions__ysux2t($this), solver.d1v());
         }
       } catch ($p) {
         if ($p instanceof ParseException) {
           var e = $p;
-          $this.d48(e);
+          $this.g49(e);
         } else {
           throw $p;
         }
       }
     } else {
       // Inline function 'kotlin.TODO' call
-      throw new NotImplementedError('An operation is not implemented: throw adequate exception');
+      var reason = 'throw adequate exception';
+      throw new NotImplementedError('An operation is not implemented: ' + reason);
     }
   }
   function TuPrologSolveQuery() {
     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());
+    this.z4a_1 = argument(this).g45(this, query$factory());
+    this.a4b_1 = default_0(int(option(this, ['-n', '--numberOfSolutions'], 'Number of solution to calculate')), 0).o46(this, maxSolutions$factory());
   }
-  protoOf(TuPrologSolveQuery).z3w = function () {
-    var solver = _get_parentCommand__z09ff4(this).e49();
+  protoOf(TuPrologSolveQuery).c3y = function () {
+    var solver = _get_parentCommand__z09ff4(this).h4a();
     evalAndPrint(this, solver);
   };
   function query$factory() {
@@ -516,15 +484,20 @@
   }
   function isReadableFile(path) {
     // Inline function 'kotlin.TODO' call
-    throw new NotImplementedError('An operation is not implemented: Not yet implemented');
+    var reason = 'Not yet implemented';
+    throw new NotImplementedError('An operation is not implemented: ' + reason);
   }
   function loadTheoryFromFile(path) {
     // Inline function 'kotlin.TODO' call
-    throw new NotImplementedError('An operation is not implemented: Not yet implemented');
+    var reason = 'Not yet implemented';
+    throw new NotImplementedError('An operation is not implemented: ' + reason);
   }
   function main(args) {
-    subcommands(new TuPrologCmd([]), [new TuPrologSolveQuery()]).y3w(args);
+    subcommands(new TuPrologCmd([]), [new TuPrologSolveQuery()]).b3y(args);
   }
+  //region block: init
+  Companion_instance_4 = new Companion();
+  //endregion
   //region block: exports
   _.$_$ = _.$_$ || {};
   _.$_$.a = main;