@tuprolog/arg2p 0.14.2 → 0.16.2

package/2p-parser-core.js

@@ -1,125 +1,85 @@
 (function (factory) {
   if (typeof define === 'function' && define.amd)
-    define(['exports', '@tuprolog/parser-utils', 'antlr4', 'antlr4/src/antlr4/error', 'antlr4/src/antlr4/atn', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-parser-js.js', './kt-math.js'], factory);
+    define(['exports', './kotlin-kotlin-stdlib.js', './2p-core.js', './2p-parser-impl.js'], factory);
   else if (typeof exports === 'object')
-    factory(module.exports, require('@tuprolog/parser-utils'), require('antlr4'), require('antlr4/src/antlr4/error'), require('antlr4/src/antlr4/atn'), require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-parser-js.js'), require('./kt-math.js'));
+    factory(module.exports, require('./kotlin-kotlin-stdlib.js'), require('./2p-core.js'), require('./2p-parser-impl.js'));
   else {
-    if (typeof globalThis['@tuprolog/parser-utils'] === 'undefined') {
-      throw new Error("Error loading module '2p-parser-core'. Its dependency '@tuprolog/parser-utils' was not found. Please, check whether '@tuprolog/parser-utils' is loaded prior to '2p-parser-core'.");
-    }
-    if (typeof antlr4 === 'undefined') {
-      throw new Error("Error loading module '2p-parser-core'. Its dependency 'antlr4' was not found. Please, check whether 'antlr4' is loaded prior to '2p-parser-core'.");
-    }
-    if (typeof globalThis['antlr4/src/antlr4/error'] === 'undefined') {
-      throw new Error("Error loading module '2p-parser-core'. Its dependency 'antlr4/src/antlr4/error' was not found. Please, check whether 'antlr4/src/antlr4/error' is loaded prior to '2p-parser-core'.");
-    }
-    if (typeof globalThis['antlr4/src/antlr4/atn'] === 'undefined') {
-      throw new Error("Error loading module '2p-parser-core'. Its dependency 'antlr4/src/antlr4/atn' was not found. Please, check whether 'antlr4/src/antlr4/atn' is loaded prior to '2p-parser-core'.");
-    }
     if (typeof globalThis['kotlin-kotlin-stdlib'] === 'undefined') {
       throw new Error("Error loading module '2p-parser-core'. Its dependency 'kotlin-kotlin-stdlib' was not found. Please, check whether 'kotlin-kotlin-stdlib' is loaded prior to '2p-parser-core'.");
     }
     if (typeof globalThis['2p-core'] === 'undefined') {
       throw new Error("Error loading module '2p-parser-core'. Its dependency '2p-core' was not found. Please, check whether '2p-core' is loaded prior to '2p-parser-core'.");
     }
-    if (typeof globalThis['2p-parser-js'] === 'undefined') {
-      throw new Error("Error loading module '2p-parser-core'. Its dependency '2p-parser-js' was not found. Please, check whether '2p-parser-js' is loaded prior to '2p-parser-core'.");
+    if (typeof globalThis['2p-parser-impl'] === 'undefined') {
+      throw new Error("Error loading module '2p-parser-core'. Its dependency '2p-parser-impl' was not found. Please, check whether '2p-parser-impl' is loaded prior to '2p-parser-core'.");
     }
-    if (typeof globalThis['kt-math'] === 'undefined') {
-      throw new Error("Error loading module '2p-parser-core'. Its dependency 'kt-math' was not found. Please, check whether 'kt-math' is loaded prior to '2p-parser-core'.");
-    }
-    globalThis['2p-parser-core'] = factory(typeof globalThis['2p-parser-core'] === 'undefined' ? {} : globalThis['2p-parser-core'], globalThis['@tuprolog/parser-utils'], antlr4, globalThis['antlr4/src/antlr4/error'], globalThis['antlr4/src/antlr4/atn'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-core'], globalThis['2p-parser-js'], globalThis['kt-math']);
+    globalThis['2p-parser-core'] = factory(typeof globalThis['2p-parser-core'] === 'undefined' ? {} : globalThis['2p-parser-core'], globalThis['kotlin-kotlin-stdlib'], globalThis['2p-core'], globalThis['2p-parser-impl']);
   }
-}(function (_, $module$_tuprolog_parser_utils_xy31vy, $module$antlr4, $module$antlr4_src_antlr4_error_s9pni7, $module$antlr4_src_antlr4_atn_66gh9q, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_js, kotlin_io_github_gciatto_kt_math) {
+}(function (_, kotlin_kotlin, kotlin_it_unibo_tuprolog_core, kotlin_it_unibo_tuprolog_parser_impl) {
   'use strict';
   //region block: imports
-  var PrologParserListener = $module$_tuprolog_parser_utils_xy31vy.PrologParserListener;
-  var Associativity = $module$_tuprolog_parser_utils_xy31vy.Associativity;
-  var Token = $module$antlr4.Token;
-  var RecognitionException = $module$antlr4_src_antlr4_error_s9pni7.RecognitionException;
-  var PredictionMode = $module$antlr4_src_antlr4_atn_66gh9q.PredictionMode;
-  var PrologParser = $module$_tuprolog_parser_utils_xy31vy.PrologParser;
-  var InputStream = $module$antlr4.InputStream;
-  var PrologLexer = $module$_tuprolog_parser_utils_xy31vy.PrologLexer;
-  var CommonTokenStream = $module$antlr4.CommonTokenStream;
-  var BailErrorStrategy = $module$antlr4_src_antlr4_error_s9pni7.BailErrorStrategy;
-  var PrologParserVisitor = $module$_tuprolog_parser_utils_xy31vy.PrologParserVisitor;
+  var imul = Math.imul;
   var VOID = kotlin_kotlin.$_$.b;
-  var captureStack = kotlin_kotlin.$_$.m5;
-  var protoOf = kotlin_kotlin.$_$.n6;
-  var initMetadataForClass = kotlin_kotlin.$_$.a6;
-  var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.c1;
-  var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.e;
-  var ensureNotNull = kotlin_kotlin.$_$.ua;
-  var replace = kotlin_kotlin.$_$.o9;
-  var _Char___init__impl__6a9atx = kotlin_kotlin.$_$.d1;
-  var Char = kotlin_kotlin.$_$.ea;
-  var toString = kotlin_kotlin.$_$.h1;
-  var Struct = kotlin_it_unibo_tuprolog_core.$_$.s1;
-  var isInterface = kotlin_kotlin.$_$.h6;
-  var Numeric = kotlin_it_unibo_tuprolog_core.$_$.o1;
-  var Atom = kotlin_it_unibo_tuprolog_core.$_$.f1;
-  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.i;
-  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.t;
-  var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.f;
-  var initMetadataForCompanion = kotlin_kotlin.$_$.b6;
-  var getKClass = kotlin_kotlin.$_$.f7;
-  var Constant = kotlin_it_unibo_tuprolog_core.$_$.h1;
-  var Var = kotlin_it_unibo_tuprolog_core.$_$.t2;
-  var Integer = kotlin_it_unibo_tuprolog_core.$_$.m1;
-  var Real = kotlin_it_unibo_tuprolog_core.$_$.p1;
-  var Clause = kotlin_it_unibo_tuprolog_core.$_$.g1;
-  var Rule = kotlin_it_unibo_tuprolog_core.$_$.q1;
-  var Fact = kotlin_it_unibo_tuprolog_core.$_$.k1;
-  var Directive = kotlin_it_unibo_tuprolog_core.$_$.j1;
-  var initMetadataForInterface = kotlin_kotlin.$_$.c6;
-  var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.m;
-  var toString_0 = kotlin_kotlin.$_$.q6;
-  var Unit_instance = kotlin_kotlin.$_$.l1;
-  var THROW_CCE = kotlin_kotlin.$_$.qa;
-  var contains = kotlin_kotlin.$_$.e2;
-  var Companion_getInstance_0 = kotlin_it_unibo_tuprolog_core.$_$.j;
-  var map = kotlin_kotlin.$_$.g8;
-  var Operator = kotlin_it_unibo_tuprolog_core.$_$.e1;
-  var List = kotlin_it_unibo_tuprolog_core.$_$.n1;
-  var coerceAtLeast = kotlin_kotlin.$_$.b7;
-  var isRecognitionException = kotlin_it_unibo_tuprolog_parser_js.$_$.b;
-  var isParseCancellationException = kotlin_it_unibo_tuprolog_parser_js.$_$.a;
-  var generateSequence = kotlin_kotlin.$_$.a8;
-  var takeWhile = kotlin_kotlin.$_$.r8;
-  var to = kotlin_kotlin.$_$.cb;
-  var initMetadataForObject = kotlin_kotlin.$_$.e6;
-  var substring = kotlin_kotlin.$_$.u9;
-  var Companion_getInstance_1 = kotlin_io_github_gciatto_kt_math.$_$.e;
-  var charCodeAt = kotlin_kotlin.$_$.p5;
-  var Char__toInt_impl_vasixd = kotlin_kotlin.$_$.g1;
-  var contains_0 = kotlin_kotlin.$_$.d9;
-  var plus = kotlin_kotlin.$_$.ya;
-  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.c;
-  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.t;
-  var listOf = kotlin_kotlin.$_$.d3;
-  var asList = kotlin_kotlin.$_$.w1;
-  var plus_0 = kotlin_kotlin.$_$.x3;
-  var collectionSizeOrDefault = kotlin_kotlin.$_$.c2;
-  var toList = kotlin_kotlin.$_$.g4;
-  var flatMap = kotlin_kotlin.$_$.x7;
-  var asSequence = kotlin_kotlin.$_$.a2;
-  var toList_0 = kotlin_kotlin.$_$.v8;
-  var sequenceOf = kotlin_kotlin.$_$.n8;
-  var asSequence_0 = kotlin_kotlin.$_$.b2;
-  var plus_1 = kotlin_kotlin.$_$.k8;
-  var IllegalArgumentException_init_$Create$ = kotlin_kotlin.$_$.q;
-  var Term = kotlin_it_unibo_tuprolog_core.$_$.r2;
-  var Companion_getInstance_2 = kotlin_it_unibo_tuprolog_core.$_$.o;
-  var Companion_getInstance_3 = kotlin_it_unibo_tuprolog_core.$_$.r;
-  var NumberFormatException = kotlin_kotlin.$_$.na;
+  var captureStack = kotlin_kotlin.$_$.c6;
+  var protoOf = kotlin_kotlin.$_$.f7;
+  var initMetadataForClass = kotlin_kotlin.$_$.s6;
+  var TuPrologException = kotlin_it_unibo_tuprolog_core.$_$.d1;
+  var TuPrologException_init_$Init$ = kotlin_it_unibo_tuprolog_core.$_$.a1;
+  var replace = kotlin_kotlin.$_$.ka;
+  var getKClassFromExpression = kotlin_kotlin.$_$.x7;
+  var getKClass = kotlin_kotlin.$_$.y7;
+  var toString = kotlin_kotlin.$_$.i7;
+  var IllegalStateException_init_$Create$ = kotlin_kotlin.$_$.h1;
+  var collectionSizeOrDefault = kotlin_kotlin.$_$.j2;
+  var ArrayList_init_$Create$ = kotlin_kotlin.$_$.p;
+  var Unit_instance = kotlin_kotlin.$_$.o;
+  var ensureNotNull = kotlin_kotlin.$_$.sb;
+  var visit = kotlin_it_unibo_tuprolog_parser_impl.$_$.p;
+  var visitExpression = kotlin_it_unibo_tuprolog_parser_impl.$_$.m;
+  var visitClause = kotlin_it_unibo_tuprolog_parser_impl.$_$.l;
+  var visitTerm = kotlin_it_unibo_tuprolog_parser_impl.$_$.o;
+  var visitParenthesizedExpression = kotlin_it_unibo_tuprolog_parser_impl.$_$.n;
+  var SyntaxNodeVisitor = kotlin_it_unibo_tuprolog_parser_impl.$_$.q;
+  var Companion_getInstance = kotlin_it_unibo_tuprolog_core.$_$.b;
+  var Companion_instance = kotlin_it_unibo_tuprolog_core.$_$.m;
+  var OperatorSet_init_$Create$ = kotlin_it_unibo_tuprolog_core.$_$.b1;
+  var initMetadataForCompanion = kotlin_kotlin.$_$.t6;
+  var Struct = kotlin_it_unibo_tuprolog_core.$_$.t1;
+  var isInterface = kotlin_kotlin.$_$.z6;
+  var Constant = kotlin_it_unibo_tuprolog_core.$_$.i1;
+  var Var = kotlin_it_unibo_tuprolog_core.$_$.u2;
+  var Atom = kotlin_it_unibo_tuprolog_core.$_$.g1;
+  var Numeric = kotlin_it_unibo_tuprolog_core.$_$.p1;
+  var Integer = kotlin_it_unibo_tuprolog_core.$_$.n1;
+  var Real = kotlin_it_unibo_tuprolog_core.$_$.q1;
+  var Clause = kotlin_it_unibo_tuprolog_core.$_$.h1;
+  var Rule = kotlin_it_unibo_tuprolog_core.$_$.r1;
+  var Fact = kotlin_it_unibo_tuprolog_core.$_$.l1;
+  var Directive = kotlin_it_unibo_tuprolog_core.$_$.k1;
+  var initMetadataForInterface = kotlin_kotlin.$_$.u6;
+  var Companion_instance_0 = kotlin_it_unibo_tuprolog_core.$_$.f;
+  var PrologSyntaxException = kotlin_it_unibo_tuprolog_parser_impl.$_$.j;
+  var LexerOptions = kotlin_it_unibo_tuprolog_parser_impl.$_$.r;
+  var ParserOptions = kotlin_it_unibo_tuprolog_parser_impl.$_$.s;
+  var buildParserFor = kotlin_it_unibo_tuprolog_parser_impl.$_$.t;
+  var OperatorTables_instance = kotlin_it_unibo_tuprolog_parser_impl.$_$.a;
+  var OperatorDefinition = kotlin_it_unibo_tuprolog_parser_impl.$_$.k;
+  var Associativity_FX_getInstance = kotlin_it_unibo_tuprolog_parser_impl.$_$.b;
+  var Associativity_FY_getInstance = kotlin_it_unibo_tuprolog_parser_impl.$_$.c;
+  var Associativity_XF_getInstance = kotlin_it_unibo_tuprolog_parser_impl.$_$.f;
+  var Associativity_YF_getInstance = kotlin_it_unibo_tuprolog_parser_impl.$_$.h;
+  var Associativity_XFX_getInstance = kotlin_it_unibo_tuprolog_parser_impl.$_$.d;
+  var Associativity_YFX_getInstance = kotlin_it_unibo_tuprolog_parser_impl.$_$.g;
+  var Associativity_XFY_getInstance = kotlin_it_unibo_tuprolog_parser_impl.$_$.e;
+  var noWhenBranchMatchedException = kotlin_kotlin.$_$.vb;
   //endregion
   //region block: pre-declaration
   initMetadataForClass(ParseException, 'ParseException', VOID, TuPrologException);
   initMetadataForClass(InvalidTermTypeException, 'InvalidTermTypeException', VOID, ParseException);
+  initMetadataForClass(PrologTermParserVisitor, 'PrologTermParserVisitor', VOID, VOID, [SyntaxNodeVisitor]);
   initMetadataForCompanion(Companion);
   function parseTerm(input) {
-    return this.parseTermWithOperators(input, this.q38());
+    return this.parseTermWithOperators(input, this.n3o());
   }
   function parseStructWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
@@ -135,7 +95,7 @@
     return tmp;
   }
   function parseStruct(input) {
-    return this.parseStructWithOperators(input, this.q38());
+    return this.parseStructWithOperators(input, this.n3o());
   }
   function parseConstantWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
@@ -151,7 +111,7 @@
     return tmp;
   }
   function parseConstant(input) {
-    return this.parseConstantWithOperators(input, this.q38());
+    return this.parseConstantWithOperators(input, this.n3o());
   }
   function parseVarWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
@@ -167,7 +127,7 @@
     return tmp;
   }
   function parseVar(input) {
-    return this.parseVarWithOperators(input, this.q38());
+    return this.parseVarWithOperators(input, this.n3o());
   }
   function parseAtomWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
@@ -183,7 +143,7 @@
     return tmp;
   }
   function parseAtom(input) {
-    return this.parseAtomWithOperators(input, this.q38());
+    return this.parseAtomWithOperators(input, this.n3o());
   }
   function parseNumericWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
@@ -199,7 +159,7 @@
     return tmp;
   }
   function parseNumeric(input) {
-    return this.parseNumericWithOperators(input, this.q38());
+    return this.parseNumericWithOperators(input, this.n3o());
   }
   function parseIntegerWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
@@ -215,7 +175,7 @@
     return tmp;
   }
   function parseInteger(input) {
-    return this.parseIntegerWithOperators(input, this.q38());
+    return this.parseIntegerWithOperators(input, this.n3o());
   }
   function parseRealWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
@@ -231,7 +191,7 @@
     return tmp;
   }
   function parseReal(input) {
-    return this.parseRealWithOperators(input, this.q38());
+    return this.parseRealWithOperators(input, this.n3o());
   }
   function parseClauseWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
@@ -247,7 +207,7 @@
     return tmp;
   }
   function parseClause(input) {
-    return this.parseClauseWithOperators(input, this.q38());
+    return this.parseClauseWithOperators(input, this.n3o());
   }
   function parseRuleWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
@@ -263,7 +223,7 @@
     return tmp;
   }
   function parseRule(input) {
-    return this.parseRuleWithOperators(input, this.q38());
+    return this.parseRuleWithOperators(input, this.n3o());
   }
   function parseFactWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
@@ -279,7 +239,7 @@
     return tmp;
   }
   function parseFact(input) {
-    return this.parseFactWithOperators(input, this.q38());
+    return this.parseFactWithOperators(input, this.n3o());
   }
   function parseDirectiveWithOperators(input, operators) {
     // Inline function 'it.unibo.tuprolog.core.parsing.Companion.parseAs' call
@@ -295,14 +255,9 @@
     return tmp;
   }
   function parseDirective(input) {
-    return this.parseDirectiveWithOperators(input, this.q38());
+    return this.parseDirectiveWithOperators(input, this.n3o());
   }
   initMetadataForInterface(TermParser, 'TermParser');
-  initMetadataForCompanion(Companion_0);
-  initMetadataForClass(DynamicOpListener, 'DynamicOpListener', VOID, PrologParserListener);
-  initMetadataForClass(PrologParserFactory$newErrorListener$1);
-  initMetadataForObject(PrologParserFactory, 'PrologParserFactory');
-  initMetadataForClass(PrologVisitor, 'PrologVisitor', PrologVisitor, PrologParserVisitor);
   initMetadataForClass(TermParserImpl, 'TermParserImpl', VOID, VOID, [TermParser]);
   //endregion
   function InvalidTermTypeException(input, term, type, offendingSymbol, line, column, message, throwable) {
@@ -316,12 +271,12 @@
     offendingSymbol = tmp;
     line = line === VOID ? 1 : line;
     column = column === VOID ? 1 : column;
-    message = message === VOID ? 'Expected ' + type.b9() + ', got: ' + offendingSymbol : message;
+    message = message === VOID ? 'Expected ' + type.e9() + ', got: ' + offendingSymbol : message;
     throwable = throwable === VOID ? null : throwable;
     ParseException.call(this, input, offendingSymbol, line, column, message, throwable);
     captureStack(this, InvalidTermTypeException);
-    this.z37_1 = term;
-    this.a38_1 = type;
+    this.w3n_1 = term;
+    this.x3n_1 = type;
   }
   function ParseException(input, offendingSymbol, line, column, message, throwable) {
     TuPrologException_init_$Init$(message, throwable, this);
@@ -332,113 +287,181 @@
     this.column = column;
     this.clauseIndex = -1;
   }
-  protoOf(ParseException).b38 = function (_set____db54di) {
+  protoOf(ParseException).y3n = function (_set____db54di) {
     this.input = _set____db54di;
   };
-  protoOf(ParseException).c38 = function () {
+  protoOf(ParseException).a3i = function () {
     return this.input;
   };
-  protoOf(ParseException).d38 = function (_set____db54di) {
+  protoOf(ParseException).z3n = function (_set____db54di) {
     this.offendingSymbol = _set____db54di;
   };
-  protoOf(ParseException).e38 = function () {
+  protoOf(ParseException).a3o = function () {
     return this.offendingSymbol;
   };
-  protoOf(ParseException).f38 = function (_set____db54di) {
+  protoOf(ParseException).b3o = function (_set____db54di) {
     this.line = _set____db54di;
   };
-  protoOf(ParseException).g38 = function () {
+  protoOf(ParseException).c3o = function () {
     return this.line;
   };
-  protoOf(ParseException).h38 = function (_set____db54di) {
+  protoOf(ParseException).d3o = function (_set____db54di) {
     this.column = _set____db54di;
   };
-  protoOf(ParseException).i38 = function () {
+  protoOf(ParseException).e3o = function () {
     return this.column;
   };
-  protoOf(ParseException).j38 = function (_set____db54di) {
+  protoOf(ParseException).f3o = function (_set____db54di) {
     this.clauseIndex = _set____db54di;
   };
-  protoOf(ParseException).k38 = function () {
+  protoOf(ParseException).g3o = function () {
     return this.clauseIndex;
   };
   protoOf(ParseException).toString = function () {
-    return "ParseException{message='" + replace(ensureNotNull(this.message), '\\n', '\\\\n') + new Char(_Char___init__impl__6a9atx(39)) + ', line=' + this.line + ', column=' + this.column + ", offendingSymbol='" + this.offendingSymbol + new Char(_Char___init__impl__6a9atx(39)) + toString(_Char___init__impl__6a9atx(125));
-  };
-  function get_isOpDirective(_this__u8e3s4) {
+    var tmp0_safe_receiver = this.message;
+    var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : replace(tmp0_safe_receiver, '\\n', '\\\\n');
     var tmp;
-    var tmp_0;
-    var tmp_1;
-    var tmp_2;
-    var tmp_3;
-    if (isInterface(_this__u8e3s4, Struct)) {
-      tmp_3 = _this__u8e3s4.zu() === 3;
+    if (tmp1_safe_receiver == null) {
+      tmp = null;
     } else {
-      tmp_3 = false;
+      // Inline function 'kotlin.let' call
+      tmp = '"' + tmp1_safe_receiver + '"';
     }
-    if (tmp_3) {
-      tmp_2 = _this__u8e3s4.fv() === 'op';
-    } else {
-      tmp_2 = false;
+    var tmp2_elvis_lhs = tmp;
+    var message = tmp2_elvis_lhs == null ? 'null' : tmp2_elvis_lhs;
+    var result = 'ParseException{message=' + message + ', line=' + this.line + ', column=' + this.column;
+    if (this.clauseIndex >= 0) {
+      result = result + (', clauseIndex' + this.clauseIndex);
     }
-    if (tmp_2) {
-      tmp_1 = _this__u8e3s4.jw();
-    } else {
-      tmp_1 = false;
-    }
-    if (tmp_1) {
-      var tmp_4 = _this__u8e3s4.get(0);
-      tmp_0 = isInterface(tmp_4, Numeric);
-    } else {
-      tmp_0 = false;
+    if (!(this.offendingSymbol == null)) {
+      result = result + (', offendingSymbol="' + this.offendingSymbol + '"');
     }
-    if (tmp_0) {
-      var tmp_5 = _this__u8e3s4.get(1);
-      tmp = isInterface(tmp_5, Atom);
+    return result + '}';
+  };
+  function PrologTermParserVisitor(scope) {
+    this.h3o_1 = scope;
+  }
+  protoOf(PrologTermParserVisitor).p3n = function (node) {
+    // Inline function 'kotlin.error' call
+    var message = '[BUG] ' + getKClassFromExpression(node).e9() + ' should not be visited by ' + getKClass(PrologTermParserVisitor).e9();
+    throw IllegalStateException_init_$Create$(toString(message));
+  };
+  protoOf(PrologTermParserVisitor).i3n = function (node) {
+    var tmp = node.p3l().k3n_1.x3b_1;
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = node.a3k();
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = item.b3k(this);
+      destination.k(tmp$ret$2);
+    }
+    return this.h3o_1.structOfList(tmp, destination);
+  };
+  protoOf(PrologTermParserVisitor).h3n = function (node) {
+    var signedDigits = node.d3l() < 0 ? '-' + node.f3l() : node.f3l();
+    switch (node.c3l().m2_1) {
+      case 5:
+        return this.h3o_1.parseReal(signedDigits);
+      case 4:
+        return this.h3o_1.intOf(imul(node.d3l(), ensureNotNull(node.g3l())));
+      default:
+        return this.h3o_1.parseIntRadix(signedDigits, ensureNotNull(node.e3l()));
+    }
+  };
+  protoOf(PrologTermParserVisitor).r3n = function (node) {
+    var tmp;
+    if (node.m14()) {
+      tmp = this.h3o_1.anonymous();
     } else {
-      tmp = false;
+      tmp = this.h3o_1.varOf(node.n2());
     }
     return tmp;
-  }
+  };
+  protoOf(PrologTermParserVisitor).n3n = function (node) {
+    var tmp = node.ov();
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = node.a3k();
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = item.b3k(this);
+      destination.k(tmp$ret$2);
+    }
+    return this.h3o_1.structOfList(tmp, destination);
+  };
+  protoOf(PrologTermParserVisitor).g3n = function (node) {
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = node.bx();
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = item.b3k(this);
+      destination.k(tmp$ret$2);
+    }
+    var tmp = destination;
+    var tmp0_safe_receiver = node.ky();
+    var tmp1_elvis_lhs = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.b3k(this);
+    return this.h3o_1.f11(tmp, tmp1_elvis_lhs == null ? this.h3o_1.c11() : tmp1_elvis_lhs);
+  };
+  protoOf(PrologTermParserVisitor).d3n = function (node) {
+    // Inline function 'kotlin.collections.map' call
+    var this_0 = node.bx();
+    // Inline function 'kotlin.collections.mapTo' call
+    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
+    var _iterator__ex2g4s = this_0.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = item.b3k(this);
+      destination.k(tmp$ret$2);
+    }
+    return this.h3o_1.blockOfIterable(destination);
+  };
   function Companion() {
   }
-  protoOf(Companion).l38 = function (scope) {
-    return this.m38(Companion_getInstance().EMPTY, scope);
+  protoOf(Companion).i3o = function (scope) {
+    return this.j3o(Companion_getInstance().EMPTY, scope);
   };
   protoOf(Companion).withNoOperator = function (scope, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
-    return $super === VOID ? this.l38(scope) : $super.l38.call(this, scope);
+    return $super === VOID ? this.i3o(scope) : $super.i3o.call(this, scope);
   };
-  protoOf(Companion).n38 = function (scope) {
-    return this.m38(Companion_getInstance().STANDARD, scope);
+  protoOf(Companion).k3o = function (scope) {
+    return this.j3o(Companion_getInstance().STANDARD, scope);
   };
   protoOf(Companion).withStandardOperators = function (scope, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
-    return $super === VOID ? this.n38(scope) : $super.n38.call(this, scope);
+    return $super === VOID ? this.k3o(scope) : $super.k3o.call(this, scope);
   };
-  protoOf(Companion).o38 = function (scope) {
-    return this.m38(Companion_getInstance().DEFAULT, scope);
+  protoOf(Companion).l3o = function (scope) {
+    return this.j3o(Companion_getInstance().DEFAULT, scope);
   };
   protoOf(Companion).withDefaultOperators = function (scope, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
-    return $super === VOID ? this.o38(scope) : $super.o38.call(this, scope);
+    return $super === VOID ? this.l3o(scope) : $super.l3o.call(this, scope);
   };
-  protoOf(Companion).m38 = function (operators, scope) {
-    return termParserWithOperators(operators, scope);
+  protoOf(Companion).j3o = function (operators, scope) {
+    return new TermParserImpl(scope, operators);
   };
   protoOf(Companion).withOperatorSet = function (operators, scope, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
-    return $super === VOID ? this.m38(operators, scope) : $super.m38.call(this, operators, scope);
+    return $super === VOID ? this.j3o(operators, scope) : $super.j3o.call(this, operators, scope);
   };
-  protoOf(Companion).p38 = function (operators, scope) {
-    return this.m38(OperatorSet_init_$Create$(operators.slice()), scope);
+  protoOf(Companion).m3o = function (operators, scope) {
+    return this.j3o(OperatorSet_init_$Create$(operators.slice()), scope);
   };
   protoOf(Companion).withOperators = function (operators, scope, $super) {
     scope = scope === VOID ? Companion_instance.empty() : scope;
-    return $super === VOID ? this.p38(operators, scope) : $super.p38.call(this, operators, scope);
+    return $super === VOID ? this.m3o(operators, scope) : $super.m3o.call(this, operators, scope);
   };
   var Companion_instance_1;
-  function Companion_getInstance_4() {
+  function Companion_getInstance_0() {
     return Companion_instance_1;
   }
   function TermParser() {
@@ -474,209 +497,18 @@
   function parseClause_0(_this__u8e3s4, input) {
     return get_defaultParser().parseClause(input);
   }
-  function toAssociativity(_this__u8e3s4) {
-    return toString_0(_this__u8e3s4);
-  }
-  function DynamicOpListener$Companion$of$lambda($this$DynamicOpListener, it) {
-    return Unit_instance;
-  }
-  function onOperatorDefined($this, operator) {
-    $this.r38_1.addOperator(operator.e1h_1, toAssociativity(operator.f1h_1), operator.g1h_1);
-    $this.s38_1($this.r38_1, operator);
-  }
-  function Companion_0() {
-  }
-  protoOf(Companion_0).t38 = function (parser) {
-    return new DynamicOpListener(parser, DynamicOpListener$Companion$of$lambda);
-  };
-  var Companion_instance_2;
-  function Companion_getInstance_5() {
-    return Companion_instance_2;
-  }
-  function DynamicOpListener$exitClause$lambda(it) {
-    return isInterface(it, Atom) ? it : THROW_CCE();
-  }
-  function DynamicOpListener(parser, operatorDefinedCallback) {
-    PrologParserListener.call(this);
-    this.r38_1 = parser;
-    this.s38_1 = operatorDefinedCallback;
-  }
-  protoOf(DynamicOpListener).u38 = function (ctx) {
-    var expr = ctx.expression();
-    if (ctx.exception != null) {
-      return Unit_instance;
-    }
-    var tmp;
-    var tmp_0;
-    if (!(expr._op == null)) {
-      var tmp0_safe_receiver = expr._op;
-      var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.symbol;
-      tmp_0 = ':-' === (tmp1_safe_receiver == null ? null : tmp1_safe_receiver.text);
-    } else {
-      tmp_0 = false;
-    }
-    if (tmp_0) {
-      tmp = contains(Associativity.PREFIX, expr.associativity);
-    } else {
-      tmp = false;
-    }
-    if (tmp) {
-      var tmp_1 = ctx.accept(new PrologVisitor());
-      var directive = isInterface(tmp_1, Directive) ? tmp_1 : THROW_CCE();
-      var op = directive.mx();
-      if (get_isOpDirective(op)) {
-        var tmp_2 = (isInterface(op, Struct) ? op : THROW_CCE()).get(0);
-        // Inline function 'kotlin.math.max' call
-        var b = (isInterface(tmp_2, Numeric) ? tmp_2 : THROW_CCE()).nz().toInt();
-        // Inline function 'kotlin.math.min' call
-        var b_0 = Math.max(0, b);
-        var priority = Math.min(1200, b_0);
-        var specifier = Companion_getInstance_0().fromTerm(op.get(1));
-        var operator = op.get(2);
-        if (isInterface(operator, Atom)) {
-          onOperatorDefined(this, new Operator(operator.e2(), specifier, priority));
-        } else {
-          if (isInterface(operator, List)) {
-            var tmp0 = operator.vt();
-            var tmp$ret$3;
-            $l$block: {
-              // Inline function 'kotlin.sequences.all' call
-              var _iterator__ex2g4s = tmp0.p();
-              while (_iterator__ex2g4s.s()) {
-                var element = _iterator__ex2g4s.t();
-                if (!isInterface(element, Atom)) {
-                  tmp$ret$3 = false;
-                  break $l$block;
-                }
-              }
-              tmp$ret$3 = true;
-            }
-            if (tmp$ret$3) {
-              var tmp_3 = operator.vt();
-              var _iterator__ex2g4s_0 = map(tmp_3, DynamicOpListener$exitClause$lambda).p();
-              while (_iterator__ex2g4s_0.s()) {
-                var it = _iterator__ex2g4s_0.t();
-                onOperatorDefined(this, new Operator(it.e2(), specifier, priority));
-              }
-            }
-          }
-        }
-      }
-    }
-  };
-  protoOf(DynamicOpListener).exitClause = function (ctx) {
-    return this.u38(ctx);
-  };
-  function parseException(token, message) {
-    return new ParseException(null, token.text, token.line, token.column, message, null);
-  }
-  function symbolToString($this, obj) {
-    var tmp;
-    if (obj instanceof Token) {
-      tmp = obj.text;
-    } else {
-      tmp = toString_0(obj);
-    }
-    return tmp;
-  }
-  function newErrorListener($this, whileParsing) {
-    return new PrologParserFactory$newErrorListener$1(whileParsing);
-  }
-  function parseExpression($this, parserAndErrorStrategy, source) {
-    var mark = -1;
-    var index = -1;
-    var parser = parserAndErrorStrategy.first;
-    var tmp;
-    try {
-      mark = parser.getTokenStream().mark();
-      index = coerceAtLeast(parser.getTokenStream().index, 0);
-      tmp = parser.singletonExpression();
-    } catch ($p) {
-      var tmp_0;
-      var e = $p;
-      var tmp_1;
-      if (isParseCancellationException(e) && parser._interp.predictionMode === PredictionMode.SLL) {
-        parser.getTokenStream().seek(index);
-        parser._interp.predictionMode = PredictionMode.LL;
-        parser._errHandler = parserAndErrorStrategy.second;
-        parser.addErrorListener(newErrorListener($this, source));
-        tmp_1 = parseExpression($this, parserAndErrorStrategy, source);
-      } else if (e.clause !== null && isRecognitionException(e.cause)) {
-        var tmp_2 = e.cause;
-        throw tmp_2 instanceof RecognitionException ? tmp_2 : THROW_CCE();
-      } else {
-        throw e instanceof Error ? e : THROW_CCE();
-      }
-      tmp_0 = tmp_1;
-      tmp = tmp_0;
-    }
-    finally {
-      parser.getTokenStream().release(mark);
-    }
-    return tmp;
-  }
-  function parseClause_1($this, parserAndErrorStrategy, source) {
-    var mark = -1;
-    var index = -1;
-    var parser = parserAndErrorStrategy.first;
-    var tmp;
-    try {
-      mark = parser.getTokenStream().mark();
-      index = coerceAtLeast(parser.getTokenStream().index, 0);
-      tmp = parser.optClause();
-    } catch ($p) {
-      var tmp_0;
-      var e = $p;
-      var tmp_1;
-      if (isParseCancellationException(e) && parser._interp.predictionMode === PredictionMode.SLL) {
-        parser.getTokenStream().seek(index);
-        parser._interp.predictionMode = PredictionMode.LL;
-        parser._errHandler = parserAndErrorStrategy.second;
-        parser.addErrorListener(newErrorListener($this, source));
-        tmp_1 = parseClause_1($this, parserAndErrorStrategy, source);
-      } else if (e.clause !== null && isRecognitionException(e.cause)) {
-        var tmp_2 = e.cause;
-        throw tmp_2 instanceof RecognitionException ? tmp_2 : THROW_CCE();
-      } else {
-        throw e instanceof Error ? e : THROW_CCE();
-      }
-      tmp_0 = tmp_1;
-      tmp = tmp_0;
-    }
-    finally {
-      parser.getTokenStream().release(mark);
-    }
-    return tmp;
-  }
-  function parseClauses($this, parser, source) {
-    var tmp = generateSequence(0, PrologParserFactory$parseClauses$lambda);
-    var tmp_0 = map(tmp, PrologParserFactory$parseClauses$lambda_0(parser, source));
-    var tmp_1 = takeWhile(tmp_0, PrologParserFactory$parseClauses$lambda_1);
-    return map(tmp_1, PrologParserFactory$parseClauses$lambda_2);
-  }
-  function PrologParserFactory$newErrorListener$1($whileParsing) {
-    this.v38_1 = $whileParsing;
-  }
-  protoOf(PrologParserFactory$newErrorListener$1).syntaxError = function (recognizer, offendingSymbol, line, column, msg, e) {
-    if (recognizer instanceof PrologParser) {
-      recognizer.removeParseListeners();
-    }
-    throw new ParseException(this.v38_1, symbolToString(this, offendingSymbol), line, column + 1 | 0, msg, e);
-  };
-  function PrologParserFactory$parseClauses$lambda(it) {
-    return it + 1 | 0;
-  }
-  function PrologParserFactory$parseClauses$lambda_0($parser, $source) {
-    return function (it) {
+  function TermParserImpl$parseTerm$lambda($operators, this$0, $input) {
+    return function (parser, lexedSource) {
       var tmp;
       try {
-        tmp = parseClause_1(PrologParserFactory_instance, $parser, $source);
+        var syntaxTree = parser.q3i(lexedSource, toOperatorTable($operators));
+        var visitor = new PrologTermParserVisitor(this$0.o3o_1);
+        tmp = syntaxTree.t3n_1.b3k(visitor);
       } catch ($p) {
         var tmp_0;
-        if ($p instanceof ParseException) {
+        if ($p instanceof PrologSyntaxException) {
           var e = $p;
-          e.clauseIndex = it;
-          throw e;
+          throw toParseException(e, $input);
         } else {
           throw $p;
         }
@@ -684,519 +516,78 @@
       return tmp;
     };
   }
-  function PrologParserFactory$parseClauses$lambda_1(it) {
-    return !it.isOver;
-  }
-  function PrologParserFactory$parseClauses$lambda_2(it) {
-    return it.clause();
+  function TermParserImpl(scope, defaultOperatorSet, lexerOptions, parserOptions) {
+    lexerOptions = lexerOptions === VOID ? new LexerOptions() : lexerOptions;
+    parserOptions = parserOptions === VOID ? new ParserOptions() : parserOptions;
+    this.o3o_1 = scope;
+    this.p3o_1 = defaultOperatorSet;
+    this.q3o_1 = lexerOptions;
+    this.r3o_1 = parserOptions;
   }
-  function PrologParserFactory() {
-  }
-  protoOf(PrologParserFactory).w38 = function (string, withOperators) {
-    var parser = this.x38(string, withOperators);
-    return parseExpression(this, parser, string);
-  };
-  protoOf(PrologParserFactory).y38 = function (source, withOperators) {
-    var parser = this.x38(source, withOperators);
-    return parseClauses(this, parser, source);
+  protoOf(TermParserImpl).n3o = function () {
+    return this.p3o_1;
   };
-  protoOf(PrologParserFactory).x38 = function (source, operators) {
-    var stream = new InputStream(source);
-    var lexer = new PrologLexer(stream);
-    lexer.removeErrorListeners();
-    var tokenStream = new CommonTokenStream(lexer);
-    var parser = new PrologParser(tokenStream);
-    parser.removeErrorListeners();
-    var originalErrorStrategy = parser._errHandler;
-    parser._errHandler = new BailErrorStrategy();
-    parser._interp.predictionMode = PredictionMode.SLL;
-    return to(this.z38(parser, operators), originalErrorStrategy);
+  protoOf(TermParserImpl).s3o = function (input, operators) {
+    return buildParserFor(input, null, this.q3o_1, this.r3o_1, TermParserImpl$parseTerm$lambda(operators, this, input));
   };
-  protoOf(PrologParserFactory).z38 = function (prologParser, operators) {
-    // Inline function 'kotlin.collections.forEach' call
-    var _iterator__ex2g4s = operators.p();
-    while (_iterator__ex2g4s.s()) {
-      var element = _iterator__ex2g4s.t();
-      prologParser.addOperator(element.e1h_1, toAssociativity(element.f1h_1), element.g1h_1);
-    }
-    prologParser.addParseListener(Companion_instance_2.t38(prologParser));
-    return prologParser;
+  protoOf(TermParserImpl).parseTermWithOperators = function (input, operators) {
+    return this.s3o(input, operators);
   };
-  var PrologParserFactory_instance;
-  function PrologParserFactory_getInstance() {
-    return PrologParserFactory_instance;
-  }
-  function parseInteger_0($this, ctx) {
-    var str = ctx.value.text;
-    var base;
-    var clean;
-    if (ctx.isBin) {
-      base = 2;
-      clean = substring(str, 2);
-    } else if (ctx.isOct) {
-      base = 8;
-      clean = substring(str, 2);
-    } else if (ctx.isHex) {
-      base = 16;
-      clean = substring(str, 2);
-    } else if (ctx.isChar) {
-      clean = substring(str, 2);
-      if (!(clean.length === 1)) {
-        throw parseException(ctx.value, 'Invalid character literal: ' + ctx.value.text);
-      }
-      var tmp = Companion_getInstance_1();
-      // Inline function 'kotlin.code' call
-      var this_0 = charCodeAt(clean, 0);
-      var tmp$ret$0 = Char__toInt_impl_vasixd(this_0);
-      // Inline function 'kotlin.with' call
-      var $this$with = tmp.of(tmp$ret$0);
-      var tmp_0;
-      var tmp0_safe_receiver = ctx.sign;
-      var tmp1_safe_receiver = tmp0_safe_receiver == null ? null : tmp0_safe_receiver.text;
-      var tmp2_elvis_lhs = tmp1_safe_receiver == null ? null : contains_0(tmp1_safe_receiver, '-');
-      if (tmp2_elvis_lhs == null ? false : tmp2_elvis_lhs) {
-        tmp_0 = $this$with.unaryMinus();
-      } else {
-        tmp_0 = $this$with;
-      }
-      return tmp_0;
-    } else {
-      base = 10;
-      clean = str;
-    }
-    if (!(ctx.sign == null)) {
-      var tmp0_safe_receiver_0 = ctx.sign;
-      clean = plus(tmp0_safe_receiver_0 == null ? null : tmp0_safe_receiver_0.text, clean);
-    }
-    return Companion_getInstance_1().parseWithRadix(clean, base);
-  }
-  function visitPostfixExpression($this, ctx) {
-    var tmp0_safe_receiver = ctx.left;
-    var tmp = ensureNotNull(tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept($this));
-    // Inline function 'kotlin.collections.map' call
-    var this_0 = ctx.operators;
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(this_0.length);
-    var inductionVariable = 0;
-    var last = this_0.length;
-    while (inductionVariable < last) {
-      var item = this_0[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$0 = item.symbol.text;
-      destination.m(tmp$ret$0);
-    }
-    return postfix($this, tmp, destination);
-  }
-  function postfix($this, term, ops) {
-    var operator = ops.p();
-    var result = $this.a39_1.structOf(operator.t(), [term]);
-    while (operator.s()) {
-      result = $this.a39_1.structOf(operator.t(), [result]);
-    }
-    return result;
-  }
-  function visitPrefixExpression($this, ctx) {
-    var tmp = ctx.right[0].accept($this);
-    // Inline function 'kotlin.collections.map' call
-    var this_0 = ctx.operators;
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(this_0.length);
-    var inductionVariable = 0;
-    var last = this_0.length;
-    while (inductionVariable < last) {
-      var item = this_0[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$0 = item.symbol.text;
-      destination.m(tmp$ret$0);
-    }
-    return prefix($this, tmp, destination);
-  }
-  function prefix($this, term, ops) {
-    var i = ops.v() - 1 | 0;
-    var _unary__edvuaz = i;
-    i = _unary__edvuaz - 1 | 0;
-    var result = $this.a39_1.structOf(ops.w(_unary__edvuaz), [term]);
-    while (i >= 0) {
-      result = $this.a39_1.structOf(ops.w(i), [result]);
-      i = i - 1 | 0;
-    }
-    return result;
-  }
-  function visitInfixExpression($this, ctx) {
-    var tmp0_subject = ctx.associativity;
-    var tmp;
-    if (tmp0_subject === Associativity.XFY) {
-      tmp = visitInfixRightAssociativeExpression($this, ctx);
-    } else if (tmp0_subject === Associativity.YFX) {
-      tmp = visitInfixLeftAssociativeExpression($this, ctx);
-    } else if (tmp0_subject === Associativity.XFX) {
-      tmp = visitInfixNonAssociativeExpression($this, ctx);
-    } else {
-      var message = 'Non-infix associativity ' + ctx.associativity + ' in infix expression';
-      throw IllegalStateException_init_$Create$(toString_0(message));
-    }
-    return tmp;
-  }
-  function visitInfixNonAssociativeExpression($this, ctx) {
-    // Inline function 'kotlin.collections.map' call
-    var this_0 = plus_0(listOf(ensureNotNull(ctx.left)), asList(ctx.right));
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.p();
-    while (_iterator__ex2g4s.s()) {
-      var item = _iterator__ex2g4s.t();
-      var tmp$ret$0 = item.accept($this);
-      destination.m(tmp$ret$0);
-    }
-    var operands = destination;
+  function toOperatorTable(_this__u8e3s4) {
+    var tmp = OperatorTables_instance;
     // Inline function 'kotlin.collections.map' call
-    var this_1 = ctx.operators;
     // Inline function 'kotlin.collections.mapTo' call
-    var destination_0 = ArrayList_init_$Create$(this_1.length);
-    var inductionVariable = 0;
-    var last = this_1.length;
-    while (inductionVariable < last) {
-      var item_0 = this_1[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$3 = item_0.symbol.text;
-      destination_0.m(tmp$ret$3);
-    }
-    var operators = destination_0;
-    return infixNonAssociative($this, operands, operators);
-  }
-  function infixNonAssociative($this, terms, ops) {
-    return $this.a39_1.structOf(ops.w(0), [terms.w(0), terms.w(1)]);
-  }
-  function handleOuters($this, expression, outers) {
-    var result = expression;
-    var _iterator__ex2g4s = outers.p();
-    while (_iterator__ex2g4s.s()) {
-      var o = _iterator__ex2g4s.t();
-      var tmp = listOf(result);
-      // Inline function 'kotlin.collections.map' call
-      var this_0 = o.right;
-      // Inline function 'kotlin.collections.mapTo' call
-      var destination = ArrayList_init_$Create$(this_0.length);
-      var inductionVariable = 0;
-      var last = this_0.length;
-      while (inductionVariable < last) {
-        var item = this_0[inductionVariable];
-        inductionVariable = inductionVariable + 1 | 0;
-        var tmp$ret$0 = item.accept($this);
-        destination.m(tmp$ret$0);
-      }
-      var operands = plus_0(tmp, destination);
-      // Inline function 'kotlin.collections.map' call
-      var this_1 = o.operators;
-      // Inline function 'kotlin.collections.mapTo' call
-      var destination_0 = ArrayList_init_$Create$(this_1.length);
-      var inductionVariable_0 = 0;
-      var last_0 = this_1.length;
-      while (inductionVariable_0 < last_0) {
-        var item_0 = this_1[inductionVariable_0];
-        inductionVariable_0 = inductionVariable_0 + 1 | 0;
-        var tmp$ret$3 = item_0.symbol.text;
-        destination_0.m(tmp$ret$3);
-      }
-      var operators = destination_0;
-      var associativity = o.associativity;
-      var tmp_0;
-      if (associativity === Associativity.XFY) {
-        tmp_0 = infixRight($this, operands, operators);
-      } else if (associativity === Associativity.XF || associativity === Associativity.YF) {
-        tmp_0 = postfix($this, result, operators);
-      } else if (associativity === Associativity.XFX) {
-        tmp_0 = infixNonAssociative($this, operands, operators);
-      } else if (associativity === Associativity.YFX) {
-        tmp_0 = infixLeft($this, operands, operators);
-      } else if (associativity === Associativity.FX || associativity === Associativity.FY) {
-        tmp_0 = prefix($this, result, operators);
-      } else {
-        var message = 'Invalid associativity: ' + associativity;
-        throw IllegalStateException_init_$Create$(toString_0(message));
-      }
-      result = tmp_0;
+    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(_this__u8e3s4, 10));
+    var _iterator__ex2g4s = _this__u8e3s4.n();
+    while (_iterator__ex2g4s.q()) {
+      var item = _iterator__ex2g4s.r();
+      var tmp$ret$2 = toDefinition(item);
+      destination.k(tmp$ret$2);
     }
-    return result;
+    return tmp.y3m(destination);
   }
-  function infixRight($this, terms, ops) {
-    var i = terms.v() - 1 | 0;
-    var j = ops.v() - 1 | 0;
-    var _unary__edvuaz = j;
-    j = _unary__edvuaz - 1 | 0;
-    var result = $this.a39_1.structOf(ops.w(_unary__edvuaz), [terms.w(i - 1 | 0), terms.w(i)]);
-    i = i - 2 | 0;
-    while (i >= 0) {
-      var _unary__edvuaz_0 = j;
-      j = _unary__edvuaz_0 - 1 | 0;
-      result = $this.a39_1.structOf(ops.w(_unary__edvuaz_0), [terms.w(i), result]);
-      i = i - 1 | 0;
-    }
-    return result;
+  function toDefinition(_this__u8e3s4) {
+    return new OperatorDefinition(_this__u8e3s4.h1i_1, toAssociativity(_this__u8e3s4.i1i_1), _this__u8e3s4.j1i_1);
   }
-  function infixLeft($this, terms, ops) {
-    var i = 0;
-    var j = 0;
-    var _unary__edvuaz = j;
-    j = _unary__edvuaz + 1 | 0;
-    var tmp = ops.w(_unary__edvuaz);
-    var _unary__edvuaz_0 = i;
-    i = _unary__edvuaz_0 + 1 | 0;
-    var tmp_0 = terms.w(_unary__edvuaz_0);
-    var _unary__edvuaz_1 = i;
-    i = _unary__edvuaz_1 + 1 | 0;
-    var result = $this.a39_1.structOf(tmp, [tmp_0, terms.w(_unary__edvuaz_1)]);
-    while (i < terms.v()) {
-      var _unary__edvuaz_2 = j;
-      j = _unary__edvuaz_2 + 1 | 0;
-      result = $this.a39_1.structOf(ops.w(_unary__edvuaz_2), [result, terms.w(i)]);
-      i = i + 1 | 0;
-    }
-    return result;
-  }
-  function listOfOperands($this, ctx) {
-    // Inline function 'kotlin.collections.map' call
-    var this_0 = plus_0(listOf(ctx.left), toList(ctx.right));
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(collectionSizeOrDefault(this_0, 10));
-    var _iterator__ex2g4s = this_0.p();
-    while (_iterator__ex2g4s.s()) {
-      var item = _iterator__ex2g4s.t();
-      var tmp$ret$0 = ensureNotNull(item).accept($this);
-      destination.m(tmp$ret$0);
-    }
-    return destination;
-  }
-  function listOfOperators($this, ctx) {
-    // Inline function 'kotlin.collections.map' call
-    var this_0 = ctx.operators;
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(this_0.length);
-    var inductionVariable = 0;
-    var last = this_0.length;
-    while (inductionVariable < last) {
-      var item = this_0[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$0 = item.symbol.text;
-      destination.m(tmp$ret$0);
-    }
-    return destination;
-  }
-  function visitInfixRightAssociativeExpression($this, ctx) {
-    return infixRight($this, listOfOperands($this, ctx), listOfOperators($this, ctx));
-  }
-  function visitInfixLeftAssociativeExpression($this, ctx) {
-    return infixLeft($this, listOfOperands($this, ctx), listOfOperators($this, ctx));
-  }
-  function flatten($this, outers) {
-    // Inline function 'kotlin.sequences.asSequence' call
-    var tmp = outers;
-    return flatMap(tmp, PrologVisitor$flatten$lambda($this));
-  }
-  function flatten_0($this, outers) {
-    return toList_0(flatten($this, asSequence(outers)));
-  }
-  function PrologVisitor$visitExpression$ref(p0) {
-    var l = function (_this__u8e3s4) {
-      return p0.b39(_this__u8e3s4);
-    };
-    l.callableName = 'visitExpression';
-    return l;
-  }
-  function PrologVisitor$flatten$lambda(this$0) {
-    return function (it) {
-      return plus_1(sequenceOf(it), flatten(this$0, asSequence_0(it.outers)));
-    };
-  }
-  function PrologVisitor(scope) {
-    scope = scope === VOID ? Companion_instance.empty() : scope;
-    PrologParserVisitor.call(this);
-    this.a39_1 = scope;
-  }
-  protoOf(PrologVisitor).c39 = function (ctx) {
-    return this.d39(ctx.term());
-  };
-  protoOf(PrologVisitor).visitSingletonTerm = function (ctx) {
-    return this.c39(ctx);
-  };
-  protoOf(PrologVisitor).e39 = function (ctx) {
-    return this.b39(ctx.expression());
-  };
-  protoOf(PrologVisitor).visitSingletonExpression = function (ctx) {
-    return this.e39(ctx);
-  };
-  protoOf(PrologVisitor).f39 = function (ctx) {
-    return termToClause(ctx.expression().accept(this), null, ensureNotNull(ctx.start).line, ensureNotNull(ctx.start).column);
-  };
-  protoOf(PrologVisitor).visitClause = function (ctx) {
-    return this.f39(ctx);
-  };
-  protoOf(PrologVisitor).b39 = function (ctx) {
-    var tmp;
-    if (ctx.isTerm) {
-      tmp = this.d39(ensureNotNull(ctx.left));
-    } else if (contains(Associativity.INFIX, ctx.associativity)) {
-      tmp = visitInfixExpression(this, ctx);
-    } else if (contains(Associativity.POSTFIX, ctx.associativity)) {
-      tmp = visitPostfixExpression(this, ctx);
-    } else if (contains(Associativity.PREFIX, ctx.associativity)) {
-      tmp = visitPrefixExpression(this, ctx);
-    } else {
-      throw IllegalArgumentException_init_$Create$('Associativity unknown: ' + ctx.associativity + ' INFIX=' + toString_0(Associativity.INFIX) + ' PREFIX=' + toString_0(Associativity.PREFIX) + ' POSTFIX=' + toString_0(Associativity.POSTFIX));
-    }
-    return handleOuters(this, tmp, flatten_0(this, asList(ctx.outers)));
-  };
-  protoOf(PrologVisitor).visitExpression = function (ctx) {
-    return this.b39(ctx);
-  };
-  protoOf(PrologVisitor).d39 = function (ctx) {
-    var tmp;
-    if (ctx.isExpr) {
-      tmp = this.b39(ctx.expression());
-    } else {
-      var tmp_0 = ctx.children[0].accept(this);
-      tmp = (!(tmp_0 == null) ? isInterface(tmp_0, Term) : false) ? tmp_0 : THROW_CCE();
-    }
-    return tmp;
-  };
-  protoOf(PrologVisitor).visitTerm = function (ctx) {
-    return this.d39(ctx);
-  };
-  protoOf(PrologVisitor).g39 = function (ctx) {
-    var value = parseInteger_0(this, ctx);
-    return Companion_getInstance_2().ofBigInteger(value);
-  };
-  protoOf(PrologVisitor).visitInteger = function (ctx) {
-    return this.g39(ctx);
-  };
-  protoOf(PrologVisitor).h39 = function (ctx) {
-    var tmp = ctx.children[0].accept(this);
-    return (!(tmp == null) ? isInterface(tmp, Term) : false) ? tmp : THROW_CCE();
-  };
-  protoOf(PrologVisitor).visitNumber = function (ctx) {
-    return this.h39(ctx);
-  };
-  protoOf(PrologVisitor).i39 = function (ctx) {
-    var raw = ctx.value.text;
-    if (!(ctx.sign == null)) {
-      var tmp0_safe_receiver = ctx.sign;
-      raw = plus(tmp0_safe_receiver == null ? null : tmp0_safe_receiver.text, raw);
-    }
-    var tmp;
-    try {
-      tmp = Companion_getInstance_3().parse(raw);
-    } catch ($p) {
-      var tmp_0;
-      if ($p instanceof NumberFormatException) {
-        var notAFloating = $p;
-        throw parseException(ctx.value, 'Invalid real number format: ' + ctx.value.text);
-      } else {
-        throw $p;
-      }
-    }
-    return tmp;
-  };
-  protoOf(PrologVisitor).visitReal = function (ctx) {
-    return this.i39(ctx);
-  };
-  protoOf(PrologVisitor).j39 = function (ctx) {
-    var tmp;
-    if (ctx.isAnonymous) {
-      tmp = this.a39_1.anonymous();
-    } else {
-      tmp = this.a39_1.varOf(ctx.value.text);
-    }
-    return tmp;
-  };
-  protoOf(PrologVisitor).visitVariable = function (ctx) {
-    return this.j39(ctx);
-  };
-  protoOf(PrologVisitor).k39 = function (ctx) {
-    var tmp;
-    if (ctx.isList) {
-      tmp = this.a39_1.logicListOf([]);
-    } else if (ctx.isBlock) {
-      tmp = this.a39_1.blockOf([]);
-    } else if (ctx.arity === 0) {
-      tmp = this.a39_1.atomOf(ctx.functor.text);
-    } else {
-      var tmp_0 = ctx.functor.text;
-      var tmp_1 = asSequence_0(ctx.args);
-      tmp = this.a39_1.structOfSequence(tmp_0, map(tmp_1, PrologVisitor$visitExpression$ref(this)));
-    }
-    return tmp;
-  };
-  protoOf(PrologVisitor).visitStructure = function (ctx) {
-    return this.k39(ctx);
-  };
-  protoOf(PrologVisitor).l39 = function (ctx) {
-    // Inline function 'kotlin.collections.map' call
-    var this_0 = ctx.items;
-    // Inline function 'kotlin.collections.mapTo' call
-    var destination = ArrayList_init_$Create$(this_0.length);
-    var inductionVariable = 0;
-    var last = this_0.length;
-    while (inductionVariable < last) {
-      var item = this_0[inductionVariable];
-      inductionVariable = inductionVariable + 1 | 0;
-      var tmp$ret$0 = this.b39(item);
-      destination.m(tmp$ret$0);
-    }
-    var terms = destination;
-    var tmp;
-    if (ctx.hasTail) {
-      var tmp0_safe_receiver = ctx.tail;
-      tmp = this.a39_1.w10(terms, tmp0_safe_receiver == null ? null : tmp0_safe_receiver.accept(this));
-    } else {
-      tmp = this.a39_1.logicListOfIterable(terms);
-    }
-    return tmp;
-  };
-  protoOf(PrologVisitor).visitList = function (ctx) {
-    return this.l39(ctx);
-  };
-  protoOf(PrologVisitor).m39 = function (ctx) {
+  function toAssociativity(_this__u8e3s4) {
     var tmp;
-    if (ctx.length === 1) {
-      tmp = this.a39_1.blockOf([ctx.items[0].accept(this)]);
-    } else {
-      // Inline function 'kotlin.collections.map' call
-      var this_0 = ctx.items;
-      // Inline function 'kotlin.collections.mapTo' call
-      var destination = ArrayList_init_$Create$(this_0.length);
-      var inductionVariable = 0;
-      var last = this_0.length;
-      while (inductionVariable < last) {
-        var item = this_0[inductionVariable];
-        inductionVariable = inductionVariable + 1 | 0;
-        var tmp$ret$0 = this.b39(item);
-        destination.m(tmp$ret$0);
-      }
-      tmp = this.a39_1.blockOfIterable(destination);
+    switch (_this__u8e3s4.m2_1) {
+      case 2:
+        tmp = Associativity_FX_getInstance();
+        break;
+      case 3:
+        tmp = Associativity_FY_getInstance();
+        break;
+      case 0:
+        tmp = Associativity_XF_getInstance();
+        break;
+      case 1:
+        tmp = Associativity_YF_getInstance();
+        break;
+      case 4:
+        tmp = Associativity_XFX_getInstance();
+        break;
+      case 6:
+        tmp = Associativity_YFX_getInstance();
+        break;
+      case 5:
+        tmp = Associativity_XFY_getInstance();
+        break;
+      default:
+        noWhenBranchMatchedException();
+        break;
     }
     return tmp;
-  };
-  protoOf(PrologVisitor).visitBlock = function (ctx) {
-    return this.m39(ctx);
-  };
-  function termParserWithOperators(operators, scope) {
-    scope = scope === VOID ? Companion_instance.empty() : scope;
-    return new TermParserImpl(scope, operators);
   }
-  function TermParserImpl(scope, defaultOperatorSet) {
-    this.n39_1 = scope;
-    this.o39_1 = defaultOperatorSet;
+  function toParseException(_this__u8e3s4, input) {
+    return new ParseException(input, _this__u8e3s4.c3d_1, _this__u8e3s4.b3d_1.b3b_1.z3a_1 + 1 | 0, _this__u8e3s4.b3d_1.b3b_1.a3b_1 + 1 | 0, _this__u8e3s4.message, _this__u8e3s4);
   }
-  protoOf(TermParserImpl).q38 = function () {
-    return this.o39_1;
-  };
-  protoOf(TermParserImpl).p39 = function (input, operators) {
-    return PrologParserFactory_instance.w38(input, operators).accept(new PrologVisitor(this.n39_1));
-  };
-  protoOf(TermParserImpl).parseTermWithOperators = function (input, operators) {
-    return this.p39(input, operators);
-  };
   //region block: post-declaration
+  protoOf(PrologTermParserVisitor).o3n = visit;
+  protoOf(PrologTermParserVisitor).f3n = visitExpression;
+  protoOf(PrologTermParserVisitor).e3n = visitClause;
+  protoOf(PrologTermParserVisitor).q3n = visitTerm;
+  protoOf(PrologTermParserVisitor).m3n = visitParenthesizedExpression;
   protoOf(TermParserImpl).parseTerm = parseTerm;
   protoOf(TermParserImpl).parseStructWithOperators = parseStructWithOperators;
   protoOf(TermParserImpl).parseStruct = parseStruct;
@@ -1223,18 +614,18 @@
   //endregion
   //region block: init
   Companion_instance_1 = new Companion();
-  Companion_instance_2 = new Companion_0();
-  PrologParserFactory_instance = new PrologParserFactory();
   //endregion
   //region block: exports
   _.$_$ = _.$_$ || {};
-  _.$_$.a = PrologParserFactory_instance;
-  _.$_$.b = PrologVisitor;
+  _.$_$.a = ParseException;
+  _.$_$.b = PrologTermParserVisitor;
   _.$_$.c = parseClause_0;
   _.$_$.d = parseStruct_0;
   _.$_$.e = parseTerm_0;
   _.$_$.f = parseStructWithOperators_0;
   _.$_$.g = termToClause;
+  _.$_$.h = toDefinition;
+  _.$_$.i = toOperatorTable;
   //endregion
   return _;
 }));