@tuprolog/2p-full 1.0.3 → 1.1.0

package/2p-repl.js

@@ -1,506 +1,13 @@
-(function (root, factory) {
+(function (factory) {
   if (typeof define === 'function' && define.amd)
-    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);
+    define(['exports'], factory);
   else if (typeof exports === 'object')
-    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['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['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_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) {
+    factory(module.exports);
+  else
+    globalThis['2p-repl'] = factory(typeof globalThis['2p-repl'] === 'undefined' ? {} : globalThis['2p-repl']);
+}(function (_) {
   'use strict';
-  //region block: imports
-  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.$_$.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.$_$.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.$_$.v5;
-  var setMetadataFor = kotlin_kotlin.$_$.v6;
-  var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.m;
-  var objectCreate = kotlin_kotlin.$_$.s6;
-  var captureStack = kotlin_kotlin.$_$.q5;
-  var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
-  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 = kotlin_it_unibo_tuprolog_core.$_$.d1;
-  var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.e;
-  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.$_$.x6;
-  var Info_getInstance = kotlin_it_unibo_tuprolog_core.$_$.k1;
-  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_0 = kotlin_it_unibo_tuprolog_solve.$_$.n2;
-  var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.a2;
-  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;
-  //endregion
   //region block: pre-declaration
-  setMetadataFor(AbstractTuPrologCommand, 'AbstractTuPrologCommand', classMeta, CliktCommand);
-  setMetadataFor(NullInputException, 'NullInputException', classMeta, TuPrologException);
-  setMetadataFor(Companion, 'Companion', objectMeta);
-  setMetadataFor(TuPrologCmd, 'TuPrologCmd', classMeta, AbstractTuPrologCommand);
-  setMetadataFor(TuPrologSolveQuery, 'TuPrologSolveQuery', classMeta, AbstractTuPrologCommand, VOID, TuPrologSolveQuery);
-  //endregion
-  function printSolution($this, sol, operatorSet) {
-    if (isInterface(sol, Yes)) {
-      printYesSolution($this, sol, operatorSet);
-    } else {
-      if (isInterface(sol, No)) {
-        printNoSolution($this, sol, operatorSet);
-      } else {
-        if (isInterface(sol, Halt)) {
-          printHaltSolution($this, sol, operatorSet);
-        }
-      }
-    }
-  }
-  function printYesSolution($this, sol, operatorSet) {
-    $this.u3x(format(sol, Companion_instance.withOperators(operatorSet)));
-  }
-  function printHaltSolution($this, sol, operatorSet) {
-    var ex = sol.f1w();
-    if (ex instanceof HaltException) {
-      $this.u3x('# goodbye.');
-      throw new ProgramResult(ex.exitStatus);
-    } else {
-      $this.u3x(format(sol, Companion_instance.withOperators(operatorSet)));
-    }
-  }
-  function printEndOfSolutions($this) {
-  }
-  function readQueryMultiline($this, query) {
-    var longQuery = new StringBuilder(query);
-    var lastRead = query;
-    $l$loop: while (true) {
-      // Inline function 'kotlin.text.trim' call
-      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.y3x('>', VOID, VOID, VOID, VOID, ' ');
-      var tmp;
-      if (tmp0_elvis_lhs == null) {
-        throw NullInputException_init_$Create$('The standard input has been closed unexpectedly');
-      } else {
-        tmp = tmp0_elvis_lhs;
-      }
-      lastRead = tmp;
-      longQuery.v5(lastRead);
-    }
-    return longQuery.toString();
-  }
-  function printNoSolution($this, sol, operatorSet) {
-    $this.u3x(format(sol, Companion_instance.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);
-  }
-  protoOf(AbstractTuPrologCommand).x49 = function (e) {
-    var tmp0_safe_receiver = e.message;
-    var tmp;
-    if (tmp0_safe_receiver == null) {
-      tmp = null;
-    } else {
-      // Inline function 'kotlin.text.replaceFirstChar' call
-      var tmp_0;
-      // Inline function 'kotlin.text.isNotEmpty' call
-      if (charSequenceLength(tmp0_safe_receiver) > 0) {
-        // Inline function 'it.unibo.tuprolog.ui.repl.AbstractTuPrologCommand.printParseException.<anonymous>' call
-        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);
-        // Inline function 'kotlin.text.substring' call
-        // Inline function 'kotlin.js.asDynamic' call
-        tmp_0 = tmp_1 + tmp0_safe_receiver.substring(1);
-      } else {
-        tmp_0 = tmp0_safe_receiver;
-      }
-      tmp = tmp_0;
-    }
-    this.u3x('# ' + tmp, VOID, true);
-  };
-  protoOf(AbstractTuPrologCommand).y49 = function () {
-    var query = this.y3x('?-', VOID, VOID, VOID, VOID, ' ');
-    var tmp;
-    if (query == null) {
-      throw NullInputException_init_$Create$('The standard input has been close unexpectedly');
-    } else {
-      // Inline function 'kotlin.text.trim' call
-      var tmp$ret$0 = toString(trim(isCharSequence(query) ? query : THROW_CCE()));
-      if (endsWith(tmp$ret$0, _Char___init__impl__6a9atx(46))) {
-        tmp = query;
-      } else {
-        tmp = readQueryMultiline(this, query);
-      }
-    }
-    return tmp;
-  };
-  protoOf(AbstractTuPrologCommand).z49 = function (solutions, operatorSet) {
-    var first = true;
-    $l$loop: while (solutions.s()) {
-      if (!first) {
-        var tmp0_safe_receiver = defaultCliktConsole().n45('', false);
-        var tmp;
-        if (tmp0_safe_receiver == null) {
-          tmp = null;
-        } else {
-          // Inline function 'kotlin.text.trim' call
-          tmp = toString(trim(isCharSequence(tmp0_safe_receiver) ? tmp0_safe_receiver : THROW_CCE()));
-        }
-        var cmd = tmp;
-        if (!(cmd === ';'))
-          break $l$loop;
-      } else {
-        first = false;
-      }
-      printSolution(this, solutions.u(), operatorSet);
-    }
-    printEndOfSolutions(this);
-  };
-  protoOf(AbstractTuPrologCommand).a4a = function (solutions, maxSolutions, operatorSet) {
-    var i = 0;
-    while (i < maxSolutions ? solutions.s() : false) {
-      i = i + 1 | 0;
-      printSolution(this, solutions.u(), 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, objectCreate(protoOf(NullInputException)));
-    captureStack(tmp, NullInputException_init_$Create$);
-    return tmp;
-  }
-  function NullInputException() {
-    captureStack(this, NullInputException);
-  }
-  function Companion() {
-    this.b4a_1 = 1000;
-  }
-  var Companion_instance_4;
-  function Companion_getInstance_1() {
-    return Companion_instance_4;
-  }
-  function _get_files__hkfg7a($this) {
-    return $this.u4a_1.w45($this, files$factory_0());
-  }
-  function _get_timeout__tg4wg($this) {
-    return $this.v4a_1.w45($this, timeout$factory_0());
-  }
-  function _get_oop__e6e8e9($this) {
-    return $this.w4a_1.w45($this, oop$factory_0());
-  }
-  function loadTheory($this) {
-    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.u3x('# Successfully loaded ' + t.l().toString() + ' clauses from ' + file);
-          theory = theory.plusTheory(t);
-        } catch ($p) {
-          if ($p instanceof ParseException) {
-            var e = $p;
-            $this.u3x(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.u3x('');
-    return theory;
-  }
-  function readEvalPrintLoop($this, solver) {
-    try {
-      var query = $this.y49();
-      while (!(query == null)) {
-        try {
-          var goal = parseStructWithOperators(Companion_getInstance(), query, solver.l1v());
-          var solutions = solver.solveWithTimeout(goal, $this.x4a()).r();
-          $this.z49(solutions, solver.l1v());
-        } catch ($p) {
-          if ($p instanceof ParseException) {
-            var e = $p;
-            $this.x49(e);
-          } else {
-            throw $p;
-          }
-        }
-        $this.u3x('');
-        query = $this.y49();
-      }
-    } catch ($p) {
-      if ($p instanceof NullInputException) {
-        var _ = $p;
-        $this.u3x('\n# goodbye.');
-        throw new ProgramResult(0);
-      } else {
-        throw $p;
-      }
-    }
-  }
-  function TuPrologCmd$getSolver$lambda$lambda($formatter) {
-    return function (it) {
-      return format(it, $formatter);
-    };
-  }
-  function TuPrologCmd$getSolver$lambda(this$0) {
-    return function (w) {
-      this$0.u3x('# ' + w.message, VOID, true);
-      var sep = '\n    at ';
-      var formatter = Companion_instance_1.prettyExpressionsPrettyVariables(w.uc().l1v());
-      var tmp = w.z1u();
-      var stacktrace = joinToString(tmp, sep, VOID, VOID, VOID, VOID, TuPrologCmd$getSolver$lambda$lambda(formatter));
-      this$0.u3x('#    at ' + stacktrace, VOID, true);
-      return Unit_instance;
-    };
-  }
-  function TuPrologCmd$getSolver$lambda_0($this$flag) {
-    return $this$flag.h29_1;
-  }
-  function TuPrologCmd(additionalLibraries) {
-    AbstractTuPrologCommand.call(this, 'Start a Prolog Read-Eval-Print loop', VOID, 'java -jar 2p-repl.jar', true, VOID, VOID, VOID, true);
-    this.t4a_1 = additionalLibraries;
-    this.u4a_1 = multiple(option(this, ['-T', '--theory'], 'Path of theory file to be loaded')).f47(this, files$factory());
-    this.v4a_1 = default_0(int(option(this, ['-t', '--timeout'], 'Maximum amount of time for computing a solution (default: 1000 ms)')), 1000).f47(this, timeout$factory());
-    this.w4a_1 = flag(option(this, ['--oop'], 'Loads the OOP library'), [], false).f47(this, oop$factory());
-  }
-  protoOf(TuPrologCmd).t3y = function () {
-    var solve = this.y4a();
-    var subcommand = this.i2b().o3w_1;
-    if (subcommand == null) {
-      readEvalPrintLoop(this, solve);
-    }
-  };
-  protoOf(TuPrologCmd).x4a = function () {
-    return toLong(_get_timeout__tg4wg(this));
-  };
-  protoOf(TuPrologCmd).y4a = function () {
-    Info_getInstance();
-    this.u3x('# 2P-Kt version ' + '1.0.3');
-    var theory = loadTheory(this);
-    var tmp = Companion_instance_2;
-    var outputChannel = tmp.of(TuPrologCmd$getSolver$lambda(this));
-    var tmp_0;
-    if (_get_oop__e6e8e9(this)) {
-      tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.t4a_1]));
-    } else {
-      tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance()], this.t4a_1]));
-    }
-    var libraries = tmp_0;
-    // Inline function 'kotlin.also' call
-    var tmp_1 = Companion_getInstance_0().u1x().newBuilder().setRuntime(libraries).setStaticKb(theory);
-    var tmp_2 = TrackVariables_getInstance();
-    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
-    // Inline function 'kotlin.collections.iterator' call
-    var tmp0_iterator = this_0.c1v().p2().r();
-    while (tmp0_iterator.s()) {
-      // Inline function 'kotlin.collections.component2' call
-      var library = tmp0_iterator.u().r2();
-      this.u3x('# Successfully loaded library `' + library.j2e() + '`');
-    }
-    this.u3x('');
-    return this_0;
-  };
-  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.q4b_1.w45($this, query$factory_0());
-  }
-  function _get_maxSolutions__ysux2t($this) {
-    return $this.r4b_1.w45($this, maxSolutions$factory_0());
-  }
-  function _get_parentCommand__z09ff4($this) {
-    var tmp0_safe_receiver = $this.i2b().y3v_1;
-    var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.z3v_1;
-    return tmp instanceof TuPrologCmd ? tmp : THROW_CCE();
-  }
-  function evalAndPrint($this, solver) {
-    // Inline function 'kotlin.text.isNotEmpty' call
-    var this_0 = _get_query__c6g9vb($this);
-    if (charSequenceLength(this_0) > 0) {
-      try {
-        var duration = _get_parentCommand__z09ff4($this).x4a();
-        var solutions = solver.solveWithTimeout(parseStruct(Companion_getInstance(), _get_query__c6g9vb($this)), duration).r();
-        if (_get_maxSolutions__ysux2t($this) === 0) {
-          $this.z49(solutions, solver.l1v());
-        } else {
-          $this.a4a(solutions, _get_maxSolutions__ysux2t($this), solver.l1v());
-        }
-      } catch ($p) {
-        if ($p instanceof ParseException) {
-          var e = $p;
-          $this.x49(e);
-        } else {
-          throw $p;
-        }
-      }
-    } else {
-      // Inline function 'kotlin.TODO' call
-      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.q4b_1 = argument(this).x45(this, query$factory());
-    this.r4b_1 = default_0(int(option(this, ['-n', '--numberOfSolutions'], 'Number of solution to calculate')), 0).f47(this, maxSolutions$factory());
-  }
-  protoOf(TuPrologSolveQuery).t3y = function () {
-    var solver = _get_parentCommand__z09ff4(this).y4a();
-    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
-    var reason = 'Not yet implemented';
-    throw new NotImplementedError('An operation is not implemented: ' + reason);
-  }
-  function loadTheoryFromFile(path) {
-    // Inline function 'kotlin.TODO' call
-    var reason = 'Not yet implemented';
-    throw new NotImplementedError('An operation is not implemented: ' + reason);
-  }
-  function main(args) {
-    subcommands(new TuPrologCmd([]), [new TuPrologSolveQuery()]).s3y(args);
-  }
-  //region block: init
-  Companion_instance_4 = new Companion();
-  //endregion
-  //region block: exports
-  _.$_$ = _.$_$ || {};
-  _.$_$.a = main;
   //endregion
   return _;
 }));

package/2p-repl.js.map

@@ -1 +1 @@
-{"version":3,"sources":["../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","src/kotlin/text/Strings.kt","src/jsMainSources/libraries/stdlib/js/src/kotlin/text/stringJs.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","src/kotlin/util/Standard.kt","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/PlatformSpecificUtils.kt","../../../../../../../repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null],"names":["printSolution","sol","operatorSet","printYesSolution","printHaltSolution","ex","printEndOfSolutions","readQueryMultiline","query","longQuery","lastRead","printNoSolution","<init>","help","epilog","name","invokeWithoutSubcommand","printHelpOnEmptyArgs","helpTags","autoCompleteEnvvar","allowMultipleSubcommands","treatUnknownOptionsAsArgs","hidden","printParseException","e","readQuery","printSolutions","solutions","first","cmd","printNumSolutions","maxSolutions","i","NullInputException_init_$Init$","message","cause","NullInputException_init_$Create$","<get-files>","<get-timeout>","<get-oop>","loadTheory","theory","file","t","readEvalPrintLoop","solver","goal","_","TuPrologCmd$getSolver$lambda$lambda","$formatter","TuPrologCmd$getSolver$lambda$lambda$lambda","it","TuPrologCmd$getSolver$lambda","w","sep","formatter","stacktrace","$this$flag","additionalLibraries","run","solve","subcommand","getTimeout","getSolver","outputChannel","libraries","library","files$factory","get","receiver","timeout$factory","oop$factory","<get-query>","<get-maxSolutions>","<get-parentCommand>","evalAndPrint","duration","query$factory","maxSolutions$factory","isReadableFile","path","loadTheoryFromFile","main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;wBAmCYA,C,OACJC,G,EACAC,WAFIF,EAGN;A,IAEM,gBADE,GACF,O,CAAmB;A,MACf,wBAAiB,GAAjB,EAAsB,WAAtB,C;IACJ,C;MACA,gBAJE,GAIF,M,CAAkB;A,QACd,uBAAgB,GAAhB,EAAqB,WAArB,C;MACJ,C;QACA,gBAPE,GAOF,Q,CAAoB;A,UAChB,yBAAkB,GAAlB,EAAuB,WAAvB,C;QACJ,C;;;EAER,C;2BAEQG,C,OACJF,G,EACAC,WAFIC,EAGN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;4BAEQC,C,OACJH,G,EACAC,WAFIE,EAGN;A,QACQC,KAAS,GAAI,M;IACf,gC,CAAoB;A,MAChB,UAAM,YAAN,C;MACA,MAAM,kBAAc,EAAd,CAAiB,UAAjB,C;IACV,C;MACQ,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;;EAEhB,C;8BAMQC,C,KAAAA,EAA0B;A,EAElC,C;6BAiBQC,C,OAAuBC,KAAvBD,EAA8C;A,QAClDE,YAAgB,kBAAc,KAAd,C;QAChBC,WAAe,K;0BACf;A;mBCvBuD,Q;sBA0GS,SAAP,oBAAtB,MAAsB,IAAtB,MAAsB,eAAO,C;WDnFzD,CAAiB,SAAP,SAAO,EAAS,8BAAT,C;;;UACT,2BAAQ,GAAR,0BAA4B,GAA5B,C;;MAAA,2B;QACJ,MAAM,iCAAoB,iDAApB,C;;cADF,c;;MAAX,c;MAEA,SAAU,IAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;0BAGQC,C,OACJV,G,EACAC,WAFIS,EAGN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;kCApGKC,CACLC,I,EACAC,M,EACAC,I,EACAC,uB,EACAC,oB,EACAC,Q,EACAC,kB,EACAC,wB,EACAC,yB,EACAC,MAVKV,EAAT;A,2BACmB,E;+BACE,E;2BACD,I;iEACmB,K;2DACH,K;mCACA,U;uDACF,E;mEACM,K;qEACC,K;+BACnB,K;IAClB,wBACI,IADJ,EAEI,MAFJ,EAGI,IAHJ,EAII,uBAJJ,EAKI,oBALJ,EAMI,QANJ,EAOI,kBAPJ,EAQI,wBARJ,EASI,yBATJ,EAUI,MAVJ,C;EAXJ,C;kDA4DcW,CAAwBC,CAAxBD,EAA2C;A,QACrC,qBAAF,CAAE,Q;;IAAS,IAAT,kBAAS,S;YAAA,I;;;;;MC4tBlB,IAtf4C,mBArPnC,kBAqPmC,IAAS,CAsfrD,C;;iBDrpB4t3B,gBCtFnt3B,kBDsFmt3B,EAAK,CAAL,C;wBAvEhr3B,YAAH,EAAG,CAAP,GAAyB,UAAH,EAAG,CAAzB,GAA6C,WAAH,EAAG,C;oBC4tB7C,SAAnB,SAAmB,C;;;gBAAnB,QA3uBT,kBCgM6D,WAwFq4lB,CAxFr4lB,C;;gBDhM7D,kB;;;;IDeZ,SAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;kDAMUE,CAAAA,EAAwB;A,QAC9BjB,QAAqB,SAAQ,IAAR,0BAA6B,GAA7B,C;;IAEjB,aAAS,IAAT,C;MACI,MAAM,iCAAoB,gDAApB,C;;;sBCiGkD,SAAP,oBAnHgB,KAmHhB,IAnHgB,KAmHhB,eAAO,C;MD/F/C,aAAP,SAAO,EAAS,8BAAT,E;cACT,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;EAWJ,C;kDAqBUkB,CACNC,S,EACAzB,WAFMwB,EAGR;A,QACEE,QAAY,I;oBACL,SAAU,I,EAAW;A,MACxB,IAAI,CAAC,KAAL,C,CAAY;A,YACwB,qBAAtB,qBAAsB,KAAc,EAAd,EAAkB,KAAlB,C;;QAA0B,IAA1B,kBAA0B,S;gBAAA,I;;;gBC4DF,SAAP,oBA9EV,kBA8EU,IA9EV,kBA8EU,eAAO,C;;YD5DxDC,S;QACA,IAAI,UAAQ,GAAR,CAAJ,C;UAAgB,a;MACpB,C,MAAO;A,QACH,QAAQ,K;MACZ,C;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;IACJ,C;IACA,yB;EACJ,C;kDAEUC,CACNH,S,EACAI,Y,EACA7B,WAHM4B,EAIR;A,QACEE,IAAQ,C;WACD,IAAI,YAAJ,GAAoB,SAAU,IAA9B,GAA8B,K,EAAW;A,MAC5C,a;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,C;IACJ,C;IACA,yB;EACJ,C;yCGzIAC,CAAYC,O,EAAkBC,K,OAA9BF,E;IAAmD,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;G;2CAEAA,CAAYC,O,OAAZD,E;IAAgC,+BAAK,OAAL,EAAc,IAAd,Q;;G;2CAAhCG,CAAYF,OAAZE,E;;;;G;gCAHJ;A;EAAA,C;oBC2BIxB,CAAAA,EAAA;A,IACqC,iB;EADrC,C;;;;;6BAMgCyB,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KArC/B,KAqC+B,EAAH,iBAAG,C;EACrB,C;8BAEMC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAxCnB,KAwCmB,EAAH,mBAAG,C;EAIQ,C;2BAEfC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KA9Cf,KA8Ce,EAAH,eAAG,C;EAGG,C;qBAYdC,C,KAAAA,EAAyB;A,QAC7BC,SAA4B,iD;QACf,gBAAK,mBAAL,KAAK,CAAL,I;WAAA,iB,EAAb;A,UAAKC,OAAQ,iB;MACT,IAAI,eAAe,IAAf,CAAJ,C,CAA0B;A,QACtB,IAAI;A,cACAC,IAAQ,mBAAmB,IAAnB,C;UACR,UAAM,wBAAN,GAA8B,CAAE,IAAhC,cAAqC,gBAArC,GAAoD,IAApD,C;UACA,2BAAU,CAAV,C;QACJ,C;4CAA4B;A,gBAAnBnB,M;YACL,UAOQ,WAND,gEAMC,GALiC,IAKjC,GALqC,4CAKrC,GAJc,CAId,CAJgB,OAIhB,GAJwB,4CAIxB,GAHc,CAGd,CAHgB,IAGhB,GAHqB,4CAGrB,GAFc,CAEd,CAFgB,MAEhB,GAFuB,4CAEvB,GADc,CACd,CADgB,WAChB,GAD4B,4BAC5B,CAPR,QAQU,IARV,C;UAUJ,C;;;;MACJ,C;IACJ,C;IACA,UAAK,EAAL,C;IACA,OAAO,M;EACX,C;4BAEQoB,C,OAAsBC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACApC,QAAqB,W;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACAsC,OAAkB,kDAAM,KAAN,EAAa,MAAO,MAApB,C;cAClBnB,YAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,MAAjB,CAA+B,I;UACtD,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;QACJ,C;4CAA4B;A,gBAAnBH,M;YACL,UAAoB,CAApB,C;UACJ,C;;;;QACA,UAAK,EAAL,C;QACA,QAAQ,W;MACZ,C;IACJ,C;4CAAgC;A,YAAvBuB,M;QACL,UAAM,cAAN,C;QACA,MAAM,kBAAc,CAAd,C;MACV,C;;;;EACJ,C;8CAciEC,CADrDC,UACqDD,E;oBAAAE,CAAAC,EAAAD,EAAA;A,MAAK,cAAH,EAAG,EAAO,UAAP,C;IAAkB,C;G;uCAJtDE,CAJlC,MAIkCA,E;oBAAAJ,CAAEK,CAAFL,EAAA;A,MACtB,WAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAM,MAAW,W;UACXC,YAAwC,sDAAkB,CAAE,KAAQ,MAA5B,C;gBACvB,CAAE,M;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,WAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,oB;IAAA,C;G;yCAUsBJ,CAAAK,UAAAL,EAAA;A,IAAE,uB;EAAG,C;sBA1GvCxC,CAAkB8C,mBAAlB9C,EAAA;A,IAAyD,mCAI7C,qCAJ6C,QAG7C,uBAH6C,EAC3B,IAD2B,oBAE1B,IAF0B,C;IAUC,gC;IAEtB,aAC3B,SAD8B,aAAQ,OAAM,UAAN,CAAR,EAAiC,kCAAjC,CAC9B,CAD2B,KArC5B,IAqC4B,kB;IAGZ,aAIZ,UAAN,IAJqB,aAClB,OACA,WADA,CADkB,EAGZ,oEAHY,CAIrB,CAAM,EAAQ,IAAR,CAJY,KAxChB,IAwCgB,oB;IAMJ,aAGd,KAHiB,aACd,SADc,EAEP,uBAFO,CAGjB,MAAe,KAAf,CAHc,KA9CZ,IA8CY,gB;EArBpB,C;sCA0Ba+C,CAAAA,EAAU;A,QACfC,QAAoB,U;QACpBC,aAAiB,IAAK,MAAtBA,CAAqC,K;IAErC,IAAI,cAAc,IAAlB,C,CAAwB;A,MACpB,wBAAkB,KAAlB,C;IACJ,C;EAEJ,C;sCAgDAC,CAAAA,EAA+B;A,IAC3B,OAAe,OAAR,yBAAQ,C;EACnB,C;sCAEAC,CAAAA,EAAwB;A;IACpB,SAAM,kBAAN,GA9GsB,OA8GtB,C;QACAtB,SAA0B,WAAL,IAAK,C;;QAC1BuB,gBACkB,OAAY,kCAAZ,C;;IAQd,IAAI,sBAAJ,C;cACY,wBAAG,0DAAgB,IAAhB,CAAgB,KAAhB,EAAH,C;;cAEA,wBAAG,oCAAQ,IAAR,CAAQ,KAAR,EAAH,C;;QAJhBC,iB;;gBCqBM,+BAAO,aAA0B,YAAQ,SAAR,CAExC,aAAS,MAAT,C;;iBAA8B,mCAAqB,8BAArB,CAAyC,aAE3E,aAF2E,CAE/C,Q;;;;QDbM,gBA/CM,MEkD6B,MA0PgB,KAAQ,I;WF7P3D,iB,EAArB;A;UAASC,UAAY,iBE2L+B,K;MF1LhD,SAAM,iCAAN,GAAuC,OAAQ,MAA/C,GAAqD,GAArD,C;IACJ,C;IACA,SAAK,EAAL,C;IATR,OC9BG,M;EDyCP,C;wBAtGgCC,CAAAA,E;kCAAA,O,KAAA,U,WAAAC,CAqBSC,QArBTD,E;;K,EAAA,I;G;0BAGZE,CAAAA,E;kCAAA,S,KAAA,U,WAAAF,CAkBqBC,QAlBrBD,E;;K,EAAA,I;G;sBAMJG,CAAAA,E;kCAAA,K,KAAA,U,WAAAH,CAYyBC,QAZzBD,E;;K,EAAA,I;G;0BATgBD,CAAAA,E;kCAAA,O,KAAA,U,WAAAC,CAqBSC,QArBTD,E;;K,EAAA,I;G;4BAGZE,CAAAA,E;kCAAA,S,KAAA,U,WAAAF,CAkBqBC,QAlBrBD,E;;K,EAAA,I;G;wBAMJG,CAAAA,E;kCAAA,K,KAAA,U,WAAAH,CAYyBC,QAZzBD,E;;K,EAAA,I;G;6BG9BUI,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAhBzB,KAgByB,EAAH,iBAAG,C;EAAS,C;oCACRC,C,KAAAA,EAAG;A,IAAA,OAAH,KAAG,CAAH,KAAG,KAjB7B,KAiB6B,EAAH,wBAAG,C;EACnB,C;qCAGVC,C,KAAAA,EAAQ;A,QAAe,qBAAf,WAAe,M;cAAA,kBAAQ,kBAAR,kBAAQ,M;IAAsB,oCAA7C,GAA6C,c;EAAD,C;uBAOhDC,C,OAAiB9B,MAAjB8B,EAAiC;A;iBNET,yB;IMD5B,INkR+C,6BAAS,CMlRxD,C,CAAwB;A,MACpB,IAAI;A,YACAC,WAA6B,iCAAc,M;YAC3CjD,YAAgB,MAAO,kBAAa,qCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,I;QAC5D,IAAI,qCAAgB,CAApB,C,CAAuB;A,UACnB,UAAe,SAAf,EAA0B,MAAO,MAAjC,C;QACJ,C,MAAO;A,UACH,UAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,MAAlD,C;QACJ,C;MACJ,C;0CAA4B;A,cAAnBH,M;UACL,UAAoB,CAApB,C;QACJ,C;;;;IACJ,C;;mBFQmG,0B;MApBzD,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;;EEepD,C;6BAhCJZ,CAAAA,EAAA;A,IAA2B,mCACf,+CADe,QAEf,OAFe,C;IAIG,aAAG,cAAH,KAhBtB,IAgBsB,kB;IACI,aACzB,UAD0G,IAA9E,aAAQ,OAAM,qBAAN,CAAR,EAA4C,iCAA5C,CAA8E,CAC1G,EAAQ,CAAR,CADyB,KAjB1B,IAiB0B,yB;EALlC,C;6CAWa+C,CAAAA,EAAU;A,QACfd,SAAa,gCAAc,M;IAC3B,mBAAa,MAAb,C;EACJ,C;wBAV0BgC,CAAAA,E;kCAAA,O,KAAA,U,WAAAT,CA8B2dC,QA9B3dD,E;;K,EAAA,I;G;+BACIU,CAAAA,E;kCAAA,c,KAAA,U,WAAAV,CA6BudC,QA7BvdD,E;;K,EAAA,I;G;0BADJS,CAAAA,E;kCAAA,O,KAAA,U,WAAAT,CA8B2dC,QA9B3dD,E;;K,EAAA,I;G;iCACIU,CAAAA,E;kCAAA,c,KAAA,U,WAAAV,CA6BudC,QA7BvdD,E;;K,EAAA,I;G;yBCb3BW,CAAmBC,IAAnBD,EAA0C;A;iBHFF,qB;IA2BG,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EGvBxD,C;6BAEOE,CAAuBD,IAAvBC,EAA6C;A;iBHHrC,qB;IAwBmC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EGnBxD,C;eCNAC,CAASC,IAATD,EAA8B;A,IACZ,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,KAAK,IAAL,C;EACpD,C;;;;;;;;;;"}
+{"version":3,"sources":[],"sourcesContent":[],"ignoreList":[],"x_google_ignoreList":[],"names":[],"mappings":";;;;;;;;;;;;;"}

package/2p-serialize-core.js

@@ -1,11 +1,11 @@
-(function (root, factory) {
+(function (factory) {
   if (typeof define === 'function' && define.amd)
     define(['exports'], factory);
   else if (typeof exports === 'object')
     factory(module.exports);
   else
-    root['2p-serialize-core'] = factory(typeof this['2p-serialize-core'] === 'undefined' ? {} : this['2p-serialize-core']);
-}(this, function (_) {
+    globalThis['2p-serialize-core'] = factory(typeof globalThis['2p-serialize-core'] === 'undefined' ? {} : globalThis['2p-serialize-core']);
+}(function (_) {
   'use strict';
   //region block: pre-declaration
   //endregion

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

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

package/2p-serialize-theory.js

@@ -1,11 +1,11 @@
-(function (root, factory) {
+(function (factory) {
   if (typeof define === 'function' && define.amd)
     define(['exports'], factory);
   else if (typeof exports === 'object')
     factory(module.exports);
   else
-    root['2p-serialize-theory'] = factory(typeof this['2p-serialize-theory'] === 'undefined' ? {} : this['2p-serialize-theory']);
-}(this, function (_) {
+    globalThis['2p-serialize-theory'] = factory(typeof globalThis['2p-serialize-theory'] === 'undefined' ? {} : globalThis['2p-serialize-theory']);
+}(function (_) {
   'use strict';
   //region block: pre-declaration
   //endregion

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

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