@tuprolog/2p-full 2.0.9 → 3.0.0
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 +21 -21
- package/2p-core.js +105 -100
- package/2p-core.js.map +1 -1
- package/2p-full.js +7 -11
- package/2p-full.js.map +1 -1
- package/2p-io-lib.js +331 -121
- package/2p-io-lib.js.map +1 -1
- package/2p-oop-lib.js +276 -141
- package/2p-oop-lib.js.map +1 -1
- package/2p-parser-core.js +11 -11
- package/2p-parser-impl.js +65 -65
- package/2p-parser-theory.js +13 -13
- package/2p-repl.js +54 -51
- package/2p-repl.js.map +1 -1
- package/2p-solve-plp.js +1 -1
- package/2p-solve-problog.js +118 -118
- package/2p-solve-problog.js.map +1 -1
- package/{2p-solve-classic.js → 2p-solve-prolog.js} +727 -703
- package/2p-solve-prolog.js.map +1 -0
- package/2p-solve.js +2484 -1305
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +54 -54
- package/2p-unify.js +22 -22
- package/2p-utils.js +42 -42
- package/README.md +1 -1
- package/clikt-clikt-mordant.js +9 -9
- package/clikt-clikt.js +129 -129
- package/colormath-root-colormath.js +29 -29
- package/kotlin-kotlin-stdlib.js +707 -645
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kt-math.js +70 -70
- package/markdown.js +15 -0
- package/markdown.js.map +1 -0
- package/mordant-mordant.js +81 -81
- package/okio-parent-okio-nodefilesystem.js +10 -10
- package/okio-parent-okio.js +33 -33
- package/package.json +1 -1
- package/2p-solve-classic.js.map +0 -1
- package/2p-solve-streams.js +0 -2661
- package/2p-solve-streams.js.map +0 -1
package/2p-parser-theory.js
CHANGED
|
@@ -28,38 +28,38 @@
|
|
|
28
28
|
'use strict';
|
|
29
29
|
//region block: imports
|
|
30
30
|
var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.k;
|
|
31
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
31
|
+
var protoOf = kotlin_kotlin.$_$.s8;
|
|
32
32
|
var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.j1;
|
|
33
|
-
var initMetadataForCompanion = kotlin_kotlin.$_$.
|
|
33
|
+
var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
|
|
34
34
|
var Companion_instance = kotlin_it_unibo_tuprolog_theory.$_$.b;
|
|
35
35
|
var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_unify.$_$.a;
|
|
36
|
-
var toList = kotlin_kotlin.$_$.
|
|
37
|
-
var initMetadataForInterface = kotlin_kotlin.$_$.
|
|
36
|
+
var toList = kotlin_kotlin.$_$.hb;
|
|
37
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.e8;
|
|
38
38
|
var toOperatorTable = kotlin_it_unibo_tuprolog_parser_core.$_$.g;
|
|
39
39
|
var Unit_instance = kotlin_kotlin.$_$.r;
|
|
40
40
|
var VOID = kotlin_kotlin.$_$.b;
|
|
41
41
|
var LexerOptions = kotlin_it_unibo_tuprolog_parser_impl.$_$.r;
|
|
42
42
|
var ParserOptions = kotlin_it_unibo_tuprolog_parser_impl.$_$.s;
|
|
43
43
|
var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.u;
|
|
44
|
-
var initMetadataForClass = kotlin_kotlin.$_$.
|
|
45
|
-
var sequence = kotlin_kotlin.$_$.
|
|
46
|
-
var CoroutineImpl = kotlin_kotlin.$_$.
|
|
47
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
48
|
-
var SequenceScope = kotlin_kotlin.$_$.
|
|
44
|
+
var initMetadataForClass = kotlin_kotlin.$_$.b8;
|
|
45
|
+
var sequence = kotlin_kotlin.$_$.bb;
|
|
46
|
+
var CoroutineImpl = kotlin_kotlin.$_$.j6;
|
|
47
|
+
var THROW_CCE = kotlin_kotlin.$_$.fe;
|
|
48
|
+
var SequenceScope = kotlin_kotlin.$_$.u9;
|
|
49
49
|
var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.w;
|
|
50
50
|
var PrologTermParserVisitor = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
|
|
51
51
|
var termToClause = kotlin_it_unibo_tuprolog_parser_core.$_$.e;
|
|
52
|
-
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.
|
|
52
|
+
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.i6;
|
|
53
53
|
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.u;
|
|
54
54
|
var Struct = kotlin_it_unibo_tuprolog_core.$_$.z1;
|
|
55
|
-
var isInterface = kotlin_kotlin.$_$.
|
|
55
|
+
var isInterface = kotlin_kotlin.$_$.k8;
|
|
56
56
|
var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.j;
|
|
57
57
|
var toDefinition = kotlin_it_unibo_tuprolog_parser_core.$_$.f;
|
|
58
58
|
var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.a;
|
|
59
59
|
var InvalidOperatorDefinitionException = kotlin_it_unibo_tuprolog_parser_impl.$_$.i;
|
|
60
60
|
var PrologSyntaxException = kotlin_it_unibo_tuprolog_parser_impl.$_$.j;
|
|
61
|
-
var initMetadataForLambda = kotlin_kotlin.$_$.
|
|
62
|
-
var constructCallableReference = kotlin_kotlin.$_$.
|
|
61
|
+
var initMetadataForLambda = kotlin_kotlin.$_$.f8;
|
|
62
|
+
var constructCallableReference = kotlin_kotlin.$_$.r7;
|
|
63
63
|
//endregion
|
|
64
64
|
//region block: pre-declaration
|
|
65
65
|
initMetadataForCompanion(Companion);
|
package/2p-repl.js
CHANGED
|
@@ -41,63 +41,65 @@
|
|
|
41
41
|
//region block: imports
|
|
42
42
|
var noWhenBranchMatchedException = kotlin_kotlin.$_$.qe;
|
|
43
43
|
var Unit_instance = kotlin_kotlin.$_$.r;
|
|
44
|
-
var Halt = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
45
|
-
var isInterface = kotlin_kotlin.$_$.
|
|
46
|
-
var No = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
47
|
-
var Yes = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
48
|
-
var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
44
|
+
var Halt = kotlin_it_unibo_tuprolog_solve.$_$.m4;
|
|
45
|
+
var isInterface = kotlin_kotlin.$_$.k8;
|
|
46
|
+
var No = kotlin_it_unibo_tuprolog_solve.$_$.n4;
|
|
47
|
+
var Yes = kotlin_it_unibo_tuprolog_solve.$_$.o4;
|
|
48
|
+
var Companion_instance = kotlin_it_unibo_tuprolog_solve.$_$.t1;
|
|
49
49
|
var format = kotlin_it_unibo_tuprolog_core.$_$.c3;
|
|
50
50
|
var ProgramResult = kotlin_clikt_clikt.$_$.c;
|
|
51
|
-
var HaltException = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
52
|
-
var StringBuilder = kotlin_kotlin.$_$.
|
|
53
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
54
|
-
var isCharSequence = kotlin_kotlin.$_$.
|
|
55
|
-
var trim = kotlin_kotlin.$_$.
|
|
56
|
-
var toString = kotlin_kotlin.$_$.
|
|
51
|
+
var HaltException = kotlin_it_unibo_tuprolog_solve.$_$.r2;
|
|
52
|
+
var StringBuilder = kotlin_kotlin.$_$.nb;
|
|
53
|
+
var THROW_CCE = kotlin_kotlin.$_$.fe;
|
|
54
|
+
var isCharSequence = kotlin_kotlin.$_$.i8;
|
|
55
|
+
var trim = kotlin_kotlin.$_$.pd;
|
|
56
|
+
var toString = kotlin_kotlin.$_$.v8;
|
|
57
57
|
var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.c;
|
|
58
|
-
var endsWith = kotlin_kotlin.$_$.
|
|
58
|
+
var endsWith = kotlin_kotlin.$_$.yb;
|
|
59
59
|
var get_terminal = kotlin_clikt_clikt_mordant.$_$.b;
|
|
60
60
|
var VOID = kotlin_kotlin.$_$.b;
|
|
61
61
|
var prompt = kotlin_mordant_mordant.$_$.c;
|
|
62
62
|
var CliktCommand = kotlin_clikt_clikt_mordant.$_$.a;
|
|
63
|
-
var emptyMap = kotlin_kotlin.$_$.
|
|
64
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
65
|
-
var charSequenceLength = kotlin_kotlin.$_$.
|
|
66
|
-
var charCodeAt = kotlin_kotlin.$_$.
|
|
63
|
+
var emptyMap = kotlin_kotlin.$_$.l3;
|
|
64
|
+
var protoOf = kotlin_kotlin.$_$.s8;
|
|
65
|
+
var charSequenceLength = kotlin_kotlin.$_$.o7;
|
|
66
|
+
var charCodeAt = kotlin_kotlin.$_$.m7;
|
|
67
67
|
var toString_0 = kotlin_kotlin.$_$.h;
|
|
68
|
-
var titlecase = kotlin_kotlin.$_$.
|
|
69
|
-
var isLowerCase = kotlin_kotlin.$_$.
|
|
70
|
-
var substring = kotlin_kotlin.$_$.
|
|
71
|
-
var initMetadataForClass = kotlin_kotlin.$_$.
|
|
68
|
+
var titlecase = kotlin_kotlin.$_$.dd;
|
|
69
|
+
var isLowerCase = kotlin_kotlin.$_$.ec;
|
|
70
|
+
var substring = kotlin_kotlin.$_$.ad;
|
|
71
|
+
var initMetadataForClass = kotlin_kotlin.$_$.b8;
|
|
72
72
|
var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.i1;
|
|
73
|
-
var objectCreate = kotlin_kotlin.$_$.
|
|
74
|
-
var captureStack = kotlin_kotlin.$_$.
|
|
73
|
+
var objectCreate = kotlin_kotlin.$_$.r8;
|
|
74
|
+
var captureStack = kotlin_kotlin.$_$.j7;
|
|
75
75
|
var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.l1;
|
|
76
|
-
var initMetadataForCompanion = kotlin_kotlin.$_$.
|
|
77
|
-
var KProperty1 = kotlin_kotlin.$_$.
|
|
78
|
-
var getPropertyCallableRef = kotlin_kotlin.$_$.
|
|
76
|
+
var initMetadataForCompanion = kotlin_kotlin.$_$.c8;
|
|
77
|
+
var KProperty1 = kotlin_kotlin.$_$.t9;
|
|
78
|
+
var getPropertyCallableRef = kotlin_kotlin.$_$.y7;
|
|
79
79
|
var Companion_instance_0 = kotlin_it_unibo_tuprolog_theory.$_$.b;
|
|
80
|
-
var trimMargin = kotlin_kotlin.$_$.
|
|
80
|
+
var trimMargin = kotlin_kotlin.$_$.nd;
|
|
81
81
|
var ParseException = kotlin_it_unibo_tuprolog_parser_core.$_$.a;
|
|
82
82
|
var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.x;
|
|
83
83
|
var parseStructWithOperators = kotlin_it_unibo_tuprolog_parser_core.$_$.d;
|
|
84
|
-
var
|
|
84
|
+
var GroundQueriesHaveBooleanSolution_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.h1;
|
|
85
|
+
var equals = kotlin_kotlin.$_$.t7;
|
|
86
|
+
var constructCallableReference = kotlin_kotlin.$_$.r7;
|
|
85
87
|
var Companion_instance_1 = kotlin_it_unibo_tuprolog_core.$_$.z;
|
|
86
|
-
var joinToString = kotlin_kotlin.$_$.
|
|
88
|
+
var joinToString = kotlin_kotlin.$_$.u3;
|
|
87
89
|
var option = kotlin_clikt_clikt.$_$.l;
|
|
88
90
|
var multiple = kotlin_clikt_clikt.$_$.k;
|
|
89
91
|
var int = kotlin_clikt_clikt.$_$.m;
|
|
90
92
|
var default_0 = kotlin_clikt_clikt.$_$.i;
|
|
91
93
|
var flag = kotlin_clikt_clikt.$_$.j;
|
|
92
|
-
var fromInt = kotlin_kotlin.$_$.
|
|
93
|
-
var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
94
|
-
var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
94
|
+
var fromInt = kotlin_kotlin.$_$.w6;
|
|
95
|
+
var Companion_instance_2 = kotlin_it_unibo_tuprolog_solve.$_$.u;
|
|
96
|
+
var Companion_instance_3 = kotlin_it_unibo_tuprolog_solve.$_$.m1;
|
|
95
97
|
var IOLib_getInstance = kotlin_it_unibo_tuprolog_io_lib.$_$.a;
|
|
96
98
|
var arrayConcat = kotlin_kotlin.$_$.a;
|
|
97
99
|
var OOPLib_getInstance = kotlin_it_unibo_tuprolog_oop_lib.$_$.a;
|
|
98
|
-
var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
99
|
-
var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.
|
|
100
|
-
var NotImplementedError = kotlin_kotlin.$_$.
|
|
100
|
+
var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_solve.$_$.v1;
|
|
101
|
+
var TrackVariables_getInstance = kotlin_it_unibo_tuprolog_solve.$_$.j1;
|
|
102
|
+
var NotImplementedError = kotlin_kotlin.$_$.ae;
|
|
101
103
|
var parseStruct = kotlin_it_unibo_tuprolog_parser_core.$_$.c;
|
|
102
104
|
var argument = kotlin_clikt_clikt.$_$.h;
|
|
103
105
|
var subcommands = kotlin_clikt_clikt.$_$.f;
|
|
@@ -110,9 +112,9 @@
|
|
|
110
112
|
initMetadataForClass(TuPrologCmd, 'TuPrologCmd', VOID, AbstractTuPrologCommand);
|
|
111
113
|
initMetadataForClass(TuPrologSolveQuery, 'TuPrologSolveQuery', TuPrologSolveQuery, AbstractTuPrologCommand);
|
|
112
114
|
//endregion
|
|
113
|
-
function printSolution($this, sol, operatorSet) {
|
|
115
|
+
function printSolution($this, sol, operatorSet, groundQueriesHaveBooleanSolution) {
|
|
114
116
|
if (isInterface(sol, Yes)) {
|
|
115
|
-
printYesSolution($this, sol, operatorSet);
|
|
117
|
+
printYesSolution($this, sol, operatorSet, groundQueriesHaveBooleanSolution);
|
|
116
118
|
} else {
|
|
117
119
|
if (isInterface(sol, No)) {
|
|
118
120
|
printNoSolution($this, sol, operatorSet);
|
|
@@ -125,8 +127,8 @@
|
|
|
125
127
|
}
|
|
126
128
|
}
|
|
127
129
|
}
|
|
128
|
-
function printYesSolution($this, sol, operatorSet) {
|
|
129
|
-
$this.echo$default_d8zfhf_k$(format(sol, Companion_instance.
|
|
130
|
+
function printYesSolution($this, sol, operatorSet, groundQueriesHaveBooleanSolution) {
|
|
131
|
+
$this.echo$default_d8zfhf_k$(format(sol, Companion_instance.withOperators_7fuqo9_k$(operatorSet, groundQueriesHaveBooleanSolution)));
|
|
130
132
|
}
|
|
131
133
|
function printHaltSolution($this, sol, operatorSet) {
|
|
132
134
|
var ex = sol.get_exception_x0n6w6_k$();
|
|
@@ -249,7 +251,7 @@
|
|
|
249
251
|
}
|
|
250
252
|
return tmp;
|
|
251
253
|
};
|
|
252
|
-
protoOf(AbstractTuPrologCommand).
|
|
254
|
+
protoOf(AbstractTuPrologCommand).printSolutions_qd4dx3_k$ = function (solutions, operatorSet, groundQueriesHaveBooleanSolution) {
|
|
253
255
|
var first = true;
|
|
254
256
|
$l$loop: while (solutions.hasNext_bitz1p_k$()) {
|
|
255
257
|
if (!first) {
|
|
@@ -267,15 +269,15 @@
|
|
|
267
269
|
} else {
|
|
268
270
|
first = false;
|
|
269
271
|
}
|
|
270
|
-
printSolution(this, solutions.next_20eer_k$(), operatorSet);
|
|
272
|
+
printSolution(this, solutions.next_20eer_k$(), operatorSet, groundQueriesHaveBooleanSolution);
|
|
271
273
|
}
|
|
272
274
|
printEndOfSolutions(this);
|
|
273
275
|
};
|
|
274
|
-
protoOf(AbstractTuPrologCommand).
|
|
276
|
+
protoOf(AbstractTuPrologCommand).printNumSolutions_p0aldh_k$ = function (solutions, maxSolutions, operatorSet, groundQueriesHaveBooleanSolution) {
|
|
275
277
|
var i = 0;
|
|
276
278
|
while (i < maxSolutions && solutions.hasNext_bitz1p_k$()) {
|
|
277
279
|
i = i + 1 | 0;
|
|
278
|
-
printSolution(this, solutions.next_20eer_k$(), operatorSet);
|
|
280
|
+
printSolution(this, solutions.next_20eer_k$(), operatorSet, groundQueriesHaveBooleanSolution);
|
|
279
281
|
}
|
|
280
282
|
printEndOfSolutions(this);
|
|
281
283
|
};
|
|
@@ -345,7 +347,7 @@
|
|
|
345
347
|
try {
|
|
346
348
|
var goal = parseStructWithOperators(Companion_getInstance(), query, solver.get_operators_z0nmfu_k$());
|
|
347
349
|
var solutions = solver.solveWithTimeout(goal, $this.getTimeout_4ky5zp_k$()).iterator_jk1svi_k$();
|
|
348
|
-
$this.
|
|
350
|
+
$this.printSolutions_qd4dx3_k$(solutions, solver.get_operators_z0nmfu_k$(), equals(solver.get_flags_irfhb2_k$().get(GroundQueriesHaveBooleanSolution_getInstance()), GroundQueriesHaveBooleanSolution_getInstance().ON_1));
|
|
349
351
|
} catch ($p) {
|
|
350
352
|
if ($p instanceof ParseException) {
|
|
351
353
|
var e = $p;
|
|
@@ -370,17 +372,17 @@
|
|
|
370
372
|
function TuPrologCmd$_get_files_$ref_c1qk0p() {
|
|
371
373
|
return constructCallableReference(function (p0) {
|
|
372
374
|
return _get_files__hkfg7a(p0);
|
|
373
|
-
}, 1, 0,
|
|
375
|
+
}, 1, 0, 160);
|
|
374
376
|
}
|
|
375
377
|
function TuPrologCmd$_get_timeout_$ref_q0nd1f() {
|
|
376
378
|
return constructCallableReference(function (p0) {
|
|
377
379
|
return _get_timeout__tg4wg(p0);
|
|
378
|
-
}, 1, 0,
|
|
380
|
+
}, 1, 0, 161);
|
|
379
381
|
}
|
|
380
382
|
function TuPrologCmd$_get_oop_$ref_nvbbou() {
|
|
381
383
|
return constructCallableReference(function (p0) {
|
|
382
384
|
return _get_oop__e6e8e9(p0);
|
|
383
|
-
}, 1, 0,
|
|
385
|
+
}, 1, 0, 162);
|
|
384
386
|
}
|
|
385
387
|
function TuPrologCmd$getSolver$lambda$lambda($formatter) {
|
|
386
388
|
return function (it) {
|
|
@@ -428,7 +430,7 @@
|
|
|
428
430
|
return fromInt(_get_timeout__tg4wg(this));
|
|
429
431
|
};
|
|
430
432
|
protoOf(TuPrologCmd).getSolver_d7ulft_k$ = function () {
|
|
431
|
-
this.echo$default_d8zfhf_k$('# 2P-Kt version
|
|
433
|
+
this.echo$default_d8zfhf_k$('# 2P-Kt version 3.0.0');
|
|
432
434
|
var theory = loadTheory(this);
|
|
433
435
|
var tmp = Companion_instance_2;
|
|
434
436
|
var outputChannel = tmp.of(TuPrologCmd$getSolver$lambda(this));
|
|
@@ -473,10 +475,11 @@
|
|
|
473
475
|
try {
|
|
474
476
|
var duration = _get_parentCommand__z09ff4($this).getTimeout_4ky5zp_k$();
|
|
475
477
|
var solutions = solver.solveWithTimeout(parseStruct(Companion_getInstance(), _get_query__c6g9vb($this)), duration).iterator_jk1svi_k$();
|
|
478
|
+
var groundQueriesHaveBooleanSolution = equals(solver.get_flags_irfhb2_k$().get(GroundQueriesHaveBooleanSolution_getInstance()), GroundQueriesHaveBooleanSolution_getInstance().ON_1);
|
|
476
479
|
if (_get_maxSolutions__ysux2t($this) === 0) {
|
|
477
|
-
$this.
|
|
480
|
+
$this.printSolutions_qd4dx3_k$(solutions, solver.get_operators_z0nmfu_k$(), groundQueriesHaveBooleanSolution);
|
|
478
481
|
} else {
|
|
479
|
-
$this.
|
|
482
|
+
$this.printNumSolutions_p0aldh_k$(solutions, _get_maxSolutions__ysux2t($this), solver.get_operators_z0nmfu_k$(), groundQueriesHaveBooleanSolution);
|
|
480
483
|
}
|
|
481
484
|
} catch ($p) {
|
|
482
485
|
if ($p instanceof ParseException) {
|
|
@@ -495,12 +498,12 @@
|
|
|
495
498
|
function TuPrologSolveQuery$_get_query_$ref_bkd3qt() {
|
|
496
499
|
return constructCallableReference(function (p0) {
|
|
497
500
|
return _get_query__c6g9vb(p0);
|
|
498
|
-
}, 1, 0,
|
|
501
|
+
}, 1, 0, 163);
|
|
499
502
|
}
|
|
500
503
|
function TuPrologSolveQuery$_get_maxSolutions_$ref_o23pc7() {
|
|
501
504
|
return constructCallableReference(function (p0) {
|
|
502
505
|
return _get_maxSolutions__ysux2t(p0);
|
|
503
|
-
}, 1, 0,
|
|
506
|
+
}, 1, 0, 164);
|
|
504
507
|
}
|
|
505
508
|
function TuPrologSolveQuery() {
|
|
506
509
|
AbstractTuPrologCommand.call(this, 'Compute a particular query and then terminate', VOID, 'solve');
|
package/2p-repl.js.map
CHANGED
|
@@ -1 +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","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":"
|
|
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,6BAAS,OAAJ,GAAI,EAAyB,2CAAc,WAAd,EAA2B,gCAA3B,CAAzB,CAAT,C;EACJ,C;EAEQC,2BDvEZ,K,ECwEQJ,G,EACAC,WAFIG,EAGN;A,QACQC,KAAS,GAAI,0B;IACf,gC,CAAoB;A,MAChB,6BAAK,YAAL,C;MACA,MAAM,kBAAc,EAAd,CAAiB,UAAjB,C;IACV,C;MACQ,6BAAS,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,kBAAO,QAAP,C;IACd,C;IACA,OAAO,SAAU,W;EACrB,C;EAGQC,yBDpIZ,K,ECqIQX,G,EACAC,WAFIU,EAGN;A,IACE,6BAAS,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,kB;IACA,sB;IAEA,wD;IACA,kD;IACA,0B;IACA,8C;IACA,0D;IACA,4D;IACA,sC;EAVkC,C;2ED7BtC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,yBAAA;AAAA,EAAA,CAAA;wEAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,sBAAA;AAAA,EAAA,CAAA;4DAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,UAAA;AAAA,EAAA,CAAA;sEAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,oBAAA;AAAA,EAAA,CAAA;4EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,0BAAA;AAAA,EAAA,CAAA;6EAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,2BAAA;AAAA,EAAA,CAAA;kEAAA,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,gBAAA;AAAA,EAAA,CAAA;oDCyCaC,UAASC,OAATD,EAA6B;A,IAAS,OAAT,IAAS,CAAJ,M;EAAG,C;0DAErCE,UAAeD,OAAfC,EAAmC;A,IAAW,OAAX,IAAW,CAAN,Q;EAAK,C;mEA8C5CC,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,4BAAM,IAAN,cAA2G,IAA3G,C;EACJ,C;yDAcUE,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;8DA6BUW,UACNC,S,EACAnB,W,EACAC,gCAHMiB,EAIR;A,QACEE,QAAY,I;oBACL,SAAU,oB,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,gBAAxB,EAAgC,WAAhC,EAA6C,gCAA7C,C;IACJ,C;IACA,yB;EACJ,C;iEASUC,UACNH,S,EACAI,Y,EACAvB,W,EACAC,gCAJMqB,EAKR;A,QACEE,IAAQ,C;WACD,IAAI,Y,IAAgB,SAAU,oB,EAAW;A,MAC5C,IAAA,CAAC,IAAD,I;MACA,oBAAc,SAAU,gBAAxB,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,6B;EAFrC,C;;EJxDJ,iCAAA,EAAA;AAAA;AAAA,GAAA;EAAA,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,gBAAA,oBAAA,KAAA,sFAAA;AAAA,EAAA,CAAA;EAAA,6BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,kBAAA,oBAAA,KAAA,0FAAA;AAAA,EAAA,CAAA;EAAA,0BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,cAAA,oBAAA,KAAA,kFAAA;AAAA,EAAA,CAAA;EI6FYiB,oBJ7FZ,KI6FYA,EAAyB;A,QAC7BC,SAA4B,iD;QACf,oBAAK,mBAAL,KAAK,CAAL,qB;WAAA,qC,EAAY;A,UJ/FjC,OI+FqB,iC;MACL,mBAAe,IAAf,E,CAAsB;A,QACtB,IAAI;A,cACAC,IAAQ,mBAAmB,IAAnB,C;UACR,6BAAM,wBAAN,GAA8B,CAAE,qBAAhC,cAAqC,gBAArC,GAAoD,IAApD,C;UACA,2BAAU,CAAV,C;QACJ,C;4CAA4B;A,gBJrG5C,M;YIsGoB,6BAOQ,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,6BAAK,EAAL,C;IACA,OAAO,M;EACX,C;EAEQC,2BJvHZ,K,EIuHkCC,MAAtBD,EAAsC;A,IAC1C,IAAI;A,UACAxB,QAAqB,2B;aACd,WAAS,IAAT,C,EAAe;A,QAClB,IAAI;A,cACA0B,OAAkB,kDAAM,KAAN,EAAa,MAAO,0BAApB,C;cAClBd,YAAgB,MAAO,kBAAM,IAAN,EAAY,KAAK,uBAAjB,CAA+B,qB;UACtD,+BACI,SADJ,EAEI,MAAO,0BAFX,EAGI,OAAA,MAAO,sBAAP,qGAAmF,IAAnF,CAHJ,C;QAKJ,C;4CAA4B;A,gBJnI5C,M;YIoIoB,oCAAoB,CAApB,C;UACJ,C;;;;QACA,6BAAK,EAAL,C;QACA,QAAQ,2B;MACZ,C;IACJ,C;8CAAgC;A,YJzIxC,0B;QI0IY,6BAAK,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,8BAAM,IAAN,GAAU,CAAV,CAAY,OAAZ,QAA6B,IAA7B,C;UACAC,MAAU,W;UACVC,YAAwC,sDAAkB,CAAE,wBAAQ,0BAA5B,C;UJzKxD,MI0KiC,CAAE,gC;UAAnBC,aAAmC,kBAAa,GAAb,0BAAkB,8CAAlB,C;MACnC,8BAAM,UAAN,GAAe,UAAf,QAAkC,IAAlC,C;MACJ,oB;IAAA,C;AJ5KZ,GAAA;EIuLkCC,wCAAA,UAAAA,EAAA;A,IAAI,OAAF,UAAE,CAAF,I;EAAG,C;EAvItB5B,qBACb6B,mBADa7B,EAAA;A,IAAjB,mCAMe,qCANf,QAKe,uBALf,EAGkC,IAHlC,oBAImC,IAJnC,C;IAa0D,gD;QJ7D1D,MI+DuC,I;QJ/DvC,QIgES,SAD8B,aAAO,OAAM,UAAN,CAAP,EAAgC,kCAAhC,CAC9B,C;QJhET,kB;II+DuC,mJ;QJ/DvC,QIkE2B,I;QJlE3B,QIsEY,UAAN,IAJqB,aACnB,OACA,WADA,CADmB,EAGZ,oEAHY,CAIrB,CAAM,EAAQ,IAAR,C;QJtEZ,kB;IIkE2B,2J;QJlE3B,QIwEuB,I;QJxEvB,QI2EM,KAHiB,aACf,SADe,EAER,uBAFQ,CAGjB,MAAe,KAAf,C;QJ3EN,kB;IIwEuB,+I;EAxBN,C;uCAmCJ8B,UAAAA,EAAU;A,QACfC,QAAoB,0B;QACpBC,aAAiB,IAAK,+BAAe,kC;IAEjC,kBAAc,IAAd,C,CAAoB;A,MACpB,wBAAkB,KAAlB,C;IACJ,C;EAEJ,C;8CAyDAC,UAAAA,EAAiC;A,IAAgB,OAAR,QAAR,yBAAQ,C;EAAO,C;6CAchDC,UAAAA,EAAwB;A,IACpB,4BAAK,uBAAL,C;QACAhB,SAA0B,WAAL,IAAK,C;QJpKlC,0B;QIqKQiB,gBACkB,OAAY,kCAAZ,C;QJtK1B,K;II8KgB,2B;cACQ,wBAAG,0DAAgB,IAAhB,CAAgB,qBAAhB,EAAH,C;;cAEA,wBAAG,oCAAQ,IAAR,CAAQ,qBAAR,EAAH,C;;QAJhBC,iB;QJ7KR,QImLsB,gDACT,aACA,YAAQ,SAAR,CACA,aAAS,MAAT,C;QJtLb,oC;;QAAA,SIuLa,mCAAqB,8BAArB,CACA,aAAS,aAAT,CACA,Q;;QAEwB,oBErF3B,MFqF8B,0BCmWgD,wBAAQ,qB;WDnW3D,qC,EAAc;A;UAA1B,UAAY,iCCyI+B,sB;MDxIhD,4BAAM,iCAAN,GAAuC,OAAQ,sBAA/C,GAAqD,GAArD,C;IACJ,C;IACA,4BAAK,EAAL,C;IAXR,OE5EG,M;EFyFP,C;EJhMJ,4BAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,gBAAA,oBAAA,KAAA,6FAAA;AAAA,EAAA,CAAA;EAAA,mCAAA,KAAA,EAAA;AAAA,QAAA,gBAAA;IAAA,OAAA,KAAA,CAAA,uBAAA,oBAAA,KAAA,2GAAA;AAAA,EAAA,CAAA;EOoCQC,oCPpCR,KOoCQA,EAAQ;A,QAAe,qBAAf,oCAAe,S;QPpC/B,MOoCuC,oCAAvB,kBAAuB,U;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,uB;YAC3C/B,YAAgB,MAAO,kBAAa,qCAAM,yBAAN,CAAb,EAA2B,QAA3B,CAAqC,qB;YAC5DlB,mCACI,OAAA,MAAO,sBAAP,qGAAmF,IAAnF,C;QACA,yCAAgB,CAAhB,C,CAAmB;A,UACnB,+BAAe,SAAf,EAA0B,MAAO,0BAAjC,EAA4C,gCAA5C,C;QACJ,C,MAAO;A,UACH,kCAAkB,SAAlB,EAA6B,gCAA7B,EAA2C,MAAO,0BAAlD,EAA6D,gCAA7D,C;QACJ,C;MACJ,C;0CAA4B;A,cP3DxC,M;UO4DgB,oCAAoB,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,0J;QP9BjC,QO+BqC,I;QP/BrC,QOiCS,UADA,IAD4B,aAAO,OAAM,qBAAN,CAAP,EAA2C,iCAA3C,CAC5B,CACA,EAAQ,CAAR,C;QPjCT,kB;IO+BqC,iL;EANrC,C;8CAiBa8B,UAAAA,EAAU;A,QACfT,SAAa,gCAAc,sB;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;;;;;;;;;;"}
|
package/2p-solve-plp.js
CHANGED
|
@@ -15,7 +15,7 @@
|
|
|
15
15
|
}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_utils) {
|
|
16
16
|
'use strict';
|
|
17
17
|
//region block: imports
|
|
18
|
-
var THROW_CCE = kotlin_kotlin.$_$.
|
|
18
|
+
var THROW_CCE = kotlin_kotlin.$_$.fe;
|
|
19
19
|
var setTag = kotlin_it_unibo_tuprolog_utils.$_$.l1;
|
|
20
20
|
//endregion
|
|
21
21
|
//region block: pre-declaration
|