@tuprolog/arg2p 0.16.2 → 0.16.3
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-core.js +3214 -3035
- package/2p-core.js.map +1 -1
- package/2p-dsl-core.js +303 -303
- package/2p-dsl-core.js.map +1 -1
- package/2p-dsl-solve.js +252 -252
- package/2p-dsl-theory.js +160 -160
- package/2p-dsl-unify.js +6 -6
- package/2p-io-lib.js +3496 -0
- package/2p-io-lib.js.map +1 -0
- package/2p-parser-core.js +124 -123
- package/2p-parser-core.js.map +1 -1
- package/2p-parser-impl.js +1480 -1389
- package/2p-parser-impl.js.map +1 -1
- package/2p-parser-theory.js +89 -88
- package/2p-parser-theory.js.map +1 -1
- package/2p-solve-classic.js +1004 -1004
- package/2p-solve.js +3933 -3464
- package/2p-solve.js.map +1 -1
- package/2p-theory.js +1423 -1423
- package/2p-theory.js.map +1 -1
- package/2p-unify.js +349 -349
- package/2p-utils.js +391 -391
- package/README.md +59 -12
- package/arg2p-causality-solver.js +151 -151
- package/arg2p-core.js +1792 -1744
- package/arg2p-core.js.map +1 -1
- package/arg2p.js +95 -95
- package/kotlin-kotlin-stdlib.js +2583 -1714
- package/kotlin-kotlin-stdlib.js.map +1 -1
- package/kt-math.js +1531 -1531
- package/okio-parent-okio-nodefilesystem.js +211 -0
- package/okio-parent-okio-nodefilesystem.js.map +1 -0
- package/okio-parent-okio.js +3873 -0
- package/okio-parent-okio.js.map +1 -0
- package/package.json +5 -2
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.$_$.b;
|
|
31
|
-
var protoOf = kotlin_kotlin.$_$.
|
|
32
|
-
var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.
|
|
33
|
-
var initMetadataForCompanion = kotlin_kotlin.$_$.
|
|
31
|
+
var protoOf = kotlin_kotlin.$_$.o7;
|
|
32
|
+
var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.j1;
|
|
33
|
+
var initMetadataForCompanion = kotlin_kotlin.$_$.c7;
|
|
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.$_$.x9;
|
|
37
|
+
var initMetadataForInterface = kotlin_kotlin.$_$.d7;
|
|
38
38
|
var toOperatorTable = kotlin_it_unibo_tuprolog_parser_core.$_$.i;
|
|
39
|
-
var Unit_instance = kotlin_kotlin.$_$.
|
|
39
|
+
var Unit_instance = kotlin_kotlin.$_$.p;
|
|
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
|
-
var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.
|
|
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.$_$.
|
|
43
|
+
var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.u;
|
|
44
|
+
var initMetadataForClass = kotlin_kotlin.$_$.b7;
|
|
45
|
+
var sequence = kotlin_kotlin.$_$.q9;
|
|
46
|
+
var CoroutineImpl = kotlin_kotlin.$_$.p5;
|
|
47
|
+
var THROW_CCE = kotlin_kotlin.$_$.bc;
|
|
48
|
+
var SequenceScope = kotlin_kotlin.$_$.k8;
|
|
49
49
|
var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.m;
|
|
50
50
|
var PrologTermParserVisitor = kotlin_it_unibo_tuprolog_parser_core.$_$.b;
|
|
51
51
|
var termToClause = kotlin_it_unibo_tuprolog_parser_core.$_$.g;
|
|
52
|
-
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.
|
|
53
|
-
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.
|
|
54
|
-
var Struct = kotlin_it_unibo_tuprolog_core.$_$.
|
|
55
|
-
var isInterface = kotlin_kotlin.$_$.
|
|
52
|
+
var get_COROUTINE_SUSPENDED = kotlin_kotlin.$_$.o5;
|
|
53
|
+
var ArrayList_init_$Create$ = kotlin_kotlin.$_$.s;
|
|
54
|
+
var Struct = kotlin_it_unibo_tuprolog_core.$_$.b2;
|
|
55
|
+
var isInterface = kotlin_kotlin.$_$.i7;
|
|
56
56
|
var Companion_getInstance_1 = kotlin_it_unibo_tuprolog_core.$_$.a;
|
|
57
57
|
var toDefinition = kotlin_it_unibo_tuprolog_parser_core.$_$.h;
|
|
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.$_$.e7;
|
|
62
|
+
var constructCallableReference = kotlin_kotlin.$_$.s6;
|
|
63
63
|
//endregion
|
|
64
64
|
//region block: pre-declaration
|
|
65
65
|
initMetadataForCompanion(Companion);
|
|
@@ -67,22 +67,22 @@
|
|
|
67
67
|
return Companion_instance.indexedOfSequence(unificator, this.parseClausesLazilyWithOperators(input, operators));
|
|
68
68
|
}
|
|
69
69
|
function parseTheoryWithOperatorsAndDefaultUnificator(input, operators) {
|
|
70
|
-
return this.parseTheoryWithOperators(input, operators, Companion_getInstance_0().
|
|
70
|
+
return this.parseTheoryWithOperators(input, operators, Companion_getInstance_0().i1n());
|
|
71
71
|
}
|
|
72
72
|
function parseTheory(input, unificator) {
|
|
73
|
-
return this.parseTheoryWithOperators(input, this.
|
|
73
|
+
return this.parseTheoryWithOperators(input, this.k3r(), unificator);
|
|
74
74
|
}
|
|
75
75
|
function parseTheoryWithDefaultUnificator(input) {
|
|
76
|
-
return this.parseTheory(input, Companion_getInstance_0().
|
|
76
|
+
return this.parseTheory(input, Companion_getInstance_0().i1n());
|
|
77
77
|
}
|
|
78
78
|
function parseClausesLazily(input) {
|
|
79
|
-
return this.parseClausesLazilyWithOperators(input, this.
|
|
79
|
+
return this.parseClausesLazilyWithOperators(input, this.k3r());
|
|
80
80
|
}
|
|
81
81
|
function parseClausesWithOperators(input, operators) {
|
|
82
82
|
return toList(this.parseClausesLazilyWithOperators(input, operators));
|
|
83
83
|
}
|
|
84
84
|
function parseClauses(input) {
|
|
85
|
-
return this.parseClausesWithOperators(input, this.
|
|
85
|
+
return this.parseClausesWithOperators(input, this.k3r());
|
|
86
86
|
}
|
|
87
87
|
initMetadataForInterface(ClausesParser, 'ClausesParser');
|
|
88
88
|
initMetadataForClass(ClausesParserImpl, 'ClausesParserImpl', ClausesParserImpl, VOID, [ClausesParser]);
|
|
@@ -133,7 +133,7 @@
|
|
|
133
133
|
}
|
|
134
134
|
function ClausesParserImpl$parseClausesLazily$lambda($operators) {
|
|
135
135
|
return function (parser, lexedSource) {
|
|
136
|
-
var session = parser.
|
|
136
|
+
var session = parser.o3l(lexedSource, toOperatorTable($operators));
|
|
137
137
|
return parseClausesLazily_0(session);
|
|
138
138
|
};
|
|
139
139
|
}
|
|
@@ -141,68 +141,68 @@
|
|
|
141
141
|
defaultOperatorSet = defaultOperatorSet === VOID ? Companion_getInstance().DEFAULT : defaultOperatorSet;
|
|
142
142
|
lexerOptions = lexerOptions === VOID ? new LexerOptions() : lexerOptions;
|
|
143
143
|
parserOptions = parserOptions === VOID ? new ParserOptions() : parserOptions;
|
|
144
|
-
this.
|
|
145
|
-
this.
|
|
146
|
-
this.
|
|
144
|
+
this.q3r_1 = defaultOperatorSet;
|
|
145
|
+
this.r3r_1 = lexerOptions;
|
|
146
|
+
this.s3r_1 = parserOptions;
|
|
147
147
|
}
|
|
148
|
-
protoOf(ClausesParserImpl).
|
|
149
|
-
return this.
|
|
148
|
+
protoOf(ClausesParserImpl).k3r = function () {
|
|
149
|
+
return this.q3r_1;
|
|
150
150
|
};
|
|
151
|
-
protoOf(ClausesParserImpl).
|
|
152
|
-
return buildParserFor(input, VOID, this.
|
|
151
|
+
protoOf(ClausesParserImpl).t3r = function (input, operators) {
|
|
152
|
+
return buildParserFor(input, VOID, this.r3r_1, this.s3r_1, ClausesParserImpl$parseClausesLazily$lambda(operators));
|
|
153
153
|
};
|
|
154
154
|
protoOf(ClausesParserImpl).parseClausesLazilyWithOperators = function (input, operators) {
|
|
155
|
-
return this.
|
|
155
|
+
return this.t3r(input, operators);
|
|
156
156
|
};
|
|
157
157
|
function parseClausesLazily_0(session) {
|
|
158
158
|
return sequence(parseClausesLazily$slambda_0(session, null));
|
|
159
159
|
}
|
|
160
160
|
function parseClausesLazily$slambda($session, resultContinuation) {
|
|
161
|
-
this.
|
|
161
|
+
this.c3s_1 = $session;
|
|
162
162
|
CoroutineImpl.call(this, resultContinuation);
|
|
163
163
|
}
|
|
164
|
-
protoOf(parseClausesLazily$slambda).
|
|
165
|
-
var tmp = this.
|
|
166
|
-
tmp.
|
|
167
|
-
tmp.
|
|
168
|
-
return tmp.
|
|
164
|
+
protoOf(parseClausesLazily$slambda).i3s = function ($this$sequence, $completion) {
|
|
165
|
+
var tmp = this.j3s($this$sequence, $completion);
|
|
166
|
+
tmp.l8_1 = Unit_instance;
|
|
167
|
+
tmp.m8_1 = null;
|
|
168
|
+
return tmp.r8();
|
|
169
169
|
};
|
|
170
|
-
protoOf(parseClausesLazily$slambda).
|
|
171
|
-
return this.
|
|
170
|
+
protoOf(parseClausesLazily$slambda).i9 = function (p1, $completion) {
|
|
171
|
+
return this.i3s(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
|
|
172
172
|
};
|
|
173
|
-
protoOf(parseClausesLazily$slambda).
|
|
174
|
-
var suspendResult = this.
|
|
173
|
+
protoOf(parseClausesLazily$slambda).r8 = function () {
|
|
174
|
+
var suspendResult = this.l8_1;
|
|
175
175
|
$sm: do
|
|
176
176
|
try {
|
|
177
|
-
var tmp = this.
|
|
177
|
+
var tmp = this.j8_1;
|
|
178
178
|
switch (tmp) {
|
|
179
179
|
case 0:
|
|
180
|
-
this.
|
|
181
|
-
this.
|
|
182
|
-
this.
|
|
183
|
-
this.
|
|
184
|
-
this.
|
|
185
|
-
this.
|
|
180
|
+
this.k8_1 = 6;
|
|
181
|
+
this.e3s_1 = 0;
|
|
182
|
+
this.k8_1 = 5;
|
|
183
|
+
this.f3s_1 = this.c3s_1.w3k();
|
|
184
|
+
this.g3s_1 = Companion_instance_0.empty();
|
|
185
|
+
this.j8_1 = 1;
|
|
186
186
|
continue $sm;
|
|
187
187
|
case 1:
|
|
188
|
-
if (!!(this.
|
|
189
|
-
this.
|
|
188
|
+
if (!!(this.f3s_1 == null)) {
|
|
189
|
+
this.j8_1 = 3;
|
|
190
190
|
continue $sm;
|
|
191
191
|
}
|
|
192
192
|
|
|
193
|
-
var visitor = new PrologTermParserVisitor(this.
|
|
194
|
-
var clause = this.
|
|
195
|
-
var $this$with = this.
|
|
196
|
-
this.
|
|
197
|
-
this.
|
|
198
|
-
suspendResult = this.
|
|
193
|
+
var visitor = new PrologTermParserVisitor(this.g3s_1);
|
|
194
|
+
var clause = this.f3s_1.q3q_1.y3m(visitor);
|
|
195
|
+
var $this$with = this.f3s_1.h3i();
|
|
196
|
+
this.h3s_1 = termToClause(clause, $this$with.e3j_1, $this$with.i().u3d_1 + 1 | 0, $this$with.i().v3d_1 + 1 | 0);
|
|
197
|
+
this.j8_1 = 2;
|
|
198
|
+
suspendResult = this.d3s_1.he(this.h3s_1, this);
|
|
199
199
|
if (suspendResult === get_COROUTINE_SUSPENDED()) {
|
|
200
200
|
return suspendResult;
|
|
201
201
|
}
|
|
202
202
|
|
|
203
203
|
continue $sm;
|
|
204
204
|
case 2:
|
|
205
|
-
var tmp0 = this.
|
|
205
|
+
var tmp0 = this.h3s_1.iz();
|
|
206
206
|
var destination = ArrayList_init_$Create$();
|
|
207
207
|
var _iterator__ex2g4s = tmp0.n();
|
|
208
208
|
while (_iterator__ex2g4s.q()) {
|
|
@@ -219,14 +219,14 @@
|
|
|
219
219
|
while (_iterator__ex2g4s_1.q()) {
|
|
220
220
|
var operator = _iterator__ex2g4s_1.r();
|
|
221
221
|
try {
|
|
222
|
-
this.
|
|
222
|
+
this.c3s_1.w1x().r3p(toDefinition(operator));
|
|
223
223
|
} catch ($p) {
|
|
224
224
|
if ($p instanceof InvalidOperatorDefinitionException) {
|
|
225
225
|
var e = $p;
|
|
226
|
-
var it = this.
|
|
227
|
-
var tmp0_elvis_lhs = it.
|
|
228
|
-
var this_0 = new ParseException(tmp0_elvis_lhs == null ? it.
|
|
229
|
-
this_0.clauseIndex = this.
|
|
226
|
+
var it = this.c3s_1.v3k().h3i();
|
|
227
|
+
var tmp0_elvis_lhs = it.p15();
|
|
228
|
+
var this_0 = new ParseException(tmp0_elvis_lhs == null ? it.o3g() : tmp0_elvis_lhs, this.f3s_1.w3p(), this.f3s_1.q3q_1.w3m().w3d_1.u3d_1 + 1 | 0, this.f3s_1.q3q_1.w3m().w3d_1.v3d_1 + 1 | 0, e.message, e);
|
|
229
|
+
this_0.clauseIndex = this.e3s_1;
|
|
230
230
|
throw this_0;
|
|
231
231
|
} else {
|
|
232
232
|
throw $p;
|
|
@@ -235,55 +235,55 @@
|
|
|
235
235
|
}
|
|
236
236
|
}
|
|
237
237
|
|
|
238
|
-
this.
|
|
239
|
-
this.
|
|
240
|
-
this.
|
|
241
|
-
this.
|
|
238
|
+
this.g3s_1 = Companion_instance_0.empty();
|
|
239
|
+
this.e3s_1 = this.e3s_1 + 1 | 0;
|
|
240
|
+
this.f3s_1 = this.c3s_1.w3k();
|
|
241
|
+
this.j8_1 = 1;
|
|
242
242
|
continue $sm;
|
|
243
243
|
case 3:
|
|
244
|
-
this.
|
|
245
|
-
this.
|
|
244
|
+
this.k8_1 = 6;
|
|
245
|
+
this.j8_1 = 4;
|
|
246
246
|
continue $sm;
|
|
247
247
|
case 4:
|
|
248
|
-
this.
|
|
248
|
+
this.k8_1 = 6;
|
|
249
249
|
return Unit_instance;
|
|
250
250
|
case 5:
|
|
251
|
-
this.
|
|
252
|
-
var tmp_0 = this.
|
|
251
|
+
this.k8_1 = 6;
|
|
252
|
+
var tmp_0 = this.m8_1;
|
|
253
253
|
if (tmp_0 instanceof PrologSyntaxException) {
|
|
254
|
-
var e_0 = this.
|
|
255
|
-
var it_0 = this.
|
|
256
|
-
var tmp0_elvis_lhs_0 = it_0.
|
|
257
|
-
var this_1 = new ParseException(tmp0_elvis_lhs_0 == null ? it_0.
|
|
258
|
-
this_1.clauseIndex = this.
|
|
254
|
+
var e_0 = this.m8_1;
|
|
255
|
+
var it_0 = this.c3s_1.v3k().h3i();
|
|
256
|
+
var tmp0_elvis_lhs_0 = it_0.p15();
|
|
257
|
+
var this_1 = new ParseException(tmp0_elvis_lhs_0 == null ? it_0.o3g() : tmp0_elvis_lhs_0, e_0.x3f_1, e_0.w3f_1.w3d_1.u3d_1 + 1 | 0, e_0.w3f_1.w3d_1.v3d_1 + 1 | 0, e_0.message, e_0);
|
|
258
|
+
this_1.clauseIndex = this.e3s_1;
|
|
259
259
|
throw this_1;
|
|
260
260
|
} else {
|
|
261
|
-
throw this.
|
|
261
|
+
throw this.m8_1;
|
|
262
262
|
}
|
|
263
263
|
|
|
264
264
|
case 6:
|
|
265
|
-
throw this.
|
|
265
|
+
throw this.m8_1;
|
|
266
266
|
}
|
|
267
267
|
} catch ($p_0) {
|
|
268
268
|
var e_1 = $p_0;
|
|
269
|
-
if (this.
|
|
269
|
+
if (this.k8_1 === 6) {
|
|
270
270
|
throw e_1;
|
|
271
271
|
} else {
|
|
272
|
-
this.
|
|
273
|
-
this.
|
|
272
|
+
this.j8_1 = this.k8_1;
|
|
273
|
+
this.m8_1 = e_1;
|
|
274
274
|
}
|
|
275
275
|
}
|
|
276
276
|
while (true);
|
|
277
277
|
};
|
|
278
|
-
protoOf(parseClausesLazily$slambda).
|
|
279
|
-
var i = new parseClausesLazily$slambda(this.
|
|
280
|
-
i.
|
|
278
|
+
protoOf(parseClausesLazily$slambda).j3s = function ($this$sequence, completion) {
|
|
279
|
+
var i = new parseClausesLazily$slambda(this.c3s_1, completion);
|
|
280
|
+
i.d3s_1 = $this$sequence;
|
|
281
281
|
return i;
|
|
282
282
|
};
|
|
283
283
|
function parseClausesLazily$slambda_0($session, resultContinuation) {
|
|
284
284
|
var i = new parseClausesLazily$slambda($session, resultContinuation);
|
|
285
285
|
return constructCallableReference(function ($this$sequence, $completion) {
|
|
286
|
-
return i.
|
|
286
|
+
return i.i3s($this$sequence, $completion);
|
|
287
287
|
}, 1);
|
|
288
288
|
}
|
|
289
289
|
//region block: post-declaration
|
|
@@ -300,8 +300,9 @@
|
|
|
300
300
|
//endregion
|
|
301
301
|
//region block: exports
|
|
302
302
|
_.$_$ = _.$_$ || {};
|
|
303
|
-
_.$_$.a =
|
|
304
|
-
_.$_$.b =
|
|
303
|
+
_.$_$.a = Companion_instance_1;
|
|
304
|
+
_.$_$.b = parseTheory_0;
|
|
305
|
+
_.$_$.c = parseTheoryWithOperators_0;
|
|
305
306
|
//endregion
|
|
306
307
|
return _;
|
|
307
308
|
}));
|
package/2p-parser-theory.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParser.kt","../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParserExtensions.kt","../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParserImpl.kt","../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/Utils.kt"],"sourcesContent":[null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["parseTheory","input","operators","unificator","parseClausesLazily","parseClauses","<init>","withNoOperator","withStandardOperators","withDefaultOperators","withOperators","<get-defaultParser>","parse","<this>","<init properties ClausesParserExtensions.kt>","ClausesParserImpl$parseClausesLazily$lambda","ClausesParserImpl$parseClausesLazily$lambda$lambda","session","defaultOperatorSet","lexerOptions","parserOptions","<get-defaultOperatorSet>","invoke","$completion","doResume","element","goal","operator","e","parseClausesLazily$slambda","parseClausesLazily$slambda$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mCAmDIA,CACIC,K,EACAC,S,EACAC,UAHJH,EAIY;A,IAAkE,OAA3D,qCAAU,UAAV,EAAsB,qCAAmB,KAAnB,EAA0B,SAA1B,CAAtB,C;EAA0D,C;uDAQ7EA,CACIC,K,EACAC,SAFJF,EAGY;A,IAAiD,OAAjD,8BAAY,KAAZ,EAAmB,SAAnB,EAAyC,+BAAzC,C;EAAgD,C;sBAQ5DA,CACIC,K,EACAE,UAFJH,EAGY;A,IAAkD,OAAlD,8BAAY,KAAZ,EAAmB,UAAnB,EAAuC,UAAvC,C;EAAiD,C;2CAM7DA,CAAgBC,KAAhBD,EAAyC;A,IAAsC,OAAtC,iBAAY,KAAZ,EAA8B,+BAA9B,C;EAAqC,C;6BAmB9EI,CAAuBH,KAAvBG,EAA0D;A,IAA6C,OAA7C,qCAAmB,KAAnB,EAA0B,UAA1B,C;EAA4C,C;oCAQtGC,CACIJ,K,EACAC,SAFJG,EAGkB;A,IAA6C,OAAR,OAArC,qCAAmB,KAAnB,EAA0B,SAA1B,CAAqC,C;EAAO,C;uBAM9DA,CAAiBJ,KAAjBI,EAAgD;A,IAAuC,OAAvC,+BAAa,KAAb,EAAoB,UAApB,C;EAAsC,C;;;;;oBAEtFC,CAAAA,EAAA;A,EAAA,C;+CAIIC,CAAAA,EAAuB;A,IAAgC,OAAhC,6CAA0B,KAA1B,C;EAA+B,C;sDAKtDC,CAAAA,EAA8B;A,IAAmC,OAAnC,6CAA0B,QAA1B,C;EAAkC,C;qDAKhEC,CAAAA,EAA6B;A,IAAkC,OAAlC,6CAA0B,OAA1B,C;EAAiC,C;gDAK9DC,CAAkBR,SAAlBQ,EAA2D;A,IAA4B,OAA5B,sBAAkB,SAAlB,C;EAA2B,C;8CAKtFA,CAAkBR,SAAlBQ,EAAgD;A,IAAsC,OAAtC,qBAAc,0BAAa,SAAD,QAAZ,CAAd,C;EAAqC,C;;;;;;;4BCvIrFC,CAAAA,EAAA;A;IAAA,oB;EAAgB,C;;wBAmBxBC,CAAIC,a,EAAuBZ,KAA3BW,EAAoD;A;IAAgC,OAAhC,mBAAc,kCAAY,KAAZ,C;EAAiB,C;qCAXnFA,CAAIC,a,EACAZ,K,EACAC,SAFJU,EAGY;A;IAA2C,OAA3C,mBAAc,8CAAY,KAAZ,EAAmB,SAAnB,C;EAA4B,C;;8DArBtDE,CAAAA,E;;;sBAU0C,2C;;G;sDCYhCC,C,UAAAA,E;oBAAAC,CAAE,M,EAAQ,WAAVA,EAAA;A,UACEC,UAAc,MAAO,KAAY,WAAZ,EAAmC,gBAAV,UAAU,CAAnC,C;MACM,OAA3B,qBAAmB,OAAnB,C;IACJ,C;G;4BAhBwBX,CACnBY,kB,EACDC,Y,EACAC,aAHoBd,EAAA;A,+EAC+B,O;2CAClB,kB;6CACE,mB;IAF3C,+B;IACA,yB;IACA,0B;EAH4B,C;4CACnBe,CAAAA,EAAA;A,IAAA,iB;EAAwD,C;4CAIxDjB,CACLH,K,EACAC,SAFKE,EAIL;A,IAOC,OAPD,eACY,KADZ,QAEmB,IAFnB,CAEmB,KAFnB,EAGoB,IAHpB,CAGoB,KAHpB,EAIE,sDAJF,C;EAOA,C;;;;+BCRCA,CAAuBa,OAAvBb,EACL;A,IA0CC,OA1CD,SAAS,2CAAT,C;EA0CA,C;;;;;qDA1CSkB,CAAA,c,EAAAC,WAAAD,EACL;A;;;;EAwCA,C;;;;oDAzCKE,CAAAA,EAAA;A;;MAAA,I;;;;;YACL,aAAkB,C;;YAEd,aAAwB,KAAR,KAAQ,M;YACxB,aAAkB,4B;;;;iBACX,gBAAa,IAAb,C;;;;;gBACH,UAAc,iCAAwB,KAAxB,C;gBACd,SAA4B,KAAf,KAAe,CAAL,KAAK,KAAO,OAAP,C;6BACb,KAAV,KAAU,M;YACX,aAAoB,aAAP,MAAO,EAAS,UAAT,CAAS,KAAT,EAAa,eAAM,KAAN,GAAa,CAA1B,MAA6B,eAAM,KAAN,GAAe,CAA5C,K;;4BACpB,mBAAM,KAAN,O;;;;;;;uBACoB,KAAP,KAAO,K;8BAgCuiqB,yB;gBAAqW,4B;mBAAA,qB,EAAM;A,kBAAjBC,UAAW,qB;cAAU,8D,CAA0B;A,gBAAZ,WAAY,GAAI,OAAJ,C;;YAAW,C;;gBAhCl8qB,sBAgC2hqB,WAhC3hqB,I;mBAAA,uB,EAA6C;A,kBAArDC,OAAQ,uB;kBACQ,sBAAS,uCAAa,IAAb,CAAT,I;qBAAA,uB,EAA6B;A,oBAAzCC,WAAY,uB;gBACb,IAAI;A,kBACQ,KAAR,KAAQ,MAAU,KAAgB,aAAT,QAAS,CAAhB,C;gBACtB,C;wEAAgD;A,wBAAvCC,M;6BAEe,KAAR,KAAQ,MAAM,M;wBAAa,iBAAA,EAAG,M;iCADpC,mBACiC,sBA0Bu5B,GA1B94B,EAAG,MA0B24B,GA1Bv5B,cADjC,EAE0B,KAAV,KAAU,MAF1B,EAGoB,KAAf,KAAe,CAAL,KAAK,MAAf,CAAoB,KAApB,CAA0B,KAA1B,GAAiC,CAHtC,MAIsB,KAAf,KAAe,CAAL,KAAK,MAAf,CAAoB,KAApB,CAA0B,KAA1B,GAAmC,CAJ1C,MAKQ,CALR,CAKU,OALV,EAMU,CANV,C;oBA2Bme,MApB7d,oBAAc,K;oBAP1B,MA2B0f,M;kBAnB9f,C;;;;cACJ,C;YACJ,C;;YAEJ,aAAc,4B;YACd,aAAW,KAAX,KAAW,IAAX,I;YACA,aAAoB,KAAR,KAAQ,M;;;;;;;;;YAYhC,oB;;;;;kBAVaA,e;yBAEe,KAAR,KAAQ,MAAM,M;kBAAa,mBAAA,IAAG,M;2BADpC,mBACiC,wBAS26B,GATl6B,IAAG,MAS+5B,GAT36B,gBADjC,EAEgB,GAFhB,CAEkB,KAFlB,EAGK,IAAE,KAAF,CAAO,KAAP,CAAa,KAAb,GAAoB,CAHzB,MAIO,IAAE,KAAF,CAAO,KAAP,CAAa,KAAb,GAAsB,CAJ7B,MAKQ,GALR,CAKU,OALV,EAMU,GANV,C;cAUuf,MAHjf,oBAAc,K;cAP1B,MAU8gB,M;;;;;;;;;;;;;;;;;;EADthB,C;sDA1CS,c,EAwCmC,U;;;;;uCAxCnCC,C,4BAAAA,E;;+CAAAC,CAAA,c,EAAAP,WAAAO,E;;K,EAlBb,C;G
|
|
1
|
+
{"version":3,"sources":["../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParser.kt","../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParserExtensions.kt","../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/ClausesParserImpl.kt","../../../../../../../../2p-kt/2p-kt/parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/Utils.kt"],"sourcesContent":[null,null,null,null],"ignoreList":[],"x_google_ignoreList":[],"names":["parseTheory","input","operators","unificator","parseClausesLazily","parseClauses","<init>","withNoOperator","withStandardOperators","withDefaultOperators","withOperators","<get-defaultParser>","parse","<this>","<init properties ClausesParserExtensions.kt>","ClausesParserImpl$parseClausesLazily$lambda","ClausesParserImpl$parseClausesLazily$lambda$lambda","session","defaultOperatorSet","lexerOptions","parserOptions","<get-defaultOperatorSet>","invoke","$completion","doResume","element","goal","operator","e","parseClausesLazily$slambda","parseClausesLazily$slambda$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mCAmDIA,CACIC,K,EACAC,S,EACAC,UAHJH,EAIY;A,IAAkE,OAA3D,qCAAU,UAAV,EAAsB,qCAAmB,KAAnB,EAA0B,SAA1B,CAAtB,C;EAA0D,C;uDAQ7EA,CACIC,K,EACAC,SAFJF,EAGY;A,IAAiD,OAAjD,8BAAY,KAAZ,EAAmB,SAAnB,EAAyC,+BAAzC,C;EAAgD,C;sBAQ5DA,CACIC,K,EACAE,UAFJH,EAGY;A,IAAkD,OAAlD,8BAAY,KAAZ,EAAmB,UAAnB,EAAuC,UAAvC,C;EAAiD,C;2CAM7DA,CAAgBC,KAAhBD,EAAyC;A,IAAsC,OAAtC,iBAAY,KAAZ,EAA8B,+BAA9B,C;EAAqC,C;6BAmB9EI,CAAuBH,KAAvBG,EAA0D;A,IAA6C,OAA7C,qCAAmB,KAAnB,EAA0B,UAA1B,C;EAA4C,C;oCAQtGC,CACIJ,K,EACAC,SAFJG,EAGkB;A,IAA6C,OAAR,OAArC,qCAAmB,KAAnB,EAA0B,SAA1B,CAAqC,C;EAAO,C;uBAM9DA,CAAiBJ,KAAjBI,EAAgD;A,IAAuC,OAAvC,+BAAa,KAAb,EAAoB,UAApB,C;EAAsC,C;;;;;oBAEtFC,CAAAA,EAAA;A,EAAA,C;+CAIIC,CAAAA,EAAuB;A,IAAgC,OAAhC,6CAA0B,KAA1B,C;EAA+B,C;sDAKtDC,CAAAA,EAA8B;A,IAAmC,OAAnC,6CAA0B,QAA1B,C;EAAkC,C;qDAKhEC,CAAAA,EAA6B;A,IAAkC,OAAlC,6CAA0B,OAA1B,C;EAAiC,C;gDAK9DC,CAAkBR,SAAlBQ,EAA2D;A,IAA4B,OAA5B,sBAAkB,SAAlB,C;EAA2B,C;8CAKtFA,CAAkBR,SAAlBQ,EAAgD;A,IAAsC,OAAtC,qBAAc,0BAAa,SAAD,QAAZ,CAAd,C;EAAqC,C;;;;;;;4BCvIrFC,CAAAA,EAAA;A;IAAA,oB;EAAgB,C;;wBAmBxBC,CAAIC,a,EAAuBZ,KAA3BW,EAAoD;A;IAAgC,OAAhC,mBAAc,kCAAY,KAAZ,C;EAAiB,C;qCAXnFA,CAAIC,a,EACAZ,K,EACAC,SAFJU,EAGY;A;IAA2C,OAA3C,mBAAc,8CAAY,KAAZ,EAAmB,SAAnB,C;EAA4B,C;;8DArBtDE,CAAAA,E;;;sBAU0C,2C;;G;sDCYhCC,C,UAAAA,E;oBAAAC,CAAE,M,EAAQ,WAAVA,EAAA;A,UACEC,UAAc,MAAO,KAAY,WAAZ,EAAmC,gBAAV,UAAU,CAAnC,C;MACM,OAA3B,qBAAmB,OAAnB,C;IACJ,C;G;4BAhBwBX,CACnBY,kB,EACDC,Y,EACAC,aAHoBd,EAAA;A,+EAC+B,O;2CAClB,kB;6CACE,mB;IAF3C,+B;IACA,yB;IACA,0B;EAH4B,C;4CACnBe,CAAAA,EAAA;A,IAAA,iB;EAAwD,C;4CAIxDjB,CACLH,K,EACAC,SAFKE,EAIL;A,IAOC,OAPD,eACY,KADZ,QAEmB,IAFnB,CAEmB,KAFnB,EAGoB,IAHpB,CAGoB,KAHpB,EAIE,sDAJF,C;EAOA,C;;;;+BCRCA,CAAuBa,OAAvBb,EACL;A,IA0CC,OA1CD,SAAS,2CAAT,C;EA0CA,C;;;;;qDA1CSkB,CAAA,c,EAAAC,WAAAD,EACL;A;;;;EAwCA,C;;;;oDAzCKE,CAAAA,EAAA;A;;MAAA,I;;;;;YACL,aAAkB,C;;YAEd,aAAwB,KAAR,KAAQ,M;YACxB,aAAkB,4B;;;;iBACX,gBAAa,IAAb,C;;;;;gBACH,UAAc,iCAAwB,KAAxB,C;gBACd,SAA4B,KAAf,KAAe,CAAL,KAAK,KAAO,OAAP,C;6BACb,KAAV,KAAU,M;YACX,aAAoB,aAAP,MAAO,EAAS,UAAT,CAAS,KAAT,EAAa,eAAM,KAAN,GAAa,CAA1B,MAA6B,eAAM,KAAN,GAAe,CAA5C,K;;4BACpB,mBAAM,KAAN,O;;;;;;;uBACoB,KAAP,KAAO,K;8BAgCuiqB,yB;gBAAqW,4B;mBAAA,qB,EAAM;A,kBAAjBC,UAAW,qB;cAAU,8D,CAA0B;A,gBAAZ,WAAY,GAAI,OAAJ,C;;YAAW,C;;gBAhCl8qB,sBAgC2hqB,WAhC3hqB,I;mBAAA,uB,EAA6C;A,kBAArDC,OAAQ,uB;kBACQ,sBAAS,uCAAa,IAAb,CAAT,I;qBAAA,uB,EAA6B;A,oBAAzCC,WAAY,uB;gBACb,IAAI;A,kBACQ,KAAR,KAAQ,MAAU,KAAgB,aAAT,QAAS,CAAhB,C;gBACtB,C;wEAAgD;A,wBAAvCC,M;6BAEe,KAAR,KAAQ,MAAM,M;wBAAa,iBAAA,EAAG,M;iCADpC,mBACiC,sBA0Bu5B,GA1B94B,EAAG,MA0B24B,GA1Bv5B,cADjC,EAE0B,KAAV,KAAU,MAF1B,EAGoB,KAAf,KAAe,CAAL,KAAK,MAAf,CAAoB,KAApB,CAA0B,KAA1B,GAAiC,CAHtC,MAIsB,KAAf,KAAe,CAAL,KAAK,MAAf,CAAoB,KAApB,CAA0B,KAA1B,GAAmC,CAJ1C,MAKQ,CALR,CAKU,OALV,EAMU,CANV,C;oBA2Bme,MApB7d,oBAAc,K;oBAP1B,MA2B0f,M;kBAnB9f,C;;;;cACJ,C;YACJ,C;;YAEJ,aAAc,4B;YACd,aAAW,KAAX,KAAW,IAAX,I;YACA,aAAoB,KAAR,KAAQ,M;;;;;;;;;YAYhC,oB;;;;;kBAVaA,e;yBAEe,KAAR,KAAQ,MAAM,M;kBAAa,mBAAA,IAAG,M;2BADpC,mBACiC,wBAS26B,GATl6B,IAAG,MAS+5B,GAT36B,gBADjC,EAEgB,GAFhB,CAEkB,KAFlB,EAGK,IAAE,KAAF,CAAO,KAAP,CAAa,KAAb,GAAoB,CAHzB,MAIO,IAAE,KAAF,CAAO,KAAP,CAAa,KAAb,GAAsB,CAJ7B,MAKQ,GALR,CAKU,OALV,EAMU,GANV,C;cAUuf,MAHjf,oBAAc,K;cAP1B,MAU8gB,M;;;;;;;;;;;;;;;;;;EADthB,C;sDA1CS,c,EAwCmC,U;;;;;uCAxCnCC,C,4BAAAA,E;;+CAAAC,CAAA,c,EAAAP,WAAAO,E;;K,EAlBb,C;G;;;;;;;;;;;;;;;;;;;;;"}
|