@tuprolog/2p-full 3.0.6 → 3.0.7

package/2p-repl.js

@@ -39,59 +39,59 @@
 }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_solve, kotlin_it_unibo_tuprolog_core, kotlin_clikt_clikt, kotlin_clikt_clikt_mordant, kotlin_mordant_mordant, 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 noWhenBranchMatchedException = kotlin_kotlin.$_$.qe;
+  var noWhenBranchMatchedException = kotlin_kotlin.$_$.se;
   var Unit_instance = kotlin_kotlin.$_$.r;
   var Halt = kotlin_it_unibo_tuprolog_solve.$_$.m4;
-  var isInterface = kotlin_kotlin.$_$.k8;
+  var isInterface = kotlin_kotlin.$_$.m8;
   var No = kotlin_it_unibo_tuprolog_solve.$_$.n4;
   var Yes = kotlin_it_unibo_tuprolog_solve.$_$.o4;
   var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.t1;
-  var format = kotlin_it_unibo_tuprolog_core.$_$.c3;
+  var format = kotlin_it_unibo_tuprolog_core.$_$.b3;
   var ProgramResult = kotlin_clikt_clikt.$_$.c;
   var HaltException = kotlin_it_unibo_tuprolog_solve.$_$.r2;
-  var StringBuilder = kotlin_kotlin.$_$.nb;
-  var THROW_CCE = kotlin_kotlin.$_$.fe;
-  var isCharSequence = kotlin_kotlin.$_$.i8;
-  var trim = kotlin_kotlin.$_$.pd;
-  var toString = kotlin_kotlin.$_$.v8;
+  var StringBuilder = kotlin_kotlin.$_$.qb;
+  var THROW_CCE = kotlin_kotlin.$_$.he;
+  var isCharSequence = kotlin_kotlin.$_$.k8;
+  var trim = kotlin_kotlin.$_$.rd;
+  var toString = kotlin_kotlin.$_$.x8;
   var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
-  var endsWith = kotlin_kotlin.$_$.yb;
+  var endsWith = kotlin_kotlin.$_$.bc;
   var get_terminal = kotlin_clikt_clikt_mordant.$_$.b;
   var VOID = kotlin_kotlin.$_$.b;
   var prompt = kotlin_mordant_mordant.$_$.c;
   var CliktCommand = kotlin_clikt_clikt_mordant.$_$.a;
-  var emptyMap = kotlin_kotlin.$_$.l3;
-  var protoOf = kotlin_kotlin.$_$.s8;
-  var charSequenceLength = kotlin_kotlin.$_$.o7;
-  var charCodeAt = kotlin_kotlin.$_$.m7;
+  var emptyMap = kotlin_kotlin.$_$.m3;
+  var protoOf = kotlin_kotlin.$_$.u8;
+  var charSequenceLength = kotlin_kotlin.$_$.q7;
+  var charCodeAt = kotlin_kotlin.$_$.o7;
   var toString_0 = kotlin_kotlin.$_$.h;
-  var titlecase = kotlin_kotlin.$_$.dd;
-  var isLowerCase = kotlin_kotlin.$_$.ec;
-  var substring = kotlin_kotlin.$_$.ad;
-  var initMetadataForClass = kotlin_kotlin.$_$.b8;
+  var titlecase = kotlin_kotlin.$_$.gd;
+  var isLowerCase = kotlin_kotlin.$_$.hc;
+  var substring = kotlin_kotlin.$_$.dd;
+  var initMetadataForClass = kotlin_kotlin.$_$.d8;
   var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.i1;
-  var objectCreate = kotlin_kotlin.$_$.r8;
-  var captureStack = kotlin_kotlin.$_$.j7;
+  var objectCreate = kotlin_kotlin.$_$.t8;
+  var captureStack = kotlin_kotlin.$_$.l7;
   var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
-  var KProperty1 = kotlin_kotlin.$_$.t9;
-  var getPropertyCallableRef = kotlin_kotlin.$_$.y7;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.e8;
+  var KProperty1 = kotlin_kotlin.$_$.v9;
+  var getPropertyCallableRef = kotlin_kotlin.$_$.a8;
   var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
-  var trimMargin = kotlin_kotlin.$_$.nd;
+  var trimMargin = kotlin_kotlin.$_$.pd;
   var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.a;
   var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.x;
   var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
   var GroundQueriesHaveBooleanSolution_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
-  var equals = kotlin_kotlin.$_$.t7;
-  var constructCallableReference = kotlin_kotlin.$_$.r7;
+  var equals = kotlin_kotlin.$_$.v7;
+  var constructCallableReference = kotlin_kotlin.$_$.t7;
   var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.z;
-  var joinToString = kotlin_kotlin.$_$.u3;
-  var option = kotlin_clikt_clikt.$_$.l;
-  var multiple = kotlin_clikt_clikt.$_$.k;
-  var int = kotlin_clikt_clikt.$_$.m;
-  var default_0 = kotlin_clikt_clikt.$_$.i;
-  var flag = kotlin_clikt_clikt.$_$.j;
-  var fromInt = kotlin_kotlin.$_$.w6;
+  var joinToString = kotlin_kotlin.$_$.v3;
+  var option = kotlin_clikt_clikt.$_$.m;
+  var multiple = kotlin_clikt_clikt.$_$.l;
+  var int = kotlin_clikt_clikt.$_$.n;
+  var default_0 = kotlin_clikt_clikt.$_$.j;
+  var flag = kotlin_clikt_clikt.$_$.k;
+  var fromInt = kotlin_kotlin.$_$.y6;
   var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.u;
   var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.m1;
   var IOLib_getInstance = kotlin_it_unibo_tuprolog_io_lib.$_$.a;
@@ -99,9 +99,11 @@
   var OOPLib_getInstance = kotlin_it_unibo_tuprolog_oop_lib.$_$.a;
   var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.v1;
   var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j1;
-  var NotImplementedError = kotlin_kotlin.$_$.ae;
   var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.c;
+  var isBlank = kotlin_kotlin.$_$.fc;
   var argument = kotlin_clikt_clikt.$_$.h;
+  var validate = kotlin_clikt_clikt.$_$.i;
+  var NotImplementedError = kotlin_kotlin.$_$.ce;
   var subcommands = kotlin_clikt_clikt.$_$.f;
   var main = kotlin_clikt_clikt.$_$.d;
   //endregion
@@ -128,15 +130,15 @@
     }
   }
   function printYesSolution($this, sol, operatorSet, groundQueriesHaveBooleanSolution) {
-    $this.j3u(format(sol, Companion_instance.w1z(operatorSet, groundQueriesHaveBooleanSolution)));
+    $this.q3u(format(sol, Companion_instance.x1z(operatorSet, groundQueriesHaveBooleanSolution)));
   }
   function printHaltSolution($this, sol, operatorSet) {
-    var ex = sol.l1z();
+    var ex = sol.m1z();
     if (ex instanceof HaltException) {
-      $this.j3u('# goodbye.');
+      $this.q3u('# goodbye.');
       throw new ProgramResult(ex.exitStatus);
     } else {
-      $this.j3u(format(sol, Companion_instance.withOperators(operatorSet)));
+      $this.q3u(format(sol, Companion_instance.withOperators(operatorSet)));
     }
   }
   function printEndOfSolutions($this) {
@@ -164,7 +166,7 @@
     return longQuery.toString();
   }
   function printNoSolution($this, sol, operatorSet) {
-    $this.j3u(format(sol, Companion_instance.withOperators(operatorSet)));
+    $this.q3u(format(sol, Companion_instance.withOperators(operatorSet)));
   }
   function AbstractTuPrologCommand(help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hiddenFromHelp) {
     help = help === VOID ? '' : help;
@@ -178,44 +180,44 @@
     treatUnknownOptionsAsArgs = treatUnknownOptionsAsArgs === VOID ? false : treatUnknownOptionsAsArgs;
     hiddenFromHelp = hiddenFromHelp === VOID ? false : hiddenFromHelp;
     CliktCommand.call(this, name);
-    this.e5t_1 = help;
-    this.f5t_1 = epilog;
-    this.g5t_1 = invokeWithoutSubcommand;
-    this.h5t_1 = printHelpOnEmptyArgs;
-    this.i5t_1 = helpTags;
-    this.j5t_1 = autoCompleteEnvvar;
-    this.k5t_1 = allowMultipleSubcommands;
-    this.l5t_1 = treatUnknownOptionsAsArgs;
-    this.m5t_1 = hiddenFromHelp;
-  }
-  protoOf(AbstractTuPrologCommand).i3t = function () {
-    return this.g5t_1;
+    this.l5t_1 = help;
+    this.m5t_1 = epilog;
+    this.n5t_1 = invokeWithoutSubcommand;
+    this.o5t_1 = printHelpOnEmptyArgs;
+    this.p5t_1 = helpTags;
+    this.q5t_1 = autoCompleteEnvvar;
+    this.r5t_1 = allowMultipleSubcommands;
+    this.s5t_1 = treatUnknownOptionsAsArgs;
+    this.t5t_1 = hiddenFromHelp;
+  }
+  protoOf(AbstractTuPrologCommand).p3t = function () {
+    return this.n5t_1;
   };
-  protoOf(AbstractTuPrologCommand).j3t = function () {
-    return this.h5t_1;
+  protoOf(AbstractTuPrologCommand).q3t = function () {
+    return this.o5t_1;
   };
-  protoOf(AbstractTuPrologCommand).k3t = function () {
-    return this.i5t_1;
+  protoOf(AbstractTuPrologCommand).r3t = function () {
+    return this.p5t_1;
   };
-  protoOf(AbstractTuPrologCommand).l3t = function () {
-    return this.j5t_1;
+  protoOf(AbstractTuPrologCommand).s3t = function () {
+    return this.q5t_1;
   };
-  protoOf(AbstractTuPrologCommand).m3t = function () {
-    return this.k5t_1;
+  protoOf(AbstractTuPrologCommand).t3t = function () {
+    return this.r5t_1;
   };
-  protoOf(AbstractTuPrologCommand).n3t = function () {
-    return this.l5t_1;
+  protoOf(AbstractTuPrologCommand).u3t = function () {
+    return this.s5t_1;
   };
-  protoOf(AbstractTuPrologCommand).o3t = function () {
-    return this.m5t_1;
+  protoOf(AbstractTuPrologCommand).v3t = function () {
+    return this.t5t_1;
   };
-  protoOf(AbstractTuPrologCommand).b3t = function (context) {
-    return this.e5t_1;
+  protoOf(AbstractTuPrologCommand).i3t = function (context) {
+    return this.l5t_1;
   };
-  protoOf(AbstractTuPrologCommand).h3t = function (context) {
-    return this.f5t_1;
+  protoOf(AbstractTuPrologCommand).o3t = function (context) {
+    return this.m5t_1;
   };
-  protoOf(AbstractTuPrologCommand).n5t = function (e) {
+  protoOf(AbstractTuPrologCommand).u5t = function (e) {
     var tmp0_safe_receiver = e.message;
     var tmp;
     if (tmp0_safe_receiver == null) {
@@ -233,9 +235,9 @@
       }
       tmp = tmp_0;
     }
-    this.j3u('# ' + tmp, VOID, true);
+    this.q3u('# ' + tmp, VOID, true);
   };
-  protoOf(AbstractTuPrologCommand).o5t = function () {
+  protoOf(AbstractTuPrologCommand).v5t = function () {
     var query = prompt(get_terminal(this), '?-', VOID, VOID, VOID, VOID, VOID, ' ');
     var tmp;
     if (query == null) {
@@ -251,7 +253,7 @@
     }
     return tmp;
   };
-  protoOf(AbstractTuPrologCommand).p5t = function (solutions, operatorSet, groundQueriesHaveBooleanSolution) {
+  protoOf(AbstractTuPrologCommand).w5t = function (solutions, operatorSet, groundQueriesHaveBooleanSolution) {
     var first = true;
     $l$loop: while (solutions.q()) {
       if (!first) {
@@ -273,7 +275,7 @@
     }
     printEndOfSolutions(this);
   };
-  protoOf(AbstractTuPrologCommand).q5t = function (solutions, maxSolutions, operatorSet, groundQueriesHaveBooleanSolution) {
+  protoOf(AbstractTuPrologCommand).x5t = function (solutions, maxSolutions, operatorSet, groundQueriesHaveBooleanSolution) {
     var i = 0;
     while (i < maxSolutions && solutions.q()) {
       i = i + 1 | 0;
@@ -299,7 +301,7 @@
     captureStack(this, NullInputException);
   }
   function Companion() {
-    this.r5t_1 = 1000;
+    this.y5t_1 = 1000;
   }
   var Companion_instance_4;
   function Companion_getInstance_1() {
@@ -307,15 +309,15 @@
   }
   function _get_files__hkfg7a($this) {
     var tmp = KProperty1;
-    return $this.r5u_1.p44($this, getPropertyCallableRef('files', 1, tmp, TuPrologCmd$_get_files_$ref_c1qk0p(), null));
+    return $this.y5u_1.b45($this, getPropertyCallableRef('files', 1, tmp, TuPrologCmd$_get_files_$ref_c1qk0p(), null));
   }
   function _get_timeout__tg4wg($this) {
     var tmp = KProperty1;
-    return $this.s5u_1.p44($this, getPropertyCallableRef('timeout', 1, tmp, TuPrologCmd$_get_timeout_$ref_q0nd1f(), null));
+    return $this.z5u_1.b45($this, getPropertyCallableRef('timeout', 1, tmp, TuPrologCmd$_get_timeout_$ref_q0nd1f(), null));
   }
   function _get_oop__e6e8e9($this) {
     var tmp = KProperty1;
-    return $this.t5u_1.p44($this, getPropertyCallableRef('oop', 1, tmp, TuPrologCmd$_get_oop_$ref_nvbbou(), null));
+    return $this.a5v_1.b45($this, getPropertyCallableRef('oop', 1, tmp, TuPrologCmd$_get_oop_$ref_nvbbou(), null));
   }
   function loadTheory($this) {
     var theory = Companion_instance_0.emptyWithDefaultUnificator();
@@ -325,44 +327,44 @@
       if (isReadableFile(file)) {
         try {
           var t = loadTheoryFromFile(file);
-          $this.j3u('# Successfully loaded ' + t.s().toString() + ' clauses from ' + file);
+          $this.q3u('# Successfully loaded ' + t.s().toString() + ' clauses from ' + file);
           theory = theory.plusTheory(t);
         } catch ($p) {
           if ($p instanceof ParseException) {
             var e = $p;
-            $this.j3u(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.q3u(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.j3u('');
+    $this.q3u('');
     return theory;
   }
   function readEvalPrintLoop($this, solver) {
     try {
-      var query = $this.o5t();
+      var query = $this.v5t();
       while (!(query == null)) {
         try {
           var goal = parseStructWithOperators(Companion_getInstance(), query, solver.c1y());
-          var solutions = solver.solveWithTimeout(goal, $this.u5u()).n();
-          $this.p5t(solutions, solver.c1y(), equals(solver.u1x().get(GroundQueriesHaveBooleanSolution_getInstance()), GroundQueriesHaveBooleanSolution_getInstance().l2c_1));
+          var solutions = solver.solveWithTimeout(goal, $this.b5v()).n();
+          $this.w5t(solutions, solver.c1y(), equals(solver.u1x().get(GroundQueriesHaveBooleanSolution_getInstance()), GroundQueriesHaveBooleanSolution_getInstance().s2c_1));
         } catch ($p) {
           if ($p instanceof ParseException) {
             var e = $p;
-            $this.n5t(e);
+            $this.u5t(e);
           } else {
             throw $p;
           }
         }
-        $this.j3u('');
-        query = $this.o5t();
+        $this.q3u('');
+        query = $this.v5t();
       }
     } catch ($p_0) {
       if ($p_0 instanceof NullInputException) {
         var _unused_var__etf5q3 = $p_0;
-        $this.j3u('\n# goodbye.');
+        $this.q3u('\n# goodbye.');
         throw new ProgramResult(0);
       } else {
         throw $p_0;
@@ -372,17 +374,17 @@
   function TuPrologCmd$_get_files_$ref_c1qk0p() {
     return constructCallableReference(function (p0) {
       return _get_files__hkfg7a(p0);
-    }, 1, 0, 160);
+    }, 1, 0, 161);
   }
   function TuPrologCmd$_get_timeout_$ref_q0nd1f() {
     return constructCallableReference(function (p0) {
       return _get_timeout__tg4wg(p0);
-    }, 1, 0, 161);
+    }, 1, 0, 162);
   }
   function TuPrologCmd$_get_oop_$ref_nvbbou() {
     return constructCallableReference(function (p0) {
       return _get_oop__e6e8e9(p0);
-    }, 1, 0, 162);
+    }, 1, 0, 163);
   }
   function TuPrologCmd$getSolver$lambda$lambda($formatter) {
     return function (it) {
@@ -391,57 +393,55 @@
   }
   function TuPrologCmd$getSolver$lambda(this$0) {
     return function (w) {
-      this$0.j3u('# ' + w.message, VOID, true);
+      this$0.q3u('# ' + w.message, VOID, true);
       var sep = '\n    at ';
       var formatter = Companion_instance_1.prettyExpressionsPrettyVariables(w.v8().c1y());
       var tmp = w.q1x();
       var stacktrace = joinToString(tmp, sep, VOID, VOID, VOID, VOID, TuPrologCmd$getSolver$lambda$lambda(formatter));
-      this$0.j3u('#    at ' + stacktrace, VOID, true);
+      this$0.q3u('#    at ' + stacktrace, VOID, true);
       return Unit_instance;
     };
   }
   function TuPrologCmd$getSolver$lambda_0($this$flag) {
-    return $this$flag.g2d_1;
+    return $this$flag.n2d_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.q5u_1 = additionalLibraries;
+    this.x5u_1 = additionalLibraries;
     var tmp = this;
     var tmp_0 = multiple(option(this, ['-T', '--theory'], 'Path of theory file to be loaded'));
     var tmp_1 = KProperty1;
-    tmp.r5u_1 = tmp_0.c45(this, getPropertyCallableRef('files', 1, tmp_1, TuPrologCmd$_get_files_$ref_c1qk0p(), null));
+    tmp.y5u_1 = tmp_0.o45(this, getPropertyCallableRef('files', 1, tmp_1, TuPrologCmd$_get_files_$ref_c1qk0p(), null));
     var tmp_2 = this;
     var tmp_3 = default_0(int(option(this, ['-t', '--timeout'], 'Maximum amount of time for computing a solution (default: 1000 ms)')), 1000);
     var tmp_4 = KProperty1;
-    tmp_2.s5u_1 = tmp_3.c45(this, getPropertyCallableRef('timeout', 1, tmp_4, TuPrologCmd$_get_timeout_$ref_q0nd1f(), null));
+    tmp_2.z5u_1 = tmp_3.o45(this, getPropertyCallableRef('timeout', 1, tmp_4, TuPrologCmd$_get_timeout_$ref_q0nd1f(), null));
     var tmp_5 = this;
     var tmp_6 = flag(option(this, ['--oop'], 'Loads the OOP library'), [], false);
     var tmp_7 = KProperty1;
-    tmp_5.t5u_1 = tmp_6.c45(this, getPropertyCallableRef('oop', 1, tmp_7, TuPrologCmd$_get_oop_$ref_nvbbou(), null));
+    tmp_5.a5v_1 = tmp_6.o45(this, getPropertyCallableRef('oop', 1, tmp_7, TuPrologCmd$_get_oop_$ref_nvbbou(), null));
   }
-  protoOf(TuPrologCmd).v3v = function () {
-    var solve = this.v5u();
-    var subcommand = this.q2f().d3v();
-    if (subcommand == null) {
-      readEvalPrintLoop(this, solve);
+  protoOf(TuPrologCmd).c3w = function () {
+    if (this.x2f().k3v() == null) {
+      readEvalPrintLoop(this, this.c5v());
     }
   };
-  protoOf(TuPrologCmd).u5u = function () {
+  protoOf(TuPrologCmd).b5v = function () {
     return fromInt(_get_timeout__tg4wg(this));
   };
-  protoOf(TuPrologCmd).v5u = function () {
-    this.j3u('# 2P-Kt version 3.0.6');
+  protoOf(TuPrologCmd).c5v = function () {
+    this.q3u('# 2P-Kt version 3.0.7');
     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.q5u_1]));
+      tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.x5u_1]));
     } else {
-      tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance()], this.q5u_1]));
+      tmp_0 = Companion_instance_3.of(arrayConcat([[IOLib_getInstance()], this.x5u_1]));
     }
     var libraries = tmp_0;
-    var tmp_1 = Companion_getInstance_0().x20().newBuilder().setRuntime(libraries).setStaticKb(theory);
+    var tmp_1 = Companion_getInstance_0().y20().newBuilder().setRuntime(libraries).setStaticKb(theory);
     var tmp_2 = TrackVariables_getInstance();
     // Inline function 'kotlin.also' call
     var this_0 = tmp_1.setNotableFlagByValue(tmp_2, TuPrologCmd$getSolver$lambda_0).setWarnings(outputChannel).build();
@@ -450,74 +450,81 @@
     while (_iterator__ex2g4s.q()) {
       // Inline function 'kotlin.collections.component2' call
       var library = _iterator__ex2g4s.r().f1();
-      this.j3u('# Successfully loaded library `' + library.w2i() + '`');
+      this.q3u('# Successfully loaded library `' + library.e2j() + '`');
     }
-    this.j3u('');
+    this.q3u('');
     return this_0;
   };
   function _get_query__c6g9vb($this) {
     var tmp = KProperty1;
-    return $this.u5v_1.p44($this, getPropertyCallableRef('query', 1, tmp, TuPrologSolveQuery$_get_query_$ref_bkd3qt(), null));
+    return $this.b5w_1.b45($this, getPropertyCallableRef('query', 1, tmp, TuPrologSolveQuery$_get_query_$ref_bkd3qt(), null));
   }
   function _get_maxSolutions__ysux2t($this) {
     var tmp = KProperty1;
-    return $this.v5v_1.p44($this, getPropertyCallableRef('maxSolutions', 1, tmp, TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7(), null));
+    return $this.c5w_1.b45($this, getPropertyCallableRef('maxSolutions', 1, tmp, TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7(), null));
   }
   function _get_parentCommand__z09ff4($this) {
-    var tmp0_safe_receiver = $this.q2f().u3r_1;
-    var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.v3r_1;
+    var tmp0_safe_receiver = $this.x2f().b3s_1;
+    var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.c3s_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).u5u();
-        var solutions = solver.solveWithTimeout(parseStruct(Companion_getInstance(), _get_query__c6g9vb($this)), duration).n();
-        var groundQueriesHaveBooleanSolution = equals(solver.u1x().get(GroundQueriesHaveBooleanSolution_getInstance()), GroundQueriesHaveBooleanSolution_getInstance().l2c_1);
-        if (_get_maxSolutions__ysux2t($this) === 0) {
-          $this.p5t(solutions, solver.c1y(), groundQueriesHaveBooleanSolution);
-        } else {
-          $this.q5t(solutions, _get_maxSolutions__ysux2t($this), solver.c1y(), groundQueriesHaveBooleanSolution);
-        }
-      } catch ($p) {
-        if ($p instanceof ParseException) {
-          var e = $p;
-          $this.n5t(e);
-        } else {
-          throw $p;
-        }
+    try {
+      var duration = _get_parentCommand__z09ff4($this).b5v();
+      var solutions = solver.solveWithTimeout(parseStruct(Companion_getInstance(), _get_query__c6g9vb($this)), duration).n();
+      var groundQueriesHaveBooleanSolution = equals(solver.u1x().get(GroundQueriesHaveBooleanSolution_getInstance()), GroundQueriesHaveBooleanSolution_getInstance().s2c_1);
+      if (_get_maxSolutions__ysux2t($this) === 0) {
+        $this.w5t(solutions, solver.c1y(), groundQueriesHaveBooleanSolution);
+      } else {
+        $this.x5t(solutions, _get_maxSolutions__ysux2t($this), solver.c1y(), groundQueriesHaveBooleanSolution);
+      }
+    } catch ($p) {
+      if ($p instanceof ParseException) {
+        var e = $p;
+        $this.u5t(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$query$delegate$lambda($message) {
+    return function ($this$validate, it) {
+      // Inline function 'kotlin.text.isNotBlank' call
+      // Inline function 'com.github.ajalt.clikt.parameters.arguments.ArgumentTransformContext.require' call
+      if (!!isBlank(it)) {
+        var tmp$ret$3 = $message;
+        $this$validate.k44(tmp$ret$3);
+      }
+      return Unit_instance;
+    };
+  }
   function TuPrologSolveQuery$_get_query_$ref_bkd3qt() {
     return constructCallableReference(function (p0) {
       return _get_query__c6g9vb(p0);
-    }, 1, 0, 163);
+    }, 1, 0, 164);
   }
   function TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7() {
     return constructCallableReference(function (p0) {
       return _get_maxSolutions__ysux2t(p0);
-    }, 1, 0, 164);
+    }, 1, 0, 165);
   }
   function TuPrologSolveQuery() {
     AbstractTuPrologCommand.call(this, 'Compute a particular query and then terminate', VOID, 'solve');
     var tmp = this;
-    var tmp_0 = argument(this);
+    var tmp0 = argument(this);
+    // Inline function 'com.github.ajalt.clikt.parameters.arguments.check' call
+    var message = 'query must not be empty';
+    // Inline function 'com.github.ajalt.clikt.parameters.arguments.check' call
+    var tmp_0 = validate(tmp0, TuPrologSolveQuery$query$delegate$lambda(message));
     var tmp_1 = KProperty1;
-    tmp.u5v_1 = tmp_0.r44(this, getPropertyCallableRef('query', 1, tmp_1, TuPrologSolveQuery$_get_query_$ref_bkd3qt(), null));
+    tmp.b5w_1 = tmp_0.d45(this, getPropertyCallableRef('query', 1, tmp_1, TuPrologSolveQuery$_get_query_$ref_bkd3qt(), null));
     var tmp_2 = this;
     var tmp_3 = default_0(int(option(this, ['-n', '--numberOfSolutions'], 'Number of solution to calculate')), 0);
     var tmp_4 = KProperty1;
-    tmp_2.v5v_1 = tmp_3.c45(this, getPropertyCallableRef('maxSolutions', 1, tmp_4, TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7(), null));
+    tmp_2.c5w_1 = tmp_3.o45(this, getPropertyCallableRef('maxSolutions', 1, tmp_4, TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7(), null));
   }
-  protoOf(TuPrologSolveQuery).v3v = function () {
-    var solver = _get_parentCommand__z09ff4(this).v5u();
+  protoOf(TuPrologSolveQuery).c3w = function () {
+    var solver = _get_parentCommand__z09ff4(this).c5v();
     evalAndPrint(this, solver);
   };
   function isReadableFile(path) {

package/2p-repl.js.map

@@ -1 +1 @@
-{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","src/kotlin/text/Strings.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","src/kotlin/collections/Maps.kt","src/kotlin/util/Standard.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/PlatformSpecificUtils.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["printSolution","sol","operatorSet","groundQueriesHaveBooleanSolution","printYesSolution","printHaltSolution","ex","printEndOfSolutions","readQueryMultiline","query","longQuery","lastRead","printNoSolution","<init>","help","context","helpEpilog","printParseException","e","readQuery","printSolutions","solutions","first","cmd","printNumSolutions","maxSolutions","i","NullInputException_init_$Init$","message","cause","loadTheory","theory","t","readEvalPrintLoop","solver","goal","TuPrologCmd$getSolver$lambda$lambda$lambda","TuPrologCmd$getSolver$lambda$lambda","sep","formatter","stacktrace","TuPrologCmd$getSolver$lambda","additionalLibraries","run","solve","subcommand","getTimeout","getSolver","outputChannel","libraries","<get-parentCommand>","evalAndPrint","duration","isReadableFile","path","loadTheoryFromFile","main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EC6CYA,uBD7CZ,K,EC8CQC,G,EACAC,W,EACAC,gCAHIH,EAIN;A,IAEM,gBADE,GACF,O,CAAmB;A,MACf,wBAAiB,GAAjB,EAAsB,WAAtB,EAAmC,gCAAnC,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;UATJ,8B;;;;EAWJ,C;EAEQI,0BD/DZ,K,ECgEQH,G,EACAC,W,EACAC,gCAHIC,EAIN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,uBAAc,WAAd,EAA2B,gCAA3B,CAAzB,CAAT,C;EACJ,C;EAEQC,2BDvEZ,K,ECwEQJ,G,EACAC,WAFIG,EAGN;A,QACQC,KAAS,GAAI,M;IACf,gC,CAAoB;A,MAChB,UAAK,YAAL,C;MACA,MAAM,kBAAc,EAAd,CAAiB,UAAjB,C;IACV,C;MACQ,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;;EAEhB,C;EAWQC,6BD7FZ,KC6FYA,EAA0B;A,EAElC,C;EAyBQC,4BDxHZ,K,ECwHmCC,KAAvBD,EAA8C;A,QAClDE,YAAgB,kBAAc,KAAd,C;QAChBC,WAAe,K;0BACf;A;UD3HR,SC2HgB,Q;UCyDkE,YAAV,SAAP,KAAtB,6CAAsB,CAAO,C;WDzDzD,CAAiB,SAAP,SAAO,EAAS,8BAAT,C;;;UACT,iBAAS,OAAT,mBAAS,EAAO,GAAP,gCAA2B,GAA3B,C;UD5HhC,G;MC4HuB,2B;QACJ,MAAM,iCAAmB,iDAAnB,C;;cADF,c;;MAAX,c;MAEA,SAAU,IAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;EAGQC,yBDpIZ,K,ECqIQX,G,EACAC,WAFIU,EAGN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;EA5GkCC,iCD7BtC,I,EAAA,M,EAAA,I,EAAA,uB,EAAA,oB,EAAA,Q,EAAA,kB,EAAA,wB,EAAA,yB,EAAA,cC6BsCA,EAAA;A,2BACP,E;+BACE,E;2BACb,I;iEACgC,K;2DACH,K;mCACA,U;uDACF,E;mEACM,K;qEACC,K;+CACX,K;IAV3C,wBAWiB,IAXjB,C;IACI,iB;IACA,mB;IAEA,oC;IACA,iC;IACA,qB;IACA,+B;IACA,qC;IACA,sC;IACA,2B;EAVkC,C;yCD7BtC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCCyCaC,UAASC,OAATD,EAA6B;A,IAAS,OAAT,IAAS,CAAJ,K;EAAG,C;yCAErCE,UAAeD,OAAfC,EAAmC;A,IAAW,OAAX,IAAW,CAAN,K;EAAK,C;yCA8C5CC,UAAwBC,CAAxBD,EAA2C;A,QACrC,qBAAF,CAAE,Q;QD1FpB,G;IC0F6B,+B;YAAA,I;;;UD1F7B,K;;MEi1Be,IAniBwC,mBDpNrC,kBCoNqC,IAAS,CAmiBjD,C;YFj1Bf,KEi1BuC,WDvvBrB,kBCuvBqB,EAAK,CAAL,C;YDvvBgE,YAAhD,YAAH,EAAG,CAAP,GAAyB,UAAH,EAAG,CAAzB,GAA6C,WAAH,EAAG,C;gBCuvB7C,SAAnB,SAAmB,CAAnB,GAAgC,UDvvB3C,kBCuvB2C,EAAU,CAAV,C;;gBDvvB3C,kB;;;;IAAV,SAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;yCAcUE,UAAAA,EAAwB;A,QAC9BV,QAA8B,OAAT,kBAAS,EAAO,IAAP,gCAA4B,GAA5B,C;QD1GtC,G;IC4GY,aAAS,IAAT,C;MACI,MAAM,iCAAmB,gDAAnB,C;;;UCuE4D,YAAV,SAAP,KAAtB,eDrE/B,KCqE+B,IDrE/B,KCqE+B,cAAsB,CAAO,C;MDrE5D,IAAa,SAAP,SAAO,EAAS,8BAAT,CAAb,C;cACI,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;EAWJ,C;yCA6BUW,UACNC,S,EACAnB,W,EACAC,gCAHMiB,EAIR;A,QACEE,QAAY,I;oBACL,SAAU,I,EAAW;A,MACpB,KAAC,KAAD,C,CAAQ;A,YACW,4BAAT,kBAAS,EAAO,EAAP,oBAAuB,KAAvB,C;YD3JnC,G;QC2JkE,+B;gBAAA,I;;;gBCyBM,SAAP,KAAtB,eDzBjB,kBCyBiB,IDzBjB,kBCyBiB,cAAsB,CAAO,C;;YDzBxDC,S;QACI,cAAO,GAAP,E;UAAY,a;MACpB,C,MAAO;A,QACH,QAAQ,K;MACZ,C;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,EAA6C,gCAA7C,C;IACJ,C;IACA,yB;EACJ,C;yCASUC,UACNH,S,EACAI,Y,EACAvB,W,EACAC,gCAJMqB,EAKR;A,QACEE,IAAQ,C;WACD,IAAI,Y,IAAgB,SAAU,I,EAAW;A,MAC5C,IAAA,CAAC,IAAD,I;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,EAA6C,gCAA7C,C;IACJ,C;IACA,yB;EACJ,C;EE3KAC,wCAAYC,O,EAAkBC,K,EHblC,KGaIF,E;IAAmD,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;G;EAEAA,0CAAYC,O,EHfhB,KGeID,E;IAAgC,+BAAK,OAAL,EAAc,IAAd,Q;;G;EAAhCA,0CAAYC,OAAZD,E;QHfJ,0F;;;G;EAAA,4BAAA,EAAA;AAAA;AAAA,EAAA,CAAA;A,EIwDId,mBAAAA,EAAA;A,IAEqC,iB;EAFrC,C;;EJxDJ,iCAAA,EAAA;AAAA;AAAA,GAAA;EAAA,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,sFAAA;AAAA,EAAA,CAAA;EAAA,6BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,0FAAA;AAAA,EAAA,CAAA;EAAA,0BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,kFAAA;AAAA,EAAA,CAAA;EI6FYiB,oBJ7FZ,KI6FYA,EAAyB;A,QAC7BC,SAA4B,iD;QACf,oBAAK,mBAAL,KAAK,CAAL,I;WAAA,qB,EAAY;A,UJ/FjC,OI+FqB,qB;MACL,mBAAe,IAAf,E,CAAsB;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,gBJrG5C,M;YIsGoB,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;EAEQC,2BJvHZ,K,EIuHkCC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACAxB,QAAqB,W;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACA0B,OAAkB,kDAAM,KAAN,EAAa,MAAO,MAApB,C;cAClBd,YAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,MAAjB,CAA+B,I;UACtD,UACI,SADJ,EAEI,MAAO,MAFX,EAGI,OAAA,MAAO,MAAP,qGAAmF,KAAnF,CAHJ,C;QAKJ,C;4CAA4B;A,gBJnI5C,M;YIoIoB,UAAoB,CAApB,C;UACJ,C;;;;QACA,UAAK,EAAL,C;QACA,QAAQ,W;MACZ,C;IACJ,C;8CAAgC;A,YJzIxC,0B;QI0IY,UAAK,cAAL,C;QACA,MAAM,kBAAc,CAAd,C;MACV,C;;;;EACJ,C;EJ7IJ,4CAAA,EAAA;AAAA,gDAAA,E;aI+DuC,sB;OJ/DvC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,8CAAA,EAAA;AAAA,gDAAA,E;aIkE2B,uB;OJlE3B,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0CAAA,EAAA;AAAA,gDAAA,E;aIwEuB,oB;OJxEvB,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,6CAAA,UAAA,EAAA;AAAA,WI0KqEe,UAAA,EAAAA,EAAA;A,MAAsB,OAAjB,OAAH,EAAG,EAAO,UAAP,C;IAAkB,C;AJ1K5F,GAAA;EAAA,sCAAA,MAAA,EAAA;AAAA,WIsKsCC,UJtKtC,CIsKsCA,EAAA;A,MACtB,WAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAC,MAAU,W;UACVC,YAAwC,sDAAkB,CAAE,KAAQ,MAA5B,C;UJzKxD,MI0KiC,CAAE,M;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,WAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,oB;IAAA,C;AJ5KZ,GAAA;EIuLkCC,wCAAA,UAAAA,EAAA;A,IAAI,OAAF,UAAE,CAAF,K;EAAG,C;EAvItB5B,qBACb6B,mBADa7B,EAAA;A,IAAjB,mCAMe,qCANf,QAKe,uBALf,EAGkC,IAHlC,oBAImC,IAJnC,C;IAa0D,gC;QJ7D1D,MI+DuC,I;QJ/DvC,QIgES,SAD8B,aAAO,OAAM,UAAN,CAAP,EAAgC,kCAAhC,CAC9B,C;QJhET,kB;II+DuC,kH;QJ/DvC,QIkE2B,I;QJlE3B,QIsEY,UAAN,IAJqB,aACnB,OACA,WADA,CADmB,EAGZ,oEAHY,CAIrB,CAAM,EAAQ,IAAR,C;QJtEZ,kB;IIkE2B,wH;QJlE3B,QIwEuB,I;QJxEvB,QI2EM,KAHiB,aACf,SADe,EAER,uBAFQ,CAGjB,MAAe,KAAf,C;QJ3EN,kB;IIwEuB,gH;EAxBN,C;6BAmCJ8B,UAAAA,EAAU;A,QACfC,QAAoB,U;QACpBC,aAAiB,IAAK,MAAe,M;IAEjC,kBAAc,IAAd,C,CAAoB;A,MACpB,wBAAkB,KAAlB,C;IACJ,C;EAEJ,C;6BAyDAC,UAAAA,EAAiC;A,IAAgB,OAAR,QAAR,yBAAQ,C;EAAO,C;6BAchDC,UAAAA,EAAwB;A,IACpB,SAAK,uBAAL,C;QACAhB,SAA0B,WAAL,IAAK,C;QJpKlC,0B;QIqKQiB,gBACkB,OAAY,kCAAZ,C;QJtK1B,K;II8KgB,2B;cACQ,wBAAG,0DAAgB,IAAhB,CAAgB,KAAhB,EAAH,C;;cAEA,wBAAG,oCAAQ,IAAR,CAAQ,KAAR,EAAH,C;;QAJhBC,iB;QJ7KR,QImLsB,+BACT,aACA,YAAQ,SAAR,CACA,aAAS,MAAT,C;QJtLb,oC;;QAAA,SIuLa,mCAAqB,8BAArB,CACA,aAAS,aAAT,CACA,Q;;QAEwB,oBErF3B,MFqF8B,MCmWgD,KAAQ,I;WDnW3D,qB,EAAc;A;UAA1B,UAAY,qBCyI+B,K;MDxIhD,SAAM,iCAAN,GAAuC,OAAQ,MAA/C,GAAqD,GAArD,C;IACJ,C;IACA,SAAK,EAAL,C;IAXR,OE5EG,M;EFyFP,C;EJhMJ,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,6FAAA;AAAA,EAAA,CAAA;EAAA,mCAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,2GAAA;AAAA,EAAA,CAAA;EOoCQC,oCPpCR,KOoCQA,EAAQ;A,QAAe,qBAAf,WAAe,M;QPpC/B,MOoCuC,oCAAvB,kBAAuB,M;IAAsB,OAA7C,8C;EAA4C,C;EAWhDC,sBP/CZ,K,EO+C6BjB,MAAjBiB,EAAiC;A;QP/C7C,SOgDY,yB;IAAA,IL8P2C,6BAAS,CK9PpD,C,CAAoB;A,MACpB,IAAI;A,YACAC,WAA6B,iCAAc,M;YAC3C/B,YAAgB,MAAO,kBAAa,qCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,I;YAC5DlB,mCACI,OAAA,MAAO,MAAP,qGAAmF,KAAnF,C;QACA,yCAAgB,CAAhB,C,CAAmB;A,UACnB,UAAe,SAAf,EAA0B,MAAO,MAAjC,EAA4C,gCAA5C,C;QACJ,C,MAAO;A,UACH,UAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,MAAlD,EAA6D,gCAA7D,C;QACJ,C;MACJ,C;0CAA4B;A,cP3DxC,M;UO4DgB,UAAoB,CAApB,C;QACJ,C;;;;IACJ,C;;UP9DR,SO+DiB,0B;MDlCiC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;;ECoCpD,C;EPjEJ,mDAAA,EAAA;AAAA,gDAAA,E;aO8BiC,sB;OP9BjC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0DAAA,EAAA;AAAA,gDAAA,E;aO+BqC,6B;OP/BrC,CAAA,EAAA,CAAA;AAAA,GAAA;A,EOyBAU,4BAAAA,EAAA;A,IAAA,mCAEe,+CAFf,QAGe,OAHf,C;QPzBA,MO8BiC,I;QP9BjC,QO8BiC,c;QP9BjC,kB;IO8BiC,yH;QP9BjC,QO+BqC,I;QP/BrC,QOiCS,UADA,IAD4B,aAAO,OAAM,qBAAN,CAAP,EAA2C,iCAA3C,CAC5B,CACA,EAAQ,CAAR,C;QPjCT,kB;IO+BqC,yI;EANrC,C;oCAiBa8B,UAAAA,EAAU;A,QACfT,SAAa,gCAAc,M;IAC3B,mBAAa,MAAb,C;EACJ,C;ECpCGmB,wBAAmBC,IAAnBD,EAA0C;A;QRTjD,SQUS,qB;IFmByC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EElBxD,C;EAOOE,4BAAuBD,IAAvBC,EAA6C;A;QRlBpD,SQmBS,qB;IFUyC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EETxD,C;ECPAC,gBAASC,IAATD,EAA8B;A,IACsB,KAAlC,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,EAAK,IAAL,C;EACpD,C;;;;;;;;;;"}
+{"version":3,"sources":["NATIVE_IMPLEMENTATIONS.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/AbstractTuPrologCommand.kt","src/kotlin/text/Strings.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/NullInputException.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologCmd.kt","src/kotlin/collections/Maps.kt","src/kotlin/util/Standard.kt","../../../../../../../ui/repl/src/commonMain/kotlin/it/unibo/tuprolog/ui/repl/TuPrologSolveQuery.kt","../../../../../../../../../../../../Users/runner/work/clikt/clikt/clikt/src/commonMain/kotlin/com/github/ajalt/clikt/parameters/arguments/Argument.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/PlatformSpecificUtils.kt","../../../../../../../ui/repl/src/jsMain/kotlin/it/unibo/tuprolog/ui/repl/Repl.kt"],"sourcesContent":[null,null,null,null,null,null,null,null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["printSolution","sol","operatorSet","groundQueriesHaveBooleanSolution","printYesSolution","printHaltSolution","ex","printEndOfSolutions","readQueryMultiline","query","longQuery","lastRead","printNoSolution","<init>","help","context","helpEpilog","printParseException","e","readQuery","printSolutions","solutions","first","cmd","printNumSolutions","maxSolutions","i","NullInputException_init_$Init$","message","cause","loadTheory","theory","t","readEvalPrintLoop","solver","goal","TuPrologCmd$getSolver$lambda$lambda$lambda","TuPrologCmd$getSolver$lambda$lambda","sep","formatter","stacktrace","TuPrologCmd$getSolver$lambda","additionalLibraries","run","getTimeout","getSolver","outputChannel","libraries","<get-parentCommand>","evalAndPrint","duration","TuPrologSolveQuery$query$delegate$lambda$lambda","isReadableFile","path","loadTheoryFromFile","main","args"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EC6CYA,uBD7CZ,K,EC8CQC,G,EACAC,W,EACAC,gCAHIH,EAIN;A,IAEM,gBADE,GACF,O,CAAmB;A,MACf,wBAAiB,GAAjB,EAAsB,WAAtB,EAAmC,gCAAnC,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;UATJ,8B;;;;EAWJ,C;EAEQI,0BD/DZ,K,ECgEQH,G,EACAC,W,EACAC,gCAHIC,EAIN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,uBAAc,WAAd,EAA2B,gCAA3B,CAAzB,CAAT,C;EACJ,C;EAEQC,2BDvEZ,K,ECwEQJ,G,EACAC,WAFIG,EAGN;A,QACQC,KAAS,GAAI,M;IACf,gC,CAAoB;A,MAChB,UAAK,YAAL,C;MACA,MAAM,kBAAc,EAAd,CAAiB,UAAjB,C;IACV,C;MACQ,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;;EAEhB,C;EAWQC,6BD7FZ,KC6FYA,EAA0B;A,EAElC,C;EAyBQC,4BDxHZ,K,ECwHmCC,KAAvBD,EAA8C;A,QAClDE,YAAgB,kBAAc,KAAd,C;QAChBC,WAAe,K;0BACf;A;UD3HR,SC2HgB,Q;UCyDkE,YAAV,SAAP,KAAtB,6CAAsB,CAAO,C;WDzDzD,CAAiB,SAAP,SAAO,EAAS,8BAAT,C;;;UACT,iBAAS,OAAT,mBAAS,EAAO,GAAP,gCAA2B,GAA3B,C;UD5HhC,G;MC4HuB,2B;QACJ,MAAM,iCAAmB,iDAAnB,C;;cADF,c;;MAAX,c;MAEA,SAAU,IAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;EAGQC,yBDpIZ,K,ECqIQX,G,EACAC,WAFIU,EAGN;A,IACE,UAAS,OAAJ,GAAI,EAAyB,iCAAc,WAAd,CAAzB,CAAT,C;EACJ,C;EA5GkCC,iCD7BtC,I,EAAA,M,EAAA,I,EAAA,uB,EAAA,oB,EAAA,Q,EAAA,kB,EAAA,wB,EAAA,yB,EAAA,cC6BsCA,EAAA;A,2BACP,E;+BACE,E;2BACb,I;iEACgC,K;2DACH,K;mCACA,U;uDACF,E;mEACM,K;qEACC,K;+CACX,K;IAV3C,wBAWiB,IAXjB,C;IACI,iB;IACA,mB;IAEA,oC;IACA,iC;IACA,qB;IACA,+B;IACA,qC;IACA,sC;IACA,2B;EAVkC,C;yCD7BtC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;yCCyCaC,UAASC,OAATD,EAA6B;A,IAAS,OAAT,IAAS,CAAJ,K;EAAG,C;yCAErCE,UAAeD,OAAfC,EAAmC;A,IAAW,OAAX,IAAW,CAAN,K;EAAK,C;yCA8C5CC,UAAwBC,CAAxBD,EAA2C;A,QACrC,qBAAF,CAAE,Q;QD1FpB,G;IC0F6B,+B;YAAA,I;;;UD1F7B,K;;MEi1Be,IAniBwC,mBDpNrC,kBCoNqC,IAAS,CAmiBjD,C;YFj1Bf,KEi1BuC,WDvvBrB,kBCuvBqB,EAAK,CAAL,C;YDvvBgE,YAAhD,YAAH,EAAG,CAAP,GAAyB,UAAH,EAAG,CAAzB,GAA6C,WAAH,EAAG,C;gBCuvB7C,SAAnB,SAAmB,CAAnB,GAAgC,UDvvB3C,kBCuvB2C,EAAU,CAAV,C;;gBDvvB3C,kB;;;;IAAV,SAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;yCAcUE,UAAAA,EAAwB;A,QAC9BV,QAA8B,OAAT,kBAAS,EAAO,IAAP,gCAA4B,GAA5B,C;QD1GtC,G;IC4GY,aAAS,IAAT,C;MACI,MAAM,iCAAmB,gDAAnB,C;;;UCuE4D,YAAV,SAAP,KAAtB,eDrE/B,KCqE+B,IDrE/B,KCqE+B,cAAsB,CAAO,C;MDrE5D,IAAa,SAAP,SAAO,EAAS,8BAAT,CAAb,C;cACI,K;;cAGA,yBAAmB,KAAnB,C;;;IARR,U;EAWJ,C;yCA6BUW,UACNC,S,EACAnB,W,EACAC,gCAHMiB,EAIR;A,QACEE,QAAY,I;oBACL,SAAU,I,EAAW;A,MACpB,KAAC,KAAD,C,CAAQ;A,YACW,4BAAT,kBAAS,EAAO,EAAP,oBAAuB,KAAvB,C;YD3JnC,G;QC2JkE,+B;gBAAA,I;;;gBCyBM,SAAP,KAAtB,eDzBjB,kBCyBiB,IDzBjB,kBCyBiB,cAAsB,CAAO,C;;YDzBxDC,S;QACI,cAAO,GAAP,E;UAAY,a;MACpB,C,MAAO;A,QACH,QAAQ,K;MACZ,C;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,EAA6C,gCAA7C,C;IACJ,C;IACA,yB;EACJ,C;yCASUC,UACNH,S,EACAI,Y,EACAvB,W,EACAC,gCAJMqB,EAKR;A,QACEE,IAAQ,C;WACD,IAAI,Y,IAAgB,SAAU,I,EAAW;A,MAC5C,IAAA,CAAC,IAAD,I;MACA,oBAAc,SAAU,IAAxB,EAAgC,WAAhC,EAA6C,gCAA7C,C;IACJ,C;IACA,yB;EACJ,C;EE3KAC,wCAAYC,O,EAAkBC,K,EHblC,KGaIF,E;IAAmD,8BAAM,OAAN,EAAe,KAAf,Q;IAAnD,8B;;G;EAEAA,0CAAYC,O,EHfhB,KGeID,E;IAAgC,+BAAK,OAAL,EAAc,IAAd,Q;;G;EAAhCA,0CAAYC,OAAZD,E;QHfJ,0F;;;G;EAAA,4BAAA,EAAA;AAAA;AAAA,EAAA,CAAA;A,EIwDId,mBAAAA,EAAA;A,IAEqC,iB;EAFrC,C;;EJxDJ,iCAAA,EAAA;AAAA;AAAA,GAAA;EAAA,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,sFAAA;AAAA,EAAA,CAAA;EAAA,6BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,0FAAA;AAAA,EAAA,CAAA;EAAA,0BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,kFAAA;AAAA,EAAA,CAAA;EIyFYiB,oBJzFZ,KIyFYA,EAAyB;A,QAC7BC,SAA4B,iD;QACf,oBAAK,mBAAL,KAAK,CAAL,I;WAAA,qB,EAAY;A,UJ3FjC,OI2FqB,qB;MACL,mBAAe,IAAf,E,CAAsB;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,gBJjG5C,M;YIkGoB,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;EAEQC,2BJnHZ,K,EImHkCC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACAxB,QAAqB,W;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACA0B,OAAkB,kDAAM,KAAN,EAAa,MAAO,MAApB,C;cAClBd,YAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,MAAjB,CAA+B,I;UACtD,UACI,SADJ,EAEI,MAAO,MAFX,EAGI,OAAA,MAAO,MAAP,qGAAmF,KAAnF,CAHJ,C;QAKJ,C;4CAA4B;A,gBJ/H5C,M;YIgIoB,UAAoB,CAApB,C;UACJ,C;;;;QACA,UAAK,EAAL,C;QACA,QAAQ,W;MACZ,C;IACJ,C;8CAAgC;A,YJrIxC,0B;QIsIY,UAAK,cAAL,C;QACA,MAAM,kBAAc,CAAd,C;MACV,C;;;;EACJ,C;EJzIJ,4CAAA,EAAA;AAAA,gDAAA,E;aI+DuC,sB;OJ/DvC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,8CAAA,EAAA;AAAA,gDAAA,E;aIkE2B,uB;OJlE3B,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0CAAA,EAAA;AAAA,gDAAA,E;aIwEuB,oB;OJxEvB,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,6CAAA,UAAA,EAAA;AAAA,WIsKqEe,UAAA,EAAAA,EAAA;A,MAAsB,OAAjB,OAAH,EAAG,EAAO,UAAP,C;IAAkB,C;AJtK5F,GAAA;EAAA,sCAAA,MAAA,EAAA;AAAA,WIkKsCC,UJlKtC,CIkKsCA,EAAA;A,MACtB,WAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAC,MAAU,W;UACVC,YAAwC,sDAAkB,CAAE,KAAQ,MAA5B,C;UJrKxD,MIsKiC,CAAE,M;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,WAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,oB;IAAA,C;AJxKZ,GAAA;EImLkCC,wCAAA,UAAAA,EAAA;A,IAAI,OAAF,UAAE,CAAF,K;EAAG,C;EAnItB5B,qBACb6B,mBADa7B,EAAA;A,IAAjB,mCAMe,qCANf,QAKe,uBALf,EAGkC,IAHlC,oBAImC,IAJnC,C;IAa0D,gC;QJ7D1D,MI+DuC,I;QJ/DvC,QIgES,SAD8B,aAAO,OAAM,UAAN,CAAP,EAAgC,kCAAhC,CAC9B,C;QJhET,kB;II+DuC,kH;QJ/DvC,QIkE2B,I;QJlE3B,QIsEY,UAAN,IAJqB,aACnB,OACA,WADA,CADmB,EAGZ,oEAHY,CAIrB,CAAM,EAAQ,IAAR,C;QJtEZ,kB;IIkE2B,wH;QJlE3B,QIwEuB,I;QJxEvB,QI2EM,KAHiB,aACf,SADe,EAER,uBAFQ,CAGjB,MAAe,KAAf,C;QJ3EN,kB;IIwEuB,gH;EAxBN,C;6BAmCJ8B,UAAAA,EAAU;A,IACX,IAAA,UAAe,MAAf,IAAoC,IAApC,C,CAA0C;A,MAC1C,wBAAkB,UAAlB,C;IACJ,C;EACJ,C;6BAyDAC,UAAAA,EAAiC;A,IAAgB,OAAR,QAAR,yBAAQ,C;EAAO,C;6BAchDC,UAAAA,EAAwB;A,IACpB,SAAK,uBAAL,C;QACAd,SAA0B,WAAL,IAAK,C;QJhKlC,0B;QIiKQe,gBACkB,OAAY,kCAAZ,C;QJlK1B,K;II0KgB,2B;cACQ,wBAAG,0DAAgB,IAAhB,CAAgB,KAAhB,EAAH,C;;cAEA,wBAAG,oCAAQ,IAAR,CAAQ,KAAR,EAAH,C;;QAJhBC,iB;QJzKR,QI+KsB,+BACT,aACA,YAAQ,SAAR,CACA,aAAS,MAAT,C;QJlLb,oC;;QAAA,SImLa,mCAAqB,8BAArB,CACA,aAAS,aAAT,CACA,Q;;QAEwB,oBEjF3B,MFiF8B,MCuWgD,KAAQ,I;WDvW3D,qB,EAAc;A;UAA1B,UAAY,qBC6I+B,K;MD5IhD,SAAM,iCAAN,GAAuC,OAAQ,MAA/C,GAAqD,GAArD,C;IACJ,C;IACA,SAAK,EAAL,C;IAXR,OExEG,M;EFqFP,C;EJ5LJ,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,6FAAA;AAAA,EAAA,CAAA;EAAA,mCAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,KAAA,KAAA,KAAA,2GAAA;AAAA,EAAA,CAAA;EOqCQC,oCPrCR,KOqCQA,EAAQ;A,QAAe,qBAAf,WAAe,M;QPrC/B,MOqCuC,oCAAvB,kBAAuB,M;IAAsB,OAA7C,8C;EAA4C,C;EAWhDC,sBPhDZ,K,EOgD6Bf,MAAjBe,EAAiC;A,IACrC,IAAI;A,UACAC,WAA6B,iCAAc,M;UAC3C7B,YAAgB,MAAO,kBAAa,qCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,I;UAC5DlB,mCACI,OAAA,MAAO,MAAP,qGAAmF,KAAnF,C;MACA,yCAAgB,CAAhB,C,CAAmB;A,QACnB,UAAe,SAAf,EAA0B,MAAO,MAAjC,EAA4C,gCAA5C,C;MACJ,C,MAAO;A,QACH,UAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,MAAlD,EAA6D,gCAA7D,C;MACJ,C;IACJ,C;wCAA4B;A,YP3DpC,M;QO4DY,UAAoB,CAApB,C;MACJ,C;;;;EACJ,C;EP9DJ,kDAAA,QAAA,EAAA;AAAA,WOgEq+kBgD,UAAA,c,EAAA,EAAAA,EAAA;A;;MC8Bz9kB,KN+N2C,CAAC,QK7Pi8kB,EL6Pj8kB,CM/N5C,C,CAAQ;A,YAqgB0C,YAtB3C,Q;QD7gBo9kB,cC8Bn9kB,KAAK,SAAL,C;MAAkB,C;MD9B4+kB,oB;IAAA,C;APhElhlB,GAAA;EAAA,mDAAA,EAAA;AAAA,gDAAA,E;aO+BiC,sB;OP/BjC,CAAA,EAAA,CAAA;AAAA,GAAA;EAAA,0DAAA,EAAA;AAAA,gDAAA,E;aOgCqC,6B;OPhCrC,CAAA,EAAA,CAAA;AAAA,GAAA;A,EO0BAtC,4BAAAA,EAAA;A,IAAA,mCAEe,+CAFf,QAGe,OAHf,C;QP1BA,MO+BiC,I;QP/BjC,OO+BiC,c;;QP/BjC,UO+BkD,yB;;QP/BlD,QQmmBW,eAAS,iDAAT,C;QRnmBX,kB;IO+BiC,yH;QP/BjC,QOgCqC,I;QPhCrC,QOkCS,UADA,IAD4B,aAAO,OAAM,qBAAN,CAAP,EAA2C,iCAA3C,CAC5B,CACA,EAAQ,CAAR,C;QPlCT,kB;IOgCqC,yI;EANrC,C;oCAiBa8B,UAAAA,EAAU;A,QACfT,SAAa,gCAAc,M;IAC3B,mBAAa,MAAb,C;EACJ,C;EErCGkB,wBAAmBC,IAAnBD,EAA0C;A;QTTjD,SSUS,qB;IHmByC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EGlBxD,C;EAOOE,4BAAuBD,IAAvBC,EAA6C;A;QTlBpD,SSmBS,qB;IHUyC,MAAM,wBAAqB,mCAArB,GAAuD,MAAvD,C;EGTxD,C;ECPAC,gBAASC,IAATD,EAA8B;A,IACsB,KAAlC,YAAd,mBAAc,EAAY,0BAAZ,CAAkC,EAAK,IAAL,C;EACpD,C;;;;;;;;;;"}

package/2p-solve-plp.js

@@ -15,7 +15,7 @@
 }(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_utils) {
   'use strict';
   //region block: imports
-  var THROW_CCE = kotlin_kotlin.$_$.fe;
+  var THROW_CCE = kotlin_kotlin.$_$.he;
   var setTag = kotlin_it_unibo_tuprolog_utils.$_$.l1;
   //endregion
   //region block: pre-declaration
@@ -24,7 +24,7 @@
     return _this__u8e3s4.setOption('it.unibo.tuprolog.solve.options.probabilistic', value);
   }
   function get_isProbabilistic(_this__u8e3s4) {
-    var tmp = _this__u8e3s4.t20().j2('it.unibo.tuprolog.solve.options.probabilistic');
+    var tmp = _this__u8e3s4.u20().j2('it.unibo.tuprolog.solve.options.probabilistic');
     var tmp0_elvis_lhs = (tmp == null ? true : typeof tmp === 'boolean') ? tmp : THROW_CCE();
     return tmp0_elvis_lhs == null ? false : tmp0_elvis_lhs;
   }