@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-bdd.js +141 -141
- package/2p-core.js +1 -1
- package/2p-core.js.map +1 -1
- package/2p-io-lib.js +479 -479
- package/2p-oop-lib.js +606 -606
- package/2p-parser-core.js +116 -116
- package/2p-parser-theory.js +9 -9
- package/2p-repl.js +56 -56
- package/2p-repl.js.map +1 -1
- package/2p-solve-classic.js +760 -760
- package/2p-solve-problog.js +751 -751
- package/2p-solve-streams.js +549 -549
- package/2p-solve.js +2549 -2438
- package/2p-solve.js.map +1 -1
- package/clikt-clikt-js-ir.js +1007 -1007
- package/kotlin-kotlin-stdlib-js-ir.js +6 -6
- package/kotlin-kotlin-stdlib-js-ir.js.map +1 -1
- package/package.json +1 -1
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
186
|
+
this.i3y(tmp_2, false, true, null, 10, null);
|
|
187
187
|
};
|
|
188
|
-
AbstractTuPrologCommand.prototype.
|
|
189
|
-
var query = this.
|
|
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.
|
|
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().
|
|
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.
|
|
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.
|
|
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.
|
|
268
|
+
return $this.i4b_1.k46($this, files$factory_0());
|
|
269
269
|
}
|
|
270
270
|
function _get_timeout__tg4wg($this) {
|
|
271
|
-
return $this.
|
|
271
|
+
return $this.j4b_1.k46($this, timeout$factory_0());
|
|
272
272
|
}
|
|
273
273
|
function _get_oop__e6e8e9($this) {
|
|
274
|
-
return $this.
|
|
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.
|
|
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.
|
|
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.
|
|
298
|
+
$this.i3y('', false, false, null, 14, null);
|
|
299
299
|
return theory;
|
|
300
300
|
}
|
|
301
301
|
function readEvalPrintLoop($this, solver) {
|
|
302
|
-
var query = $this.
|
|
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.
|
|
307
|
-
$this.
|
|
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.
|
|
310
|
+
$this.l4a($p);
|
|
311
311
|
} else {
|
|
312
312
|
throw $p;
|
|
313
313
|
}
|
|
314
314
|
}
|
|
315
|
-
$this.
|
|
316
|
-
query = $this.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
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.
|
|
352
|
+
tmp_4.k4b_1 = flag$default(tmp_5, [], false, null, 5, null).t47(this, oop$factory());
|
|
353
353
|
}
|
|
354
|
-
TuPrologCmd.prototype.
|
|
355
|
-
var solve = this.
|
|
356
|
-
var subcommand = this.
|
|
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.
|
|
361
|
+
TuPrologCmd.prototype.l4b = function () {
|
|
362
362
|
return toLong(_get_timeout__tg4wg(this));
|
|
363
363
|
};
|
|
364
|
-
TuPrologCmd.prototype.
|
|
364
|
+
TuPrologCmd.prototype.m4b = function () {
|
|
365
365
|
Info_getInstance();
|
|
366
|
-
var tmp = '# 2P-Kt version ' + '0.31.
|
|
367
|
-
this.
|
|
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.
|
|
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.
|
|
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.
|
|
396
|
-
this.
|
|
395
|
+
var tmp_3 = '# Successfully loaded library `' + library.o2e() + '`';
|
|
396
|
+
this.i3y(tmp_3, false, false, null, 14, null);
|
|
397
397
|
}
|
|
398
|
-
this.
|
|
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.
|
|
433
|
+
return $this.e4c_1.k46($this, query$factory_0());
|
|
434
434
|
}
|
|
435
435
|
function _get_maxSolutions__ysux2t($this) {
|
|
436
|
-
return $this.
|
|
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.
|
|
440
|
-
var tmp = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.
|
|
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).
|
|
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.
|
|
453
|
+
$this.n4a(solutions, solver.h1v());
|
|
454
454
|
} else {
|
|
455
|
-
$this.
|
|
455
|
+
$this.o4a(solutions, _get_maxSolutions__ysux2t($this), solver.h1v());
|
|
456
456
|
}
|
|
457
457
|
} catch ($p) {
|
|
458
458
|
if ($p instanceof ParseException) {
|
|
459
|
-
$this.
|
|
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.
|
|
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.
|
|
475
|
+
tmp_0.f4c_1 = default$default(tmp_1, 0, null, 2, null).t47(this, maxSolutions$factory());
|
|
476
476
|
}
|
|
477
|
-
TuPrologSolveQuery.prototype.
|
|
478
|
-
var solver = _get_parentCommand__z09ff4(this).
|
|
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()]).
|
|
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,
|
|
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;;;;;;;;"}
|