@tuprolog/2p-full 3.0.0 → 3.0.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.
Files changed (47) hide show
  1. package/2p-bdd.js +147 -147
  2. package/2p-bdd.js.map +1 -1
  3. package/2p-core.js +2583 -2583
  4. package/2p-core.js.map +1 -1
  5. package/2p-io-lib.js +844 -844
  6. package/2p-io-lib.js.map +1 -1
  7. package/2p-oop-lib.js +898 -898
  8. package/2p-oop-lib.js.map +1 -1
  9. package/2p-parser-core.js +113 -113
  10. package/2p-parser-core.js.map +1 -1
  11. package/2p-parser-impl.js +1487 -1487
  12. package/2p-parser-impl.js.map +1 -1
  13. package/2p-parser-theory.js +78 -78
  14. package/2p-parser-theory.js.map +1 -1
  15. package/2p-repl.js +98 -98
  16. package/2p-repl.js.map +1 -1
  17. package/2p-solve-plp.js +1 -1
  18. package/2p-solve-plp.js.map +1 -1
  19. package/2p-solve-problog.js +1298 -1298
  20. package/2p-solve-problog.js.map +1 -1
  21. package/2p-solve-prolog.js +913 -913
  22. package/2p-solve-prolog.js.map +1 -1
  23. package/2p-solve.js +4266 -4266
  24. package/2p-solve.js.map +1 -1
  25. package/2p-theory.js +1613 -1613
  26. package/2p-theory.js.map +1 -1
  27. package/2p-unify.js +333 -333
  28. package/2p-unify.js.map +1 -1
  29. package/2p-utils.js +388 -388
  30. package/2p-utils.js.map +1 -1
  31. package/clikt-clikt-mordant.js +88 -88
  32. package/clikt-clikt-mordant.js.map +1 -1
  33. package/clikt-clikt.js +2034 -2034
  34. package/clikt-clikt.js.map +1 -1
  35. package/colormath-root-colormath.js +456 -456
  36. package/colormath-root-colormath.js.map +1 -1
  37. package/kotlin-kotlin-stdlib.js +2405 -2405
  38. package/kotlin-kotlin-stdlib.js.map +1 -1
  39. package/kt-math.js +1454 -1454
  40. package/kt-math.js.map +1 -1
  41. package/mordant-mordant.js +1791 -1791
  42. package/mordant-mordant.js.map +1 -1
  43. package/okio-parent-okio-nodefilesystem.js +39 -39
  44. package/okio-parent-okio-nodefilesystem.js.map +1 -1
  45. package/okio-parent-okio.js +650 -650
  46. package/okio-parent-okio.js.map +1 -1
  47. package/package.json +1 -1
@@ -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().get_default_qtagd4_k$());
70
+ return this.parseTheoryWithOperators(input, operators, Companion_getInstance_0().o1n());
71
71
  }
72
72
  function parseTheory(input, unificator) {
73
- return this.parseTheoryWithOperators(input, this.get_defaultOperatorSet_nz5v8a_k$(), unificator);
73
+ return this.parseTheoryWithOperators(input, this.v4n(), unificator);
74
74
  }
75
75
  function parseTheoryWithDefaultUnificator(input) {
76
- return this.parseTheory(input, Companion_getInstance_0().get_default_qtagd4_k$());
76
+ return this.parseTheory(input, Companion_getInstance_0().o1n());
77
77
  }
78
78
  function parseClausesLazily(input) {
79
- return this.parseClausesLazilyWithOperators(input, this.get_defaultOperatorSet_nz5v8a_k$());
79
+ return this.parseClausesLazilyWithOperators(input, this.v4n());
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.get_defaultOperatorSet_nz5v8a_k$());
85
+ return this.parseClausesWithOperators(input, this.v4n());
86
86
  }
87
87
  initMetadataForInterface(ClausesParser, 'ClausesParser');
88
88
  initMetadataForClass(ClausesParserImpl, 'ClausesParserImpl', ClausesParserImpl, VOID, [ClausesParser]);
@@ -113,7 +113,7 @@
113
113
  }
114
114
  function ClausesParserImpl$parseClausesLazily$lambda($operators) {
115
115
  return function (parser, lexedSource) {
116
- var session = parser.openSession_4uoqee_k$(lexedSource, toOperatorTable($operators));
116
+ var session = parser.z4h(lexedSource, toOperatorTable($operators));
117
117
  return parseClausesLazily_0(session);
118
118
  };
119
119
  }
@@ -121,92 +121,92 @@
121
121
  defaultOperatorSet = defaultOperatorSet === VOID ? Companion_getInstance().DEFAULT : defaultOperatorSet;
122
122
  lexerOptions = lexerOptions === VOID ? new LexerOptions() : lexerOptions;
123
123
  parserOptions = parserOptions === VOID ? new ParserOptions() : parserOptions;
124
- this.defaultOperatorSet_1 = defaultOperatorSet;
125
- this.lexerOptions_1 = lexerOptions;
126
- this.parserOptions_1 = parserOptions;
124
+ this.g4s_1 = defaultOperatorSet;
125
+ this.h4s_1 = lexerOptions;
126
+ this.i4s_1 = parserOptions;
127
127
  }
128
- protoOf(ClausesParserImpl).get_defaultOperatorSet_nz5v8a_k$ = function () {
129
- return this.defaultOperatorSet_1;
128
+ protoOf(ClausesParserImpl).v4n = function () {
129
+ return this.g4s_1;
130
130
  };
131
- protoOf(ClausesParserImpl).parseClausesLazilyWithOperators_b4n2cy_k$ = function (input, operators) {
132
- return buildParserFor(input, VOID, this.lexerOptions_1, this.parserOptions_1, ClausesParserImpl$parseClausesLazily$lambda(operators));
131
+ protoOf(ClausesParserImpl).j4s = function (input, operators) {
132
+ return buildParserFor(input, VOID, this.h4s_1, this.i4s_1, ClausesParserImpl$parseClausesLazily$lambda(operators));
133
133
  };
134
134
  protoOf(ClausesParserImpl).parseClausesLazilyWithOperators = function (input, operators) {
135
- return this.parseClausesLazilyWithOperators_b4n2cy_k$(input, operators);
135
+ return this.j4s(input, operators);
136
136
  };
137
137
  function parseClausesLazily_0(session) {
138
138
  return sequence(parseClausesLazily$slambda_0(session, null));
139
139
  }
140
140
  function parseClausesLazily$slambda($session, resultContinuation) {
141
- this.$session_1 = $session;
141
+ this.s4s_1 = $session;
142
142
  CoroutineImpl.call(this, resultContinuation);
143
143
  }
144
- protoOf(parseClausesLazily$slambda).invoke_a7p0o1_k$ = function ($this$sequence, $completion) {
145
- var tmp = this.create_qhqucj_k$($this$sequence, $completion);
146
- tmp.result_1 = Unit_instance;
147
- tmp.exception_1 = null;
148
- return tmp.doResume_5yljmg_k$();
144
+ protoOf(parseClausesLazily$slambda).y4s = function ($this$sequence, $completion) {
145
+ var tmp = this.z4s($this$sequence, $completion);
146
+ tmp.r8_1 = Unit_instance;
147
+ tmp.s8_1 = null;
148
+ return tmp.x8();
149
149
  };
150
- protoOf(parseClausesLazily$slambda).invoke_qns8j1_k$ = function (p1, $completion) {
151
- return this.invoke_a7p0o1_k$(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
150
+ protoOf(parseClausesLazily$slambda).o9 = function (p1, $completion) {
151
+ return this.y4s(p1 instanceof SequenceScope ? p1 : THROW_CCE(), $completion);
152
152
  };
153
- protoOf(parseClausesLazily$slambda).doResume_5yljmg_k$ = function () {
154
- var suspendResult = this.result_1;
153
+ protoOf(parseClausesLazily$slambda).x8 = function () {
154
+ var suspendResult = this.r8_1;
155
155
  $sm: do
156
156
  try {
157
- var tmp = this.state_1;
157
+ var tmp = this.p8_1;
158
158
  switch (tmp) {
159
159
  case 0:
160
- this.exceptionState_1 = 6;
161
- this.clauseIndex0__1 = 0;
162
- this.exceptionState_1 = 5;
163
- this.clauseAST1__1 = this.$session_1.parseNextClause_q42uz9_k$();
164
- this.scope2__1 = Companion_instance_0.empty();
165
- this.state_1 = 1;
160
+ this.q8_1 = 6;
161
+ this.u4s_1 = 0;
162
+ this.q8_1 = 5;
163
+ this.v4s_1 = this.s4s_1.h4h();
164
+ this.w4s_1 = Companion_instance_0.empty();
165
+ this.p8_1 = 1;
166
166
  continue $sm;
167
167
  case 1:
168
- if (!!(this.clauseAST1__1 == null)) {
169
- this.state_1 = 3;
168
+ if (!!(this.v4s_1 == null)) {
169
+ this.p8_1 = 3;
170
170
  continue $sm;
171
171
  }
172
172
 
173
- var visitor = new PrologTermParserVisitor(this.scope2__1);
174
- var clause = this.clauseAST1__1.root_1.accept_crnher_k$(visitor);
175
- var $this$with = this.clauseAST1__1.get_source_jl0x7o_k$();
176
- this.clause3__1 = termToClause(clause, $this$with.id_1, $this$with.get_start_iypx6h_k$().line_1 + 1 | 0, $this$with.get_start_iypx6h_k$().column_1 + 1 | 0);
177
- this.state_1 = 2;
178
- suspendResult = this.$this$sequence_1.yield_3xhcex_k$(this.clause3__1, this);
173
+ var visitor = new PrologTermParserVisitor(this.w4s_1);
174
+ var clause = this.v4s_1.b4n_1.j4j(visitor);
175
+ var $this$with = this.v4s_1.s4e();
176
+ this.x4s_1 = termToClause(clause, $this$with.p4f_1, $this$with.j().f4a_1 + 1 | 0, $this$with.j().g4a_1 + 1 | 0);
177
+ this.p8_1 = 2;
178
+ suspendResult = this.t4s_1.te(this.x4s_1, this);
179
179
  if (suspendResult === get_COROUTINE_SUSPENDED()) {
180
180
  return suspendResult;
181
181
  }
182
182
 
183
183
  continue $sm;
184
184
  case 2:
185
- var tmp0 = this.clause3__1.get_bodyItems_swfrmd_k$();
185
+ var tmp0 = this.x4s_1.qz();
186
186
  var destination = ArrayList_init_$Create$();
187
- var _iterator__ex2g4s = tmp0.iterator_jk1svi_k$();
188
- while (_iterator__ex2g4s.hasNext_bitz1p_k$()) {
189
- var element = _iterator__ex2g4s.next_20eer_k$();
187
+ var _iterator__ex2g4s = tmp0.n();
188
+ while (_iterator__ex2g4s.q()) {
189
+ var element = _iterator__ex2g4s.r();
190
190
  if (!(element == null) ? isInterface(element, Struct) : false) {
191
- destination.add_utx5q5_k$(element);
191
+ destination.l(element);
192
192
  }
193
193
  }
194
194
 
195
- var _iterator__ex2g4s_0 = destination.iterator_jk1svi_k$();
196
- while (_iterator__ex2g4s_0.hasNext_bitz1p_k$()) {
197
- var goal = _iterator__ex2g4s_0.next_20eer_k$();
198
- var _iterator__ex2g4s_1 = Companion_getInstance_1().manyFromTerm(goal).iterator_jk1svi_k$();
199
- while (_iterator__ex2g4s_1.hasNext_bitz1p_k$()) {
200
- var operator = _iterator__ex2g4s_1.next_20eer_k$();
195
+ var _iterator__ex2g4s_0 = destination.n();
196
+ while (_iterator__ex2g4s_0.q()) {
197
+ var goal = _iterator__ex2g4s_0.r();
198
+ var _iterator__ex2g4s_1 = Companion_getInstance_1().manyFromTerm(goal).n();
199
+ while (_iterator__ex2g4s_1.q()) {
200
+ var operator = _iterator__ex2g4s_1.r();
201
201
  try {
202
- this.$session_1.get_operators_z0nmfu_k$().define_y36wdt_k$(toDefinition(operator));
202
+ this.s4s_1.c1y().c4m(toDefinition(operator));
203
203
  } catch ($p) {
204
204
  if ($p instanceof InvalidOperatorDefinitionException) {
205
205
  var e = $p;
206
- var it = this.$session_1.get_input_it4gip_k$().get_source_jl0x7o_k$();
207
- var tmp0_elvis_lhs = it.get_id_kntnx8_k$();
208
- var this_0 = new ParseException(tmp0_elvis_lhs == null ? it.text$default_f8ergi_k$() : tmp0_elvis_lhs, this.clauseAST1__1.toRepresentation_fe9lnc_k$(), this.clauseAST1__1.root_1.get_span_wouger_k$().start_1.line_1 + 1 | 0, this.clauseAST1__1.root_1.get_span_wouger_k$().start_1.column_1 + 1 | 0, e.message, e);
209
- this_0.clauseIndex = this.clauseIndex0__1;
206
+ var it = this.s4s_1.g4h().s4e();
207
+ var tmp0_elvis_lhs = it.x15();
208
+ var this_0 = new ParseException(tmp0_elvis_lhs == null ? it.z4c() : tmp0_elvis_lhs, this.v4s_1.h4m(), this.v4s_1.b4n_1.h4j().h4a_1.f4a_1 + 1 | 0, this.v4s_1.b4n_1.h4j().h4a_1.g4a_1 + 1 | 0, e.message, e);
209
+ this_0.clauseIndex = this.u4s_1;
210
210
  throw this_0;
211
211
  } else {
212
212
  throw $p;
@@ -215,55 +215,55 @@
215
215
  }
216
216
  }
217
217
 
218
- this.scope2__1 = Companion_instance_0.empty();
219
- this.clauseIndex0__1 = this.clauseIndex0__1 + 1 | 0;
220
- this.clauseAST1__1 = this.$session_1.parseNextClause_q42uz9_k$();
221
- this.state_1 = 1;
218
+ this.w4s_1 = Companion_instance_0.empty();
219
+ this.u4s_1 = this.u4s_1 + 1 | 0;
220
+ this.v4s_1 = this.s4s_1.h4h();
221
+ this.p8_1 = 1;
222
222
  continue $sm;
223
223
  case 3:
224
- this.exceptionState_1 = 6;
225
- this.state_1 = 4;
224
+ this.q8_1 = 6;
225
+ this.p8_1 = 4;
226
226
  continue $sm;
227
227
  case 4:
228
- this.exceptionState_1 = 6;
228
+ this.q8_1 = 6;
229
229
  return Unit_instance;
230
230
  case 5:
231
- this.exceptionState_1 = 6;
232
- var tmp_0 = this.exception_1;
231
+ this.q8_1 = 6;
232
+ var tmp_0 = this.s8_1;
233
233
  if (tmp_0 instanceof PrologSyntaxException) {
234
- var e_0 = this.exception_1;
235
- var it_0 = this.$session_1.get_input_it4gip_k$().get_source_jl0x7o_k$();
236
- var tmp0_elvis_lhs_0 = it_0.get_id_kntnx8_k$();
237
- var this_1 = new ParseException(tmp0_elvis_lhs_0 == null ? it_0.text$default_f8ergi_k$() : tmp0_elvis_lhs_0, e_0.offendingText_1, e_0.span_1.start_1.line_1 + 1 | 0, e_0.span_1.start_1.column_1 + 1 | 0, e_0.message, e_0);
238
- this_1.clauseIndex = this.clauseIndex0__1;
234
+ var e_0 = this.s8_1;
235
+ var it_0 = this.s4s_1.g4h().s4e();
236
+ var tmp0_elvis_lhs_0 = it_0.x15();
237
+ var this_1 = new ParseException(tmp0_elvis_lhs_0 == null ? it_0.z4c() : tmp0_elvis_lhs_0, e_0.i4c_1, e_0.h4c_1.h4a_1.f4a_1 + 1 | 0, e_0.h4c_1.h4a_1.g4a_1 + 1 | 0, e_0.message, e_0);
238
+ this_1.clauseIndex = this.u4s_1;
239
239
  throw this_1;
240
240
  } else {
241
- throw this.exception_1;
241
+ throw this.s8_1;
242
242
  }
243
243
 
244
244
  case 6:
245
- throw this.exception_1;
245
+ throw this.s8_1;
246
246
  }
247
247
  } catch ($p_0) {
248
248
  var e_1 = $p_0;
249
- if (this.exceptionState_1 === 6) {
249
+ if (this.q8_1 === 6) {
250
250
  throw e_1;
251
251
  } else {
252
- this.state_1 = this.exceptionState_1;
253
- this.exception_1 = e_1;
252
+ this.p8_1 = this.q8_1;
253
+ this.s8_1 = e_1;
254
254
  }
255
255
  }
256
256
  while (true);
257
257
  };
258
- protoOf(parseClausesLazily$slambda).create_qhqucj_k$ = function ($this$sequence, completion) {
259
- var i = new parseClausesLazily$slambda(this.$session_1, completion);
260
- i.$this$sequence_1 = $this$sequence;
258
+ protoOf(parseClausesLazily$slambda).z4s = function ($this$sequence, completion) {
259
+ var i = new parseClausesLazily$slambda(this.s4s_1, completion);
260
+ i.t4s_1 = $this$sequence;
261
261
  return i;
262
262
  };
263
263
  function parseClausesLazily$slambda_0($session, resultContinuation) {
264
264
  var i = new parseClausesLazily$slambda($session, resultContinuation);
265
265
  return constructCallableReference(function ($this$sequence, $completion) {
266
- return i.invoke_a7p0o1_k$($this$sequence, $completion);
266
+ return i.y4s($this$sequence, $completion);
267
267
  }, 1);
268
268
  }
269
269
  //region block: post-declaration
@@ -1 +1 @@
1
- {"version":3,"sourceRoot":"../../../../../../../parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/","sources":["NATIVE_IMPLEMENTATIONS.kt","ClausesParser.kt","ClausesParserImpl.kt","Utils.kt"],"sourcesContent":[null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["parseTheory","input","operators","unificator","parseClausesLazily","parseClauses","<init>","withNoOperator","withStandardOperators","withDefaultOperators","withOperators","ClausesParserImpl$parseClausesLazily$lambda$lambda","session","doResume","parseClausesLazily$slambda$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECmDIA,kCACIC,K,EACAC,S,EACAC,UAHJH,EAIY;A,IAAkE,OAA3D,qCAAU,UAAV,EAAsB,qCAAmB,KAAnB,EAA0B,SAA1B,CAAtB,C;EAA0D,C;EAQ7EA,sDACIC,K,EACAC,SAFJF,EAGY;A,IAAiD,OAAjD,8BAAY,KAAZ,EAAmB,SAAnB,EAAyC,iDAAzC,C;EAAgD,C;EAQ5DA,qBACIC,K,EACAE,UAFJH,EAGY;A,IAAkD,OAAlD,8BAAY,KAAZ,EAAmB,uCAAnB,EAAuC,UAAvC,C;EAAiD,C;EAM7DA,0CAAgBC,KAAhBD,EAAyC;A,IAAsC,OAAtC,iBAAY,KAAZ,EAA8B,iDAA9B,C;EAAqC,C;EAmB9EI,4BAAuBH,KAAvBG,EAA0D;A,IAA6C,OAA7C,qCAAmB,KAAnB,EAA0B,uCAA1B,C;EAA4C,C;EAQtGC,mCACIJ,K,EACAC,SAFJG,EAGkB;A,IAA6C,OAAR,OAArC,qCAAmB,KAAnB,EAA0B,SAA1B,CAAqC,C;EAAO,C;EAM9DA,sBAAiBJ,KAAjBI,EAAgD;A,IAAuC,OAAvC,+BAAa,KAAb,EAAoB,uCAApB,C;EAAsC,C;;;;;EAEtFC,mBAAAA,EAAA;A,EAAA,C;sCAIIC,UAAAA,EAAuB;A,IAAgC,OAAhC,6CAA0B,KAA1B,C;EAA+B,C;6CAKtDC,UAAAA,EAA8B;A,IAAmC,OAAnC,6CAA0B,QAA1B,C;EAAkC,C;4CAKhEC,UAAAA,EAA6B;A,IAAkC,OAAlC,6CAA0B,OAA1B,C;EAAiC,C;uCAK9DC,UAAkBR,SAAlBQ,EAA2D;A,IAA4B,OAA5B,sBAAkB,SAAlB,C;EAA2B,C;qCAKtFA,UAAkBR,SAAlBQ,EAAgD;A,IAAsC,OAAtC,qBAAc,0BAAa,SAAD,QAAZ,CAAd,C;EAAqC,C;;EDjJ7F,iCAAA,EAAA;AAAA;AAAA,GAAA;A;;EAAA,qDAAA,UAAA,EAAA;AAAA,WEsBUC,UFtBV,M,EAAA,WEsBUA,EAAA;A,UACEC,UAAc,MAAO,uBAAY,WAAZ,EAAmC,gBAAV,UAAU,CAAnC,C;MACM,OAA3B,qBAAmB,OAAnB,C;IACJ,C;AFzBR,GAAA;A,EESgCN,2BFThC,kB,EAAA,Y,EAAA,aESgCA,EAAA;A,+EAC+B,O;2CAClB,kB;6CACE,mB;IAF3C,8C;IACA,kC;IACA,oC;EAH4B,C;gEFThC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,oBAAA;AAAA,EAAA,CAAA;yEEcaF,UACLH,K,EACAC,SAFKE,EAIL;A,IAOC,OAPD,eACY,KADZ,QAEmB,IAFnB,CAEmB,cAFnB,EAGoB,IAHpB,CAGoB,eAHpB,EAIE,sDAJF,C;EAOA,C;+DFzBR,UAAA,gBAAA,EAAA;AAAA;AAAA,GAAA;A,EGiBSA,8BAAuBQ,OAAvBR,EACL;A,IA0CC,OA1CD,SAAS,2CAAT,C;EA0CA,C;EH5DJ,oCAAA,QAAA,EAAA,kBAAA,EAAA;AAAA;;AAAA,GAAA;yDAAA,UAAA,cAAA,EAAA,WAAA,EAAA;AAAA,QAAA,wDAAA;;;;AAAA,EAAA,CAAA;yDAAA,UAAA,EAAA,EAAA,WAAA,EAAA;AAAA;AAAA,GAAA;2DGkBaS,UAAAA,EAAA;A,QHlBb,6B;;MGkBa,I;YHlBb,kB;;;;YGmBQ,uBAAkB,C;;YAEd,qBAAwB,KAAR,UAAQ,4B;YACxB,iBAAkB,4B;;;;iBACX,wBAAa,IAAb,C;;;;;gBACH,UAAc,iCAAwB,SAAxB,C;gBACd,SAA4B,KAAf,aAAe,CAAL,MAAK,kBAAO,OAAP,C;6BACb,KAAV,aAAU,uB;YACX,kBAAoB,aAAP,MAAO,EAAS,UAAT,CAAS,IAAT,EAAa,iCAAM,MAAN,GAAa,CAA1B,MAA6B,iCAAM,QAAN,GAAe,CAA5C,K;;4BACpB,2CAAM,UAAN,O;;;;;;;gBH5BpB,OG6BwC,KAAP,UAAO,0B;gBH7BxC,cG6D+kqB,yB;gBAAqW,6C;mBAAA,qC,EAAM;A,kBH7D17qB,UG6Do7qB,iC;cAAU,8D,CAA0B;A,gBAAZ,WAAY,eAAI,OAAJ,C;;YAAW,C;;gBAhCl8qB,sBAgC2hqB,WAhC3hqB,qB;mBAAA,uC,EAA6C;A,kBH7B9E,OG6BiC,mC;kBACQ,sBAAS,uCAAa,IAAb,CAAT,qB;qBAAA,uC,EAA6B;A,oBH9BtE,WG8ByC,mC;gBACb,IAAI;A,kBACQ,KAAR,UAAQ,0BAAU,kBAAgB,aAAT,QAAS,CAAhB,C;gBACtB,C;wEAAgD;A,wBHjC5E,M;wBAAA,KGmCoD,KAAR,UAAQ,sBAAM,uB;wBAAa,iBAAA,EAAG,mB;wBHnC1E,SGkCsC,mBACiC,sBA0Bu5B,GA1B94B,EAAG,yBA0B24B,GA1Bv5B,cADjC,EAE0B,KAAV,aAAU,6BAF1B,EAGoB,KAAf,aAAe,CAAL,MAAK,qBAAf,CAAoB,OAApB,CAA0B,MAA1B,GAAiC,CAHtC,MAIsB,KAAf,aAAe,CAAL,MAAK,qBAAf,CAAoB,OAApB,CAA0B,QAA1B,GAAmC,CAJ1C,MAKQ,CALR,CAKU,OALV,EAMU,CANV,C;oBA2Bme,MApB7d,oBAAc,e;oBAP1B,MA2B0f,M;kBAnB9f,C;;;;cACJ,C;YACJ,C;;YAEJ,iBAAc,4B;YACd,uBAAW,KAAX,eAAW,IAAX,I;YACA,qBAAoB,KAAR,UAAQ,4B;;;;;;;;;YAYhC,oB;;;gBH5DJ,wB;;kBAAA,sB;kBAAA,OGoDgC,KAAR,UAAQ,sBAAM,uB;kBAAa,mBAAA,IAAG,mB;kBHpDtD,SGmDkB,mBACiC,wBAS26B,GATl6B,IAAG,yBAS+5B,GAT36B,gBADjC,EAEgB,GAFhB,CAEkB,eAFlB,EAGK,IAAE,MAAF,CAAO,OAAP,CAAa,MAAb,GAAoB,CAHzB,MAIO,IAAE,MAAF,CAAO,OAAP,CAAa,QAAb,GAAsB,CAJ7B,MAKQ,GALR,CAKU,OALV,EAMU,GANV,C;cAUuf,MAHjf,oBAAc,e;cAP1B,MAU8gB,M;;;;;;;;;YH7D1hB,U;;;;;;;;;EG4DI,C;yDH5DJ,UAAA,cAAA,EAAA,UAAA,EAAA;AAAA,QAAA,+DAAA;;;AAAA,GAAA;A,EAAA,sCAAA,QAAA,EAAA,kBAAA,EAAA;AAAA,QAAA,gEAAA;sCGkBaC,UHlBb,c,EAAA,WGkBaA,E;;K,EHlBb,CAAA;AAAA,GAAA;;;;;;;;;;;;;;;;;;A;"}
1
+ {"version":3,"sourceRoot":"../../../../../../../parser-theory/src/commonMain/kotlin/it/unibo/tuprolog/theory/parsing/","sources":["NATIVE_IMPLEMENTATIONS.kt","ClausesParser.kt","ClausesParserImpl.kt","Utils.kt"],"sourcesContent":[null,null,null,null],"ignoreList":[0],"x_google_ignoreList":[0],"names":["parseTheory","input","operators","unificator","parseClausesLazily","parseClauses","<init>","withNoOperator","withStandardOperators","withDefaultOperators","withOperators","ClausesParserImpl$parseClausesLazily$lambda$lambda","session","doResume","parseClausesLazily$slambda$lambda"],"mappings":";;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;ECmDIA,kCACIC,K,EACAC,S,EACAC,UAHJH,EAIY;A,IAAkE,OAA3D,qCAAU,UAAV,EAAsB,qCAAmB,KAAnB,EAA0B,SAA1B,CAAtB,C;EAA0D,C;EAQ7EA,sDACIC,K,EACAC,SAFJF,EAGY;A,IAAiD,OAAjD,8BAAY,KAAZ,EAAmB,SAAnB,EAAyC,+BAAzC,C;EAAgD,C;EAQ5DA,qBACIC,K,EACAE,UAFJH,EAGY;A,IAAkD,OAAlD,8BAAY,KAAZ,EAAmB,UAAnB,EAAuC,UAAvC,C;EAAiD,C;EAM7DA,0CAAgBC,KAAhBD,EAAyC;A,IAAsC,OAAtC,iBAAY,KAAZ,EAA8B,+BAA9B,C;EAAqC,C;EAmB9EI,4BAAuBH,KAAvBG,EAA0D;A,IAA6C,OAA7C,qCAAmB,KAAnB,EAA0B,UAA1B,C;EAA4C,C;EAQtGC,mCACIJ,K,EACAC,SAFJG,EAGkB;A,IAA6C,OAAR,OAArC,qCAAmB,KAAnB,EAA0B,SAA1B,CAAqC,C;EAAO,C;EAM9DA,sBAAiBJ,KAAjBI,EAAgD;A,IAAuC,OAAvC,+BAAa,KAAb,EAAoB,UAApB,C;EAAsC,C;;;;;EAEtFC,mBAAAA,EAAA;A,EAAA,C;sCAIIC,UAAAA,EAAuB;A,IAAgC,OAAhC,6CAA0B,KAA1B,C;EAA+B,C;6CAKtDC,UAAAA,EAA8B;A,IAAmC,OAAnC,6CAA0B,QAA1B,C;EAAkC,C;4CAKhEC,UAAAA,EAA6B;A,IAAkC,OAAlC,6CAA0B,OAA1B,C;EAAiC,C;uCAK9DC,UAAkBR,SAAlBQ,EAA2D;A,IAA4B,OAA5B,sBAAkB,SAAlB,C;EAA2B,C;qCAKtFA,UAAkBR,SAAlBQ,EAAgD;A,IAAsC,OAAtC,qBAAc,0BAAa,SAAD,QAAZ,CAAd,C;EAAqC,C;;EDjJ7F,iCAAA,EAAA;AAAA;AAAA,GAAA;A;;EAAA,qDAAA,UAAA,EAAA;AAAA,WEsBUC,UFtBV,M,EAAA,WEsBUA,EAAA;A,UACEC,UAAc,MAAO,KAAY,WAAZ,EAAmC,gBAAV,UAAU,CAAnC,C;MACM,OAA3B,qBAAmB,OAAnB,C;IACJ,C;AFzBR,GAAA;A,EESgCN,2BFThC,kB,EAAA,Y,EAAA,aESgCA,EAAA;A,+EAC+B,O;2CAClB,kB;6CACE,mB;IAF3C,+B;IACA,yB;IACA,0B;EAH4B,C;mCFThC,UAAA,EAAA;AAAA,IAAA,OAAA,IAAA,CAAA,KAAA;AAAA,EAAA,CAAA;mCEcaF,UACLH,K,EACAC,SAFKE,EAIL;A,IAOC,OAPD,eACY,KADZ,QAEmB,IAFnB,CAEmB,KAFnB,EAGoB,IAHpB,CAGoB,KAHpB,EAIE,sDAJF,C;EAOA,C;+DFzBR,UAAA,gBAAA,EAAA;AAAA;AAAA,GAAA;A,EGiBSA,8BAAuBQ,OAAvBR,EACL;A,IA0CC,OA1CD,SAAS,2CAAT,C;EA0CA,C;EH5DJ,oCAAA,QAAA,EAAA,kBAAA,EAAA;AAAA;;AAAA,GAAA;4CAAA,UAAA,cAAA,EAAA,WAAA,EAAA;AAAA,QAAA,2CAAA;;;;AAAA,EAAA,CAAA;2CAAA,UAAA,EAAA,EAAA,WAAA,EAAA;AAAA;AAAA,GAAA;2CGkBaS,UAAAA,EAAA;A,QHlBb,yB;;MGkBa,I;YHlBb,e;;;;YGmBQ,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;;;;;;;gBH5BpB,OG6BwC,KAAP,KAAO,K;gBH7BxC,cG6D+kqB,yB;gBAAqW,4B;mBAAA,qB,EAAM;A,kBH7D17qB,UG6Do7qB,qB;cAAU,8D,CAA0B;A,gBAAZ,WAAY,GAAI,OAAJ,C;;YAAW,C;;gBAhCl8qB,sBAgC2hqB,WAhC3hqB,I;mBAAA,uB,EAA6C;A,kBH7B9E,OG6BiC,uB;kBACQ,sBAAS,uCAAa,IAAb,CAAT,I;qBAAA,uB,EAA6B;A,oBH9BtE,WG8ByC,uB;gBACb,IAAI;A,kBACQ,KAAR,KAAQ,MAAU,KAAgB,aAAT,QAAS,CAAhB,C;gBACtB,C;wEAAgD;A,wBHjC5E,M;wBAAA,KGmCoD,KAAR,KAAQ,MAAM,M;wBAAa,iBAAA,EAAG,M;wBHnC1E,SGkCsC,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;;;gBH5DJ,iB;;kBAAA,e;kBAAA,OGoDgC,KAAR,KAAQ,MAAM,M;kBAAa,mBAAA,IAAG,M;kBHpDtD,SGmDkB,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;;;;;;;;;YH7D1hB,U;;;;;;;;;EG4DI,C;4CH5DJ,UAAA,cAAA,EAAA,UAAA,EAAA;AAAA,QAAA,0DAAA;;;AAAA,GAAA;A,EAAA,sCAAA,QAAA,EAAA,kBAAA,EAAA;AAAA,QAAA,gEAAA;sCGkBaC,UHlBb,c,EAAA,WGkBaA,E;;K,EHlBb,CAAA;AAAA,GAAA;;;;;;;;;;;;;;;;;;A;"}