@tuprolog/2p-full 0.30.5-dev01 → 0.31.1

package/2p-repl.js

@@ -0,0 +1,519 @@
+(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) {
+  'use strict';
+  //region block: imports
+  var emptyMap = kotlin_kotlin.$_$.t3;
+  var Halt = kotlin_it_unibo_tuprolog_solve.$_$.r4;
+  var isInterface = kotlin_kotlin.$_$.y6;
+  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 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 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 TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.m;
+  var captureStack = kotlin_kotlin.$_$.h6;
+  var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
+  var objectMeta = kotlin_kotlin.$_$.i7;
+  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 Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.d1;
+  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 toLong = kotlin_kotlin.$_$.l7;
+  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 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 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;
+  //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, []);
+  //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)) {
+      printYesSolution($this, sol, operatorSet);
+    } else {
+      if (isInterface(tmp0_subject, No)) {
+        printNoSolution($this, sol, operatorSet);
+      } else {
+        if (isInterface(tmp0_subject, Halt)) {
+          printHaltSolution($this, sol, operatorSet);
+        }
+      }
+    }
+  }
+  function printYesSolution($this, sol, operatorSet) {
+    var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
+    $this.f3y(tmp, false, false, null, 14, null);
+  }
+  function printHaltSolution($this, sol, operatorSet) {
+    var ex = sol.c1w();
+    if (ex instanceof HaltException) {
+      $this.f3y('goodbye.', false, false, null, 14, null);
+      throw new ProgramResult(ex.exitStatus);
+    } else {
+      var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
+      $this.f3y(tmp, false, false, null, 14, null);
+    }
+  }
+  function printEndOfSolutions($this) {
+  }
+  function readQueryMultiline($this, query) {
+    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 tmp = tmp$ret$0;
+      var tmp_0 = _Char___init__impl__6a9atx(46);
+      if (!!endsWith$default(tmp, tmp_0, false, 2, null)) {
+        break $l$loop;
+      }
+      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');
+      } else {
+        tmp_1 = tmp0_elvis_lhs;
+      }
+      lastRead = tmp_1;
+      longQuery.re(lastRead);
+    }
+    return longQuery.toString();
+  }
+  function printNoSolution($this, sol, operatorSet) {
+    var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
+    $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.i4a = 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;
+        // 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 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;
+      } else {
+        tmp_0 = tmp0_safe_receiver;
+      }
+      tmp$ret$4 = tmp_0;
+      tmp = tmp$ret$4;
+    }
+    var tmp_2 = '# ' + tmp;
+    this.f3y(tmp_2, false, true, null, 10, 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');
+    } 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_0 = tmp$ret$0;
+      var tmp_1 = _Char___init__impl__6a9atx(46);
+      if (endsWith$default(tmp_0, tmp_1, false, 2, null)) {
+        tmp = query;
+      } else {
+        tmp = readQueryMultiline(this, query);
+      }
+    }
+    return tmp;
+  };
+  AbstractTuPrologCommand.prototype.k4a = function (solutions, operatorSet) {
+    var first = true;
+    $l$loop: while (solutions.m()) {
+      if (!first) {
+        var tmp0_safe_receiver = defaultCliktConsole().y45('', 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;
+        }
+        var cmd = tmp;
+        if (!(cmd === ';'))
+          break $l$loop;
+      } else {
+        first = false;
+      }
+      printSolution(this, solutions.p(), operatorSet);
+    }
+    printEndOfSolutions(this);
+  };
+  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);
+    }
+    printEndOfSolutions(this);
+  };
+  function NullInputException_init_$Init$(message, cause, $this) {
+    TuPrologException_init_$Init$(message, cause, $this);
+    NullInputException.call($this);
+    return $this;
+  }
+  function NullInputException_init_$Init$_0(message, $this) {
+    NullInputException_init_$Init$(message, null, $this);
+    return $this;
+  }
+  function NullInputException_init_$Create$(message) {
+    var tmp = NullInputException_init_$Init$_0(message, Object.create(NullInputException.prototype));
+    captureStack(tmp, NullInputException_init_$Create$);
+    return tmp;
+  }
+  function NullInputException() {
+    captureStack(this, NullInputException);
+  }
+  function Companion() {
+    Companion_instance = this;
+    this.m4a_1 = 1000;
+  }
+  var Companion_instance;
+  function Companion_getInstance_6() {
+    if (Companion_instance == null)
+      new Companion();
+    return Companion_instance;
+  }
+  function _get_files__hkfg7a($this) {
+    return $this.f4b_1.h46($this, files$factory_0());
+  }
+  function _get_timeout__tg4wg($this) {
+    return $this.g4b_1.h46($this, timeout$factory_0());
+  }
+  function _get_oop__e6e8e9($this) {
+    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();
+      if (isReadableFile(file)) {
+        try {
+          var t = loadTheoryFromFile(file);
+          var tmp = '# Successfully loaded ' + toString(t.o()) + ' 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.f3y(tmp_1, false, true, null, 10, null);
+          } else {
+            throw $p;
+          }
+        }
+      }
+    }
+    $this.f3y('', false, false, null, 14, null);
+    return theory;
+  }
+  function readEvalPrintLoop($this, solver) {
+    var query = $this.j4a();
+    while (!(query == null)) {
+      try {
+        var goal = parseStructWithOperators(Companion_getInstance_1(), query, solver.h1v());
+        var solutions = solver.solveWithTimeout(goal, $this.i4b()).j();
+        $this.k4a(solutions, solver.h1v());
+      } catch ($p) {
+        if ($p instanceof ParseException) {
+          $this.i4a($p);
+        } else {
+          throw $p;
+        }
+      }
+      $this.f3y('', false, false, null, 14, null);
+      query = $this.j4a();
+    }
+  }
+  function TuPrologCmd$getSolver$lambda$lambda($formatter) {
+    return function (it) {
+      return format(it, $formatter);
+    };
+  }
+  function TuPrologCmd$getSolver$lambda(this$0) {
+    return function (w) {
+      var tmp = '# ' + w.message;
+      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 stacktrace = joinToString$default(tmp_0, sep, null, null, 0, null, TuPrologCmd$getSolver$lambda$lambda(formatter), 30, null);
+      var tmp_1 = '#    at ' + stacktrace;
+      this$0.f3y(tmp_1, false, true, null, 10, null);
+      return Unit_getInstance();
+    };
+  }
+  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.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.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.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.h4b_1 = flag$default(tmp_5, [], false, null, 5, null).q47(this, oop$factory());
+  }
+  TuPrologCmd.prototype.e3z = function () {
+    var solve = this.j4b();
+    var subcommand = this.n2b().z3w_1;
+    if (subcommand == null) {
+      readEvalPrintLoop(this, solve);
+    }
+  };
+  TuPrologCmd.prototype.i4b = function () {
+    return toLong(_get_timeout__tg4wg(this));
+  };
+  TuPrologCmd.prototype.j4b = function () {
+    Info_getInstance();
+    var tmp = '# 2P-Kt version ' + '0.31.1';
+    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.e4b_1]));
+    } else {
+      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();
+    var tmp0_also = tmp_2.y1y(null, libraries, null, theory, null, null, null, null, outputChannel, 245, null);
+    // 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();
+    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 tmp$ret$1;
+      // Inline function 'kotlin.collections.component2' call
+      tmp$ret$1 = tmp1_loop_parameter.b1();
+      var library = tmp$ret$1;
+      var tmp_3 = '# Successfully loaded library `' + library.i2e() + '`';
+      this.f3y(tmp_3, false, false, null, 14, null);
+    }
+    this.f3y('', false, false, null, 14, null);
+    tmp$ret$2 = tmp0_also;
+    return tmp$ret$2;
+  };
+  function files$factory() {
+    return getPropertyCallableRef('files', 1, KProperty1, function (receiver) {
+      return _get_files__hkfg7a(receiver);
+    }, null);
+  }
+  function timeout$factory() {
+    return getPropertyCallableRef('timeout', 1, KProperty1, function (receiver) {
+      return _get_timeout__tg4wg(receiver);
+    }, null);
+  }
+  function oop$factory() {
+    return getPropertyCallableRef('oop', 1, KProperty1, function (receiver) {
+      return _get_oop__e6e8e9(receiver);
+    }, null);
+  }
+  function files$factory_0() {
+    return getPropertyCallableRef('files', 1, KProperty1, function (receiver) {
+      return _get_files__hkfg7a(receiver);
+    }, null);
+  }
+  function timeout$factory_0() {
+    return getPropertyCallableRef('timeout', 1, KProperty1, function (receiver) {
+      return _get_timeout__tg4wg(receiver);
+    }, null);
+  }
+  function oop$factory_0() {
+    return getPropertyCallableRef('oop', 1, KProperty1, function (receiver) {
+      return _get_oop__e6e8e9(receiver);
+    }, null);
+  }
+  function _get_query__c6g9vb($this) {
+    return $this.b4c_1.h46($this, query$factory_0());
+  }
+  function _get_maxSolutions__ysux2t($this) {
+    return $this.c4c_1.h46($this, maxSolutions$factory_0());
+  }
+  function _get_parentCommand__z09ff4($this) {
+    var tmp0_safe_receiver = $this.n2b().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) {
+    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) {
+      try {
+        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.k4a(solutions, solver.h1v());
+        } else {
+          $this.l4a(solutions, _get_maxSolutions__ysux2t($this), solver.h1v());
+        }
+      } catch ($p) {
+        if ($p instanceof ParseException) {
+          $this.i4a($p);
+        } else {
+          throw $p;
+        }
+      }
+    } else {
+      // Inline function 'kotlin.TODO' call
+      throw new NotImplementedError('An operation is not implemented: throw adequate exception');
+    }
+  }
+  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.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.c4c_1 = default$default(tmp_1, 0, null, 2, null).q47(this, maxSolutions$factory());
+  }
+  TuPrologSolveQuery.prototype.e3z = function () {
+    var solver = _get_parentCommand__z09ff4(this).j4b();
+    evalAndPrint(this, solver);
+  };
+  function query$factory() {
+    return getPropertyCallableRef('query', 1, KProperty1, function (receiver) {
+      return _get_query__c6g9vb(receiver);
+    }, null);
+  }
+  function maxSolutions$factory() {
+    return getPropertyCallableRef('maxSolutions', 1, KProperty1, function (receiver) {
+      return _get_maxSolutions__ysux2t(receiver);
+    }, null);
+  }
+  function query$factory_0() {
+    return getPropertyCallableRef('query', 1, KProperty1, function (receiver) {
+      return _get_query__c6g9vb(receiver);
+    }, null);
+  }
+  function maxSolutions$factory_0() {
+    return getPropertyCallableRef('maxSolutions', 1, KProperty1, function (receiver) {
+      return _get_maxSolutions__ysux2t(receiver);
+    }, null);
+  }
+  function isReadableFile(path) {
+    // Inline function 'kotlin.TODO' call
+    throw new NotImplementedError('An operation is not implemented: Not yet implemented');
+  }
+  function loadTheoryFromFile(path) {
+    // Inline function 'kotlin.TODO' call
+    throw new NotImplementedError('An operation is not implemented: Not yet implemented');
+  }
+  function main(args) {
+    subcommands(new TuPrologCmd([]), [new TuPrologSolveQuery()]).d3z(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

package/2p-repl.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","commonMainSources/libraries/stdlib/src/kotlin/text/Strings.kt","jsMainSources/libraries/stdlib/js/src/kotlin/dynamic.kt","jsMainSources/libraries/stdlib/js/src/kotlin/text/string.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","commonMainSources/libraries/stdlib/src/kotlin/util/Standard.kt","commonMainSources/libraries/stdlib/src/kotlin/collections/Maps.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null],"names":[],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;QAYS,qB;MAAA,OACU,E;QADV,qB;MAAA,SAEY,E;QAFZ,qB;MAAA,OAGW,I;QAHX,qB;MAAA,0BAI8B,K;QAJ9B,sB;MAAA,uBAK2B,K;QAL3B,sB;MAAA,WAM2B,U;QAN3B,sB;MAAA,qBAOyB,E;QAPzB,uB;MAAA,2BAQ+B,K;QAR/B,uB;MAAA,4BASgC,K;QAThC,uB;MAAA,SAUa,K;IAVb,iM;;;;IAwBK,sB;oBACF,Y;MACI,wBAAiB,GAAjB,EAAsB,WAAtB,C;;sBAEJ,Y;QACI,uBAAgB,GAAhB,EAAqB,WAArB,C;;wBAEJ,Y;UACI,yBAAkB,GAAlB,EAAuB,WAAvB,C;;;;;;cAMC,OAAJ,GAAI,EAAyB,sCAAc,WAAd,CAAzB,C;IAAT,4C;;;IAIM,SAAS,GAAI,M;QACf,E;MACI,UAAM,UAAN,+B;MACA,MAAM,kBAAc,EAAG,WAAjB,C;;gBAEO,OAAJ,GAAI,EAAyB,sCAAc,WAAd,CAAzB,C;MAAT,4C;;;;;;IA4BZ,gBAAgB,kBAAc,KAAd,C;IAChB,eAAe,K;;;;MCjBqB,wB;MA8GsC,YAAV,SAAP,oBAAtB,SAAsB,IAAtB,SAAsB,eAAO,C;gBD5F/C,S;;WAAV,CAAiB,4C;;;MACT,+BAAQ,GAAR,4BAA4B,GAA5B,kB;;UAAA,sB;QACJ,MAAM,iCAAoB,iDAApB,C;;gBADF,c;;MAAX,gB;MAEA,SAAU,IAAO,QAAP,C;;IAEd,OAAO,SAAU,W;;;cAKR,OAAJ,GAAI,EAAyB,sCAAc,WAAd,CAAzB,C;IAAT,4C;;;IA5EJ,wBACA,IADA,EAEA,MAFA,EAGA,IAHA,EAIA,uBAJA,EAKA,oBALA,EAMA,QANA,EAOA,kBAPA,EAQA,wBARA,EASA,yBATA,EAUA,MAVA,C;;;IAyCgB,yBAAF,CAAE,Q;;QAAA,kBAAS,Q;YAAA,I;;;;;;;MC+OoC,YAAV,mBAvP3C,kBAuP2C,IAAS,C;UAsfjD,S;;;QDxqB053B,8CA7Dr53B,kBA6Dq53B,EAAK,CAAL,C;QA7Dz33B,YAAO,YAAH,uBAAG,CAAP,GAAyB,UAAH,uBAAG,CAAzB,GAA6C,WAAH,uBAAG,C;oBCquB7C,SAAnB,SAAmB,C;;;;;QC1xBE,YAoC2kB,kB;QC2MvhB,YAAjC,SAAY,WAwFq4lB,CAxFr4lB,C;gBF2iBpD,QAAgC,S;;gBA7uBjD,kB;;MA6uBR,iB;YDruByB,S;;gBAAf,I;IAAN,uBAA2G,IAA3G,iB;;;IAQA,YAAqB,SAAQ,IAAR,4BAA6B,GAA7B,kB;;QAEjB,SAAS,I;MACL,MAAM,iCAAoB,gDAApB,C;;;;MC0G4D,YAAV,SAAP,QApHM,KAoHN,2BApHM,KAoHN,aAAtB,KAAsB,eAAO,C;kBDxGtD,S;;UAAO,8C;cACT,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;;;IA8BA,YAAY,I;oBACL,SAAU,I;UACT,CAAC,K;QAC+B,yBAAtB,qBAAsB,KAAc,EAAd,EAAkB,KAAlB,C;;YAAA,kBAA0B,Q;gBAAA,I;;;;UC2EQ,YAAV,SAAP,QAvFrD,kBAuFqD,2BAvFrD,kBAuFqD,aAAtB,kBAAsB,eAAO,C;gBD3EE,S;;QAA1D,a;YACI,UAAQ,GAAR,C;UAAY,a;;QAEhB,QAAQ,K;;MAEZ,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;;IAEJ,yB;;;IAIA,QAAQ,C;WACD,IAAI,Y,GAAgB,SAAU,I,GAAA,K;MACjC,Y;MAAA,gB;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;;IAEJ,yB;;;IIrH+C,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;;;IAEgC,+BAAK,OAAL,EAAc,IAAd,Q;;;;;;;;;;;;;ICwBK,iB;;;;;;;;;IAKF,OAAH,WAAG,KApC/B,KAoC+B,EAAH,iBAAG,C;;;IAGZ,OAAH,WAAG,KAvCnB,KAuCmB,EAAH,mBAAG,C;;;IAMJ,OAAH,WAAG,KA7Cf,KA6Ce,EAAH,eAAG,C;;;IAgBf,aAA4B,sD;IACf,oBAAK,mBAAL,KAAK,CAAL,I;WAAA,iB;MAAR,WAAQ,iB;UACL,eAAe,IAAf,C;;UAEI,QAAQ,mBAAmB,IAAnB,C;oBACF,wB,YAAwB,CAAE,I,IAAK,gB,GAAe,I;UAApD,4C;UACA,2BAAU,CAAV,C;;;wBAGO,gE,GACkC,I,GAAI,4C,GACrB,U,GAAQ,4C,GACR,O,GAAK,4C,GACL,S,GAAO,4C,GACP,c,GAAY,4B;wBAC5B,wC;YAPR,wBAQU,IARV,iB;;;;;;;IAaZ,UAAK,EAAL,+B;IACA,OAAO,M;;;IAIP,YAAqB,W;WACd,WAAS,IAAT,C;;QAEC,WAAkB,oDAAM,KAAN,EAAa,MAAO,MAApB,C;QAClB,gBAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,MAAjB,CAA+B,I;QACtD,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;;;UAEA,a;;;;;MAEJ,UAAK,EAAL,+B;MACA,QAAQ,W;;;;;MAekD,cAAH,EAAG,EAAO,UAAP,C;;;;;gBAHpD,I,GAAI,CAAE,Q;MAAZ,uBAA6B,IAA7B,iB;MACA,UAAW,W;MACX,gBAAwC,2DAAkB,CAAE,KAAQ,MAA5B,C;kBACvB,CAAE,M;MAAnB,iBAAmC,4BAAa,GAAb,uBAAkB,8CAAlB,W;kBAC7B,U,GAAS,U;MAAf,yBAAkC,IAAlC,iB;;;;;IA1FZ,yB;IAAyD,oCAI7C,qCAJ6C,QAG7C,uBAH6C,EAC3B,IAD2B,qBAE1B,IAF0B,gC;IAWC,gC;cAEtB,I;gBAAG,qBAAQ,OAAM,UAAN,CAAR,EAAiC,kCAAjC,iD;IAAH,YAC3B,6CAD2B,KApC5B,IAoC4B,kB;gBAGZ,I;;gBAGR,4D,GAXyB,I,GAWiD,M;gBACpF,IAJqB,qBAClB,OACA,WADA,CADkB,wDAIrB,C;;IAJkB,cAIZ,uBAZ6B,IAY7B,gBAJY,KAvChB,IAuCgB,oB;gBAMJ,I;gBAAG,qBACd,SADc,EAEP,uBAFO,iD;IAAH,cAGd,wBAAe,KAAf,gBAHc,KA7CZ,IA6CY,gB;;;IAMZ,YAAoB,U;IACpB,iBAAiB,IAAK,MAAe,M;QAEjC,cAAc,I;MACd,wBAAkB,KAAlB,C;;;;IA+CJ,OAAe,OAAR,yBAAQ,C;;;;cAIT,kB,GAxGgB,Q;IAwGtB,2C;IACA,aAA0B,WAAL,IAAK,C;;IAC1B,oBAAkC,SAAY,kCAAZ,C;;QAOd,sB;cACR,6BAAG,0DAAgB,UAAhB,EAAH,C;;cAEA,6BAAG,oCAAQ,UAAR,EAAH,C;;IAHZ,qB;;;gBCgB0E,+B;IAAO,gCAE9E,SAF8E,QAAkD,MAAlD,0BAGxE,aAHwE,Y;;;;;ICR2B,oBApC3E,SAoC2E,M;IA6PV,YAAlB,iBAAQ,I;IF3P/D,+B;WAAA,mB;MAAA,6C;;;MEyLwC,YA3LwC,mBA2L7C,K;MFzL/C,uB;kBACC,iC,GAAiC,OAAQ,M,GAAM,G;MAArD,6C;;IAEJ,SAAK,EAAL,+B;IC9BR,YAAO,S;IDsBH,OAIE,S;;;kCAxF0B,O,KAAA,U;;OAAA,I;;;kCAGZ,S,KAAA,U;;OAAA,I;;;kCAMJ,K,KAAA,U;;OAAA,I;;;kCATgB,O,KAAA,U;;OAAA,I;;;kCAGZ,S,KAAA,U;;OAAA,I;;;kCAMJ,K,KAAA,U;;OAAA,I;;;IG5Ba,OAAH,WAAG,KAjBzB,KAiByB,EAAH,iBAAG,C;;;IACI,OAAH,WAAG,KAlB7B,KAkB6B,EAAH,wBAAG,C;;;IAIN,yBAAf,WAAe,M;cAAA,kBAAQ,Q,GAAA,I,GAAR,kBAAQ,M;IAAsB,oCAA7C,GAA6C,c;;;;;IPQzB,+C;IAiR6B,YAAV,sCAAS,C;QOjR9C,S;;QAEF,eAA6B,iCAAc,M;QAC3C,gBAAgB,MAAO,kBAAa,uCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,I;YACxD,qCAAgB,C;UAChB,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;;UAEA,UAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,MAAlD,C;;;;UAGJ,a;;;;;;;MFXkC,MAAM,wBAAqB,2DAArB,C;;;;IEjB7B,oCACf,+CADe,QAEf,OAFe,kE;cAKG,I;IAAA,YAAG,wDAAH,KAjBtB,IAiBsB,kB;gBACI,I;gBAAiF,IAA9E,qBAAQ,OAAM,qBAAN,CAAR,EAA4C,iCAA5C,iDAA8E,C;IAAjF,cACzB,uBAAQ,CAAR,gBADyB,KAlB1B,IAkB0B,yB;;;IAO1B,aAAa,gCAAc,M;IAC3B,mBAAa,MAAb,C;;;kCATsB,O,KAAA,U;;OAAA,I;;;kCACI,c,KAAA,U;;OAAA,I;;;kCADJ,O,KAAA,U;;OAAA,I;;;kCACI,c,KAAA,U;;OAAA,I;;;;IFWgB,MAAM,wBA3BT,sDA2BS,C;;;;IAAN,MAAM,wBAxBzC,sDAwByC,C;;;IGxBtC,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,KAAK,IAAL,C;;;;;;;;"}

package/2p-serialize-core.js

@@ -0,0 +1,8 @@
+(function (_) {
+  'use strict';
+  //region block: pre-declaration
+  //endregion
+  return _;
+}(module.exports));
+
+//# sourceMappingURL=2p-serialize-core.js.map

package/2p-serialize-core.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;"}

package/2p-serialize-theory.js

@@ -0,0 +1,8 @@
+(function (_) {
+  'use strict';
+  //region block: pre-declaration
+  //endregion
+  return _;
+}(module.exports));
+
+//# sourceMappingURL=2p-serialize-theory.js.map

package/2p-serialize-theory.js.map

@@ -0,0 +1 @@
+{"version":3,"sources":[],"sourcesContent":[],"names":[],"mappings":";;;;;;"}