@tuprolog/2p-full 0.31.1-dev0u → 0.31.2

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
package/2p-repl.js CHANGED
@@ -105,16 +105,16 @@
105
105
  }
106
106
  function printYesSolution($this, sol, operatorSet) {
107
107
  var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
108
- $this.f3y(tmp, false, false, null, 14, null);
108
+ $this.i3y(tmp, false, false, null, 14, null);
109
109
  }
110
110
  function printHaltSolution($this, sol, operatorSet) {
111
111
  var ex = sol.c1w();
112
112
  if (ex instanceof HaltException) {
113
- $this.f3y('goodbye.', false, false, null, 14, null);
113
+ $this.i3y('goodbye.', false, false, null, 14, null);
114
114
  throw new ProgramResult(ex.exitStatus);
115
115
  } else {
116
116
  var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
117
- $this.f3y(tmp, false, false, null, 14, null);
117
+ $this.i3y(tmp, false, false, null, 14, null);
118
118
  }
119
119
  }
120
120
  function printEndOfSolutions($this) {
@@ -132,7 +132,7 @@
132
132
  if (!!endsWith$default(tmp, tmp_0, false, 2, null)) {
133
133
  break $l$loop;
134
134
  }
135
- var tmp0_elvis_lhs = $this.j3y('>', null, false, false, null, ' ', false, 94, null);
135
+ var tmp0_elvis_lhs = $this.m3y('>', null, false, false, null, ' ', false, 94, null);
136
136
  var tmp_1;
137
137
  if (tmp0_elvis_lhs == null) {
138
138
  throw NullInputException_init_$Create$('The standard input has been closed unexpectedly');
@@ -146,12 +146,12 @@
146
146
  }
147
147
  function printNoSolution($this, sol, operatorSet) {
148
148
  var tmp = format(sol, Companion_getInstance().withOperators(operatorSet));
149
- $this.f3y(tmp, false, false, null, 14, null);
149
+ $this.i3y(tmp, false, false, null, 14, null);
150
150
  }
151
151
  function AbstractTuPrologCommand(help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden) {
152
152
  CliktCommand.call(this, help, epilog, name, invokeWithoutSubcommand, printHelpOnEmptyArgs, helpTags, autoCompleteEnvvar, allowMultipleSubcommands, treatUnknownOptionsAsArgs, hidden);
153
153
  }
154
- AbstractTuPrologCommand.prototype.i4a = function (e) {
154
+ AbstractTuPrologCommand.prototype.l4a = function (e) {
155
155
  var tmp0_safe_receiver = e.message;
156
156
  var tmp;
157
157
  if (tmp0_safe_receiver == null) {
@@ -183,10 +183,10 @@
183
183
  tmp = tmp$ret$4;
184
184
  }
185
185
  var tmp_2 = '# ' + tmp;
186
- this.f3y(tmp_2, false, true, null, 10, null);
186
+ this.i3y(tmp_2, false, true, null, 10, null);
187
187
  };
188
- AbstractTuPrologCommand.prototype.j4a = function () {
189
- var query = this.j3y('?-', null, false, false, null, ' ', false, 94, null);
188
+ AbstractTuPrologCommand.prototype.m4a = function () {
189
+ var query = this.m3y('?-', null, false, false, null, ' ', false, 94, null);
190
190
  var tmp;
191
191
  if (query == null) {
192
192
  throw NullInputException_init_$Create$('The standard input has been close unexpectedly');
@@ -204,11 +204,11 @@
204
204
  }
205
205
  return tmp;
206
206
  };
207
- AbstractTuPrologCommand.prototype.k4a = function (solutions, operatorSet) {
207
+ AbstractTuPrologCommand.prototype.n4a = function (solutions, operatorSet) {
208
208
  var first = true;
209
209
  $l$loop: while (solutions.m()) {
210
210
  if (!first) {
211
- var tmp0_safe_receiver = defaultCliktConsole().y45('', false);
211
+ var tmp0_safe_receiver = defaultCliktConsole().b46('', false);
212
212
  var tmp;
213
213
  if (tmp0_safe_receiver == null) {
214
214
  tmp = null;
@@ -228,7 +228,7 @@
228
228
  }
229
229
  printEndOfSolutions(this);
230
230
  };
231
- AbstractTuPrologCommand.prototype.l4a = function (solutions, maxSolutions, operatorSet) {
231
+ AbstractTuPrologCommand.prototype.o4a = function (solutions, maxSolutions, operatorSet) {
232
232
  var i = 0;
233
233
  while (i < maxSolutions ? solutions.m() : false) {
234
234
  var tmp0 = i;
@@ -256,7 +256,7 @@
256
256
  }
257
257
  function Companion() {
258
258
  Companion_instance = this;
259
- this.m4a_1 = 1000;
259
+ this.p4a_1 = 1000;
260
260
  }
261
261
  var Companion_instance;
262
262
  function Companion_getInstance_6() {
@@ -265,13 +265,13 @@
265
265
  return Companion_instance;
266
266
  }
267
267
  function _get_files__hkfg7a($this) {
268
- return $this.f4b_1.h46($this, files$factory_0());
268
+ return $this.i4b_1.k46($this, files$factory_0());
269
269
  }
270
270
  function _get_timeout__tg4wg($this) {
271
- return $this.g4b_1.h46($this, timeout$factory_0());
271
+ return $this.j4b_1.k46($this, timeout$factory_0());
272
272
  }
273
273
  function _get_oop__e6e8e9($this) {
274
- return $this.h4b_1.h46($this, oop$factory_0());
274
+ return $this.k4b_1.k46($this, oop$factory_0());
275
275
  }
276
276
  function loadTheory($this) {
277
277
  var theory = Companion_getInstance_0().emptyWithDefaultUnificator();
@@ -282,38 +282,38 @@
282
282
  try {
283
283
  var t = loadTheoryFromFile(file);
284
284
  var tmp = '# Successfully loaded ' + toString(t.o()) + ' clauses from ' + file;
285
- $this.f3y(tmp, false, false, null, 14, null);
285
+ $this.i3y(tmp, false, false, null, 14, null);
286
286
  theory = theory.plusTheory(t);
287
287
  } catch ($p) {
288
288
  if ($p instanceof ParseException) {
289
289
  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 ';
290
290
  var tmp_1 = trimMargin$default(tmp_0, null, 1, null);
291
- $this.f3y(tmp_1, false, true, null, 10, null);
291
+ $this.i3y(tmp_1, false, true, null, 10, null);
292
292
  } else {
293
293
  throw $p;
294
294
  }
295
295
  }
296
296
  }
297
297
  }
298
- $this.f3y('', false, false, null, 14, null);
298
+ $this.i3y('', false, false, null, 14, null);
299
299
  return theory;
300
300
  }
301
301
  function readEvalPrintLoop($this, solver) {
302
- var query = $this.j4a();
302
+ var query = $this.m4a();
303
303
  while (!(query == null)) {
304
304
  try {
305
305
  var goal = parseStructWithOperators(Companion_getInstance_1(), query, solver.h1v());
306
- var solutions = solver.solveWithTimeout(goal, $this.i4b()).j();
307
- $this.k4a(solutions, solver.h1v());
306
+ var solutions = solver.solveWithTimeout(goal, $this.l4b()).j();
307
+ $this.n4a(solutions, solver.h1v());
308
308
  } catch ($p) {
309
309
  if ($p instanceof ParseException) {
310
- $this.i4a($p);
310
+ $this.l4a($p);
311
311
  } else {
312
312
  throw $p;
313
313
  }
314
314
  }
315
- $this.f3y('', false, false, null, 14, null);
316
- query = $this.j4a();
315
+ $this.i3y('', false, false, null, 14, null);
316
+ query = $this.m4a();
317
317
  }
318
318
  }
319
319
  function TuPrologCmd$getSolver$lambda$lambda($formatter) {
@@ -324,55 +324,55 @@
324
324
  function TuPrologCmd$getSolver$lambda(this$0) {
325
325
  return function (w) {
326
326
  var tmp = '# ' + w.message;
327
- this$0.f3y(tmp, false, true, null, 10, null);
327
+ this$0.i3y(tmp, false, true, null, 10, null);
328
328
  var sep = '\n at ';
329
329
  var formatter = Companion_getInstance_2().prettyExpressionsPrettyVariables(w.j5().h1v());
330
330
  var tmp_0 = w.s1u();
331
331
  var stacktrace = joinToString$default(tmp_0, sep, null, null, 0, null, TuPrologCmd$getSolver$lambda$lambda(formatter), 30, null);
332
332
  var tmp_1 = '# at ' + stacktrace;
333
- this$0.f3y(tmp_1, false, true, null, 10, null);
333
+ this$0.i3y(tmp_1, false, true, null, 10, null);
334
334
  return Unit_getInstance();
335
335
  };
336
336
  }
337
337
  function TuPrologCmd(additionalLibraries) {
338
338
  Companion_getInstance_6();
339
339
  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);
340
- this.e4b_1 = additionalLibraries;
340
+ this.h4b_1 = additionalLibraries;
341
341
  var tmp = this;
342
342
  var tmp_0 = option$default(this, ['-T', '--theory'], 'Path of theory file to be loaded', null, false, null, null, null, null, 252, null);
343
- tmp.f4b_1 = multiple$default(tmp_0, null, false, 3, null).q47(this, files$factory());
343
+ tmp.i4b_1 = multiple$default(tmp_0, null, false, 3, null).t47(this, files$factory());
344
344
  var tmp_1 = this;
345
345
  Companion_getInstance_6();
346
346
  var tmp_2 = 'Maximum amount of time for computing a solution (default: ' + 1000 + ' ms)';
347
347
  var tmp_3 = int(option$default(this, ['-t', '--timeout'], tmp_2, null, false, null, null, null, null, 252, null));
348
348
  Companion_getInstance_6();
349
- tmp_1.g4b_1 = default$default(tmp_3, 1000, null, 2, null).q47(this, timeout$factory());
349
+ tmp_1.j4b_1 = default$default(tmp_3, 1000, null, 2, null).t47(this, timeout$factory());
350
350
  var tmp_4 = this;
351
351
  var tmp_5 = option$default(this, ['--oop'], 'Loads the OOP library', null, false, null, null, null, null, 252, null);
352
- tmp_4.h4b_1 = flag$default(tmp_5, [], false, null, 5, null).q47(this, oop$factory());
352
+ tmp_4.k4b_1 = flag$default(tmp_5, [], false, null, 5, null).t47(this, oop$factory());
353
353
  }
354
- TuPrologCmd.prototype.e3z = function () {
355
- var solve = this.j4b();
356
- var subcommand = this.n2b().z3w_1;
354
+ TuPrologCmd.prototype.h3z = function () {
355
+ var solve = this.m4b();
356
+ var subcommand = this.v2b().c3x_1;
357
357
  if (subcommand == null) {
358
358
  readEvalPrintLoop(this, solve);
359
359
  }
360
360
  };
361
- TuPrologCmd.prototype.i4b = function () {
361
+ TuPrologCmd.prototype.l4b = function () {
362
362
  return toLong(_get_timeout__tg4wg(this));
363
363
  };
364
- TuPrologCmd.prototype.j4b = function () {
364
+ TuPrologCmd.prototype.m4b = function () {
365
365
  Info_getInstance();
366
- var tmp = '# 2P-Kt version ' + '0.31.1-dev0u+e9664fe5a';
367
- this.f3y(tmp, false, false, null, 14, null);
366
+ var tmp = '# 2P-Kt version ' + '0.31.2';
367
+ this.i3y(tmp, false, false, null, 14, null);
368
368
  var theory = loadTheory(this);
369
369
  var tmp_0 = Companion_getInstance_3();
370
370
  var outputChannel = tmp_0.of(TuPrologCmd$getSolver$lambda(this));
371
371
  var tmp_1;
372
372
  if (_get_oop__e6e8e9(this)) {
373
- tmp_1 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.e4b_1]));
373
+ tmp_1 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance(), OOPLib_getInstance()], this.h4b_1]));
374
374
  } else {
375
- tmp_1 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance()], this.e4b_1]));
375
+ tmp_1 = Companion_getInstance_4().of(arrayConcat([[IOLib_getInstance()], this.h4b_1]));
376
376
  }
377
377
  var libraries = tmp_1;
378
378
  var tmp$ret$2;
@@ -392,10 +392,10 @@
392
392
  // Inline function 'kotlin.collections.component2' call
393
393
  tmp$ret$1 = tmp1_loop_parameter.b1();
394
394
  var library = tmp$ret$1;
395
- var tmp_3 = '# Successfully loaded library `' + library.i2e() + '`';
396
- this.f3y(tmp_3, false, false, null, 14, null);
395
+ var tmp_3 = '# Successfully loaded library `' + library.o2e() + '`';
396
+ this.i3y(tmp_3, false, false, null, 14, null);
397
397
  }
398
- this.f3y('', false, false, null, 14, null);
398
+ this.i3y('', false, false, null, 14, null);
399
399
  tmp$ret$2 = tmp0_also;
400
400
  return tmp$ret$2;
401
401
  };
@@ -430,14 +430,14 @@
430
430
  }, null);
431
431
  }
432
432
  function _get_query__c6g9vb($this) {
433
- return $this.b4c_1.h46($this, query$factory_0());
433
+ return $this.e4c_1.k46($this, query$factory_0());
434
434
  }
435
435
  function _get_maxSolutions__ysux2t($this) {
436
- return $this.c4c_1.h46($this, maxSolutions$factory_0());
436
+ return $this.f4c_1.k46($this, maxSolutions$factory_0());
437
437
  }
438
438
  function _get_parentCommand__z09ff4($this) {
439
- var tmp0_safe_receiver = $this.n2b().j3w_1;
440
- var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.k3w_1;
439
+ var tmp0_safe_receiver = $this.v2b().m3w_1;
440
+ var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.n3w_1;
441
441
  return tmp instanceof TuPrologCmd ? tmp : THROW_CCE();
442
442
  }
443
443
  function evalAndPrint($this, solver) {
@@ -447,16 +447,16 @@
447
447
  tmp$ret$0 = charSequenceLength(tmp0_isNotEmpty) > 0;
448
448
  if (tmp$ret$0) {
449
449
  try {
450
- var duration = _get_parentCommand__z09ff4($this).i4b();
450
+ var duration = _get_parentCommand__z09ff4($this).l4b();
451
451
  var solutions = solver.solveWithTimeout(parseStruct(Companion_getInstance_1(), _get_query__c6g9vb($this)), duration).j();
452
452
  if (_get_maxSolutions__ysux2t($this) === 0) {
453
- $this.k4a(solutions, solver.h1v());
453
+ $this.n4a(solutions, solver.h1v());
454
454
  } else {
455
- $this.l4a(solutions, _get_maxSolutions__ysux2t($this), solver.h1v());
455
+ $this.o4a(solutions, _get_maxSolutions__ysux2t($this), solver.h1v());
456
456
  }
457
457
  } catch ($p) {
458
458
  if ($p instanceof ParseException) {
459
- $this.i4a($p);
459
+ $this.l4a($p);
460
460
  } else {
461
461
  throw $p;
462
462
  }
@@ -469,13 +469,13 @@
469
469
  function TuPrologSolveQuery() {
470
470
  AbstractTuPrologCommand_init_$Init$('Compute a particular query and then terminate', null, 'solve', false, false, null, null, false, false, false, 1018, null, this);
471
471
  var tmp = this;
472
- tmp.b4c_1 = argument$default(this, null, null, null, null, 15, null).i46(this, query$factory());
472
+ tmp.e4c_1 = argument$default(this, null, null, null, null, 15, null).l46(this, query$factory());
473
473
  var tmp_0 = this;
474
474
  var tmp_1 = int(option$default(this, ['-n', '--numberOfSolutions'], 'Number of solution to calculate', null, false, null, null, null, null, 252, null));
475
- tmp_0.c4c_1 = default$default(tmp_1, 0, null, 2, null).q47(this, maxSolutions$factory());
475
+ tmp_0.f4c_1 = default$default(tmp_1, 0, null, 2, null).t47(this, maxSolutions$factory());
476
476
  }
477
- TuPrologSolveQuery.prototype.e3z = function () {
478
- var solver = _get_parentCommand__z09ff4(this).j4b();
477
+ TuPrologSolveQuery.prototype.h3z = function () {
478
+ var solver = _get_parentCommand__z09ff4(this).m4b();
479
479
  evalAndPrint(this, solver);
480
480
  };
481
481
  function query$factory() {
@@ -507,7 +507,7 @@
507
507
  throw new NotImplementedError('An operation is not implemented: Not yet implemented');
508
508
  }
509
509
  function main(args) {
510
- subcommands(new TuPrologCmd([]), [new TuPrologSolveQuery()]).d3z(args);
510
+ subcommands(new TuPrologCmd([]), [new TuPrologSolveQuery()]).g3z(args);
511
511
  }
512
512
  //region block: exports
513
513
  _.$_$ = _.$_$ || {};
package/2p-repl.js.map CHANGED
@@ -1 +1 @@
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,wB;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;;;;;;;;"}
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;;;;;;;;"}