yukigo-prolog-parser 0.1.0

package/.mocharc.json

@@ -0,0 +1,8 @@
+{
+  "extensions": [
+    "ts"
+  ],
+  "spec": [
+    "tests/**/*.spec.ts"
+  ]
+}

package/CHANGELOG.md

@@ -0,0 +1,20 @@
+## 0.1.0 (2025-12-09)
+
+### 🚀 Features
+
+- **yukigo:** Nx Release added ([0bee88f](https://github.com/miyukiproject/yukigo/commit/0bee88f))
+- **LogicEngine:** Added LogicEngine with unification algorithm ([57b48a0](https://github.com/miyukiproject/yukigo/commit/57b48a0))
+
+### 🩹 Fixes
+
+- **general:** Remove build step from tests command ([9d6e02f](https://github.com/miyukiproject/yukigo/commit/9d6e02f))
+- **yukigo-prolog-parser:** Fixed some failed tests ([89d0b09](https://github.com/miyukiproject/yukigo/commit/89d0b09))
+
+### 🧱 Updated Dependencies
+
+- Updated yukigo-ast to 0.1.0
+
+### ❤️ Thank You
+
+- noiseArch
+- Valtolina Matias

package/dist/index.d.ts

@@ -0,0 +1 @@
+export * from "./parser/parser.js";

package/dist/index.js

@@ -0,0 +1,2 @@
+export * from "./parser/parser.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"./src/","sources":["index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAA"}

package/dist/parser/grammar.d.ts

@@ -0,0 +1,28 @@
+interface NearleyToken {
+    value: any;
+    [key: string]: any;
+}
+interface NearleyLexer {
+    reset: (chunk: string, info: any) => void;
+    next: () => NearleyToken | undefined;
+    save: () => any;
+    formatError: (token: never) => string;
+    has: (tokenType: string) => boolean;
+}
+interface NearleyRule {
+    name: string;
+    symbols: NearleySymbol[];
+    postprocess?: (d: any[], loc?: number, reject?: {}) => any;
+}
+type NearleySymbol = string | {
+    literal: any;
+} | {
+    test: (token: any) => boolean;
+};
+interface Grammar {
+    Lexer: NearleyLexer | undefined;
+    ParserRules: NearleyRule[];
+    ParserStart: string;
+}
+declare const grammar: Grammar;
+export default grammar;

package/dist/parser/grammar.js

@@ -0,0 +1,141 @@
+// Generated automatically by nearley, version 2.20.1
+// http://github.com/Hardmath123/nearley
+// Bypasses TS6133. Allow declared but unused functions.
+// @ts-ignore
+function id(d) { return d[0]; }
+import { NumberPrimitive, StringPrimitive, Rule, Fact, Query, ConsExpression, ArithmeticBinaryOperation, ArithmeticUnaryOperation, ComparisonOperation, Exist, Not, Findall, Sequence, If, Call, Forall, SymbolPrimitive, AssignOperation, UnifyOperation, VariablePattern, FunctorPattern, ConsPattern, ListPattern, LiteralPattern, WildcardPattern, TuplePattern } from "@yukigo/ast";
+import { PrologLexer } from "./lexer.js";
+const asSequence = (d) => d.length === 1 ? d[0] : new Sequence(d);
+;
+;
+;
+;
+const grammar = {
+    Lexer: PrologLexer,
+    ParserRules: [
+        { "name": "program$ebnf$1", "symbols": [] },
+        { "name": "program$ebnf$1$subexpression$1", "symbols": ["clause", "_"] },
+        { "name": "program$ebnf$1", "symbols": ["program$ebnf$1", "program$ebnf$1$subexpression$1"], "postprocess": (d) => d[0].concat([d[1]]) },
+        { "name": "program", "symbols": ["program$ebnf$1"], "postprocess": (d) => d[0].map(x => x[0]).filter(x => x !== null).flat(Infinity) },
+        { "name": "clause$subexpression$1", "symbols": ["fact"] },
+        { "name": "clause$subexpression$1", "symbols": ["rule"] },
+        { "name": "clause$subexpression$1", "symbols": ["query"] },
+        { "name": "clause", "symbols": ["clause$subexpression$1"], "postprocess": (d) => d[0][0] },
+        { "name": "fact$ebnf$1", "symbols": ["arguments"], "postprocess": id },
+        { "name": "fact$ebnf$1", "symbols": [], "postprocess": () => null },
+        { "name": "fact", "symbols": ["any_atom", "fact$ebnf$1", "_", (PrologLexer.has("period") ? { type: "period" } : period)], "postprocess": (d) => new Fact(d[0], d[1] ?? []) },
+        { "name": "rule$ebnf$1", "symbols": ["arguments"], "postprocess": id },
+        { "name": "rule$ebnf$1", "symbols": [], "postprocess": () => null },
+        { "name": "rule", "symbols": ["any_atom", "rule$ebnf$1", "_", (PrologLexer.has("colonDash") ? { type: "colonDash" } : colonDash), "_", "body", "_", (PrologLexer.has("period") ? { type: "period" } : period)], "postprocess": (d) => new Rule(d[0], d[1] ?? [], d[5]) },
+        { "name": "query", "symbols": [(PrologLexer.has("queryOp") ? { type: "queryOp" } : queryOp), "_", "body", "_", (PrologLexer.has("period") ? { type: "period" } : period)], "postprocess": (d) => new Query(d[2]) },
+        { "name": "body$ebnf$1", "symbols": [] },
+        { "name": "body$ebnf$1$subexpression$1$subexpression$1", "symbols": [(PrologLexer.has("comma") ? { type: "comma" } : comma)] },
+        { "name": "body$ebnf$1$subexpression$1$subexpression$1", "symbols": [(PrologLexer.has("semicolon") ? { type: "semicolon" } : semicolon)] },
+        { "name": "body$ebnf$1$subexpression$1", "symbols": ["_", "body$ebnf$1$subexpression$1$subexpression$1", "_", "expression"] },
+        { "name": "body$ebnf$1", "symbols": ["body$ebnf$1", "body$ebnf$1$subexpression$1"], "postprocess": (d) => d[0].concat([d[1]]) },
+        { "name": "body", "symbols": ["expression", "body$ebnf$1"], "postprocess": (d) => [d[0], ...d[1].map(x => x[3])] },
+        { "name": "expression$subexpression$1", "symbols": ["conditional"] },
+        { "name": "expression$subexpression$1", "symbols": ["forall"] },
+        { "name": "expression$subexpression$1", "symbols": ["findall"] },
+        { "name": "expression$subexpression$1", "symbols": ["unification"] },
+        { "name": "expression$subexpression$1", "symbols": ["assignment"] },
+        { "name": "expression$subexpression$1", "symbols": ["comparison"] },
+        { "name": "expression$subexpression$1", "symbols": ["not"] },
+        { "name": "expression$subexpression$1", "symbols": ["exist"] },
+        { "name": "expression", "symbols": ["expression$subexpression$1"], "postprocess": (d) => d[0][0] },
+        { "name": "expression", "symbols": [{ "literal": "(" }, "_", "expression", "_", { "literal": ")" }], "postprocess": (d) => d[2] },
+        { "name": "conditional", "symbols": [{ "literal": "(" }, "_", "body", "_", { "literal": "->" }, "_", "body", "_", (PrologLexer.has("semicolon") ? { type: "semicolon" } : semicolon), "_", "body", "_", { "literal": ")" }], "postprocess": (d) => new If(asSequence(d[2]), asSequence(d[6]), asSequence(d[10]))
+        },
+        { "name": "forall", "symbols": [(PrologLexer.has("forallRule") ? { type: "forallRule" } : forallRule), { "literal": "(" }, "_", "expression", "_", (PrologLexer.has("comma") ? { type: "comma" } : comma), "_", "expression", "_", { "literal": ")" }], "postprocess": (d) => new Forall(d[3], d[7]) },
+        { "name": "findall", "symbols": [(PrologLexer.has("findallRule") ? { type: "findallRule" } : findallRule), { "literal": "(" }, "_", "expression", "_", (PrologLexer.has("comma") ? { type: "comma" } : comma), "_", "expression", "_", (PrologLexer.has("comma") ? { type: "comma" } : comma), "_", "expression", "_", { "literal": ")" }], "postprocess": (d) => new Findall(d[3], d[7], d[11]) },
+        { "name": "not", "symbols": [(PrologLexer.has("notOperator") ? { type: "notOperator" } : notOperator), "_", "expression"], "postprocess": (d) => new Not([d[2]]) },
+        { "name": "not", "symbols": [(PrologLexer.has("notOperator") ? { type: "notOperator" } : notOperator), "_", { "literal": "(" }, "_", { "literal": "(" }, "_", "body", "_", { "literal": ")" }, "_", { "literal": ")" }], "postprocess": (d) => new Not([asSequence(d[6])]) },
+        { "name": "exist", "symbols": [{ "literal": "call" }, (PrologLexer.has("lparen") ? { type: "lparen" } : lparen), "_", "pattern_list", "_", (PrologLexer.has("rparen") ? { type: "rparen" } : rparen)], "postprocess": (d) => {
+                const [callee, ...rest] = d[3];
+                return new Call(callee.name, rest);
+            } },
+        { "name": "exist$ebnf$1", "symbols": ["arguments"], "postprocess": id },
+        { "name": "exist$ebnf$1", "symbols": [], "postprocess": () => null },
+        { "name": "exist", "symbols": ["any_atom", "exist$ebnf$1"], "postprocess": (d, l, reject) => {
+                const val = d[0].value;
+                if (val === "not" || val === "\\+")
+                    return reject;
+                return new Exist(d[0], d[1] ?? []);
+            } },
+        { "name": "exist", "symbols": ["variable"], "postprocess": (d) => new Exist(d[0], []) },
+        { "name": "assignment", "symbols": ["addition", "_", { "literal": "is" }, "_", "addition"], "postprocess": (d) => new AssignOperation("Assign", d[0], d[4]) },
+        { "name": "unification", "symbols": ["addition", "_", { "literal": "=" }, "_", "addition"], "postprocess": (d) => new UnifyOperation("Unify", d[0], d[4]) },
+        { "name": "comparison", "symbols": ["addition", "_", "comparison_op", "_", "addition"], "postprocess": (d) => new ComparisonOperation(d[2], d[0], d[4]) },
+        { "name": "addition", "symbols": ["multiplication", "_", { "literal": "+" }, "_", "addition"], "postprocess": (d) => new ArithmeticBinaryOperation("Plus", d[0], d[4]) },
+        { "name": "addition", "symbols": ["multiplication", "_", { "literal": "-" }, "_", "addition"], "postprocess": (d) => new ArithmeticBinaryOperation("Minus", d[0], d[4]) },
+        { "name": "addition", "symbols": ["multiplication"], "postprocess": id },
+        { "name": "multiplication", "symbols": ["primary", "_", { "literal": "*" }, "_", "multiplication"], "postprocess": (d) => new ArithmeticBinaryOperation("Multiply", d[0], d[4]) },
+        { "name": "multiplication", "symbols": ["primary", "_", { "literal": "/" }, "_", "multiplication"], "postprocess": (d) => new ArithmeticBinaryOperation("Divide", d[0], d[4]) },
+        { "name": "multiplication", "symbols": ["primary"], "postprocess": id },
+        { "name": "primary", "symbols": ["arithmetic_literal"], "postprocess": id },
+        { "name": "primary", "symbols": ["variable"], "postprocess": id },
+        { "name": "primary", "symbols": ["strict_atom", "arguments"], "postprocess": d => new Exist(d[0], d[1] ?? []) },
+        { "name": "primary", "symbols": ["primitiveOperation"], "postprocess": id },
+        { "name": "primary", "symbols": ["cons_expr"], "postprocess": id },
+        { "name": "primary", "symbols": [{ "literal": "(" }, "_", "addition", "_", { "literal": ")" }], "postprocess": d => d[2] },
+        { "name": "cons_expr", "symbols": [{ "literal": "[" }, "_", "primary_list", "_", (PrologLexer.has("consOp") ? { type: "consOp" } : consOp), "_", "expression", "_", { "literal": "]" }], "postprocess": (d) => new ConsExpression(d[2], d[6]) },
+        { "name": "primitiveOperation", "symbols": [{ "literal": "round" }, "__", "addition"], "postprocess": d => new ArithmeticUnaryOperation("Round", d[2]) },
+        { "name": "primitiveOperation", "symbols": [{ "literal": "abs" }, "__", "addition"], "postprocess": d => new ArithmeticUnaryOperation("Absolute", d[2]) },
+        { "name": "primitiveOperation", "symbols": [{ "literal": "sqrt" }, "__", "addition"], "postprocess": d => new ArithmeticUnaryOperation("Sqrt", d[2]) },
+        { "name": "primitiveArguments", "symbols": [(PrologLexer.has("lparen") ? { type: "lparen" } : lparen), "_", "primary_list", "_", (PrologLexer.has("rparen") ? { type: "rparen" } : rparen)], "postprocess": (d) => d[2] },
+        { "name": "primary_list$ebnf$1", "symbols": [] },
+        { "name": "primary_list$ebnf$1$subexpression$1", "symbols": ["_", (PrologLexer.has("comma") ? { type: "comma" } : comma), "_", "addition"] },
+        { "name": "primary_list$ebnf$1", "symbols": ["primary_list$ebnf$1", "primary_list$ebnf$1$subexpression$1"], "postprocess": (d) => d[0].concat([d[1]]) },
+        { "name": "primary_list", "symbols": ["addition", "primary_list$ebnf$1"], "postprocess": (d) => [d[0], ...d[1].map(x => x[3])] },
+        { "name": "arguments", "symbols": [(PrologLexer.has("lparen") ? { type: "lparen" } : lparen), "_", "pattern_list", "_", (PrologLexer.has("rparen") ? { type: "rparen" } : rparen)], "postprocess": (d) => d[2] },
+        { "name": "pattern_list$ebnf$1", "symbols": [] },
+        { "name": "pattern_list$ebnf$1$subexpression$1", "symbols": ["_", (PrologLexer.has("comma") ? { type: "comma" } : comma), "_", "pattern"] },
+        { "name": "pattern_list$ebnf$1", "symbols": ["pattern_list$ebnf$1", "pattern_list$ebnf$1$subexpression$1"], "postprocess": (d) => d[0].concat([d[1]]) },
+        { "name": "pattern_list", "symbols": ["pattern", "pattern_list$ebnf$1"], "postprocess": (d) => [d[0], ...d[1].map(x => x[3])] },
+        { "name": "pattern", "symbols": ["variable"], "postprocess": (d) => new VariablePattern(d[0]) },
+        { "name": "pattern", "symbols": ["structural_literal"], "postprocess": (d) => new LiteralPattern(d[0]) },
+        { "name": "pattern", "symbols": [(PrologLexer.has("wildcard") ? { type: "wildcard" } : wildcard)], "postprocess": (d) => new WildcardPattern() },
+        { "name": "pattern", "symbols": ["any_atom", "arguments"], "postprocess": (d) => new FunctorPattern(d[0], d[1]) },
+        { "name": "pattern", "symbols": [{ "literal": "(" }, "_", "pattern_list", "_", { "literal": ")" }], "postprocess": (d) => new TuplePattern(d[2]) },
+        { "name": "pattern", "symbols": [{ "literal": "[" }, "_", "pattern_list", "_", (PrologLexer.has("consOp") ? { type: "consOp" } : consOp), "_", "pattern", "_", { "literal": "]" }], "postprocess": (d) => new ConsPattern(d[2].length > 1 ? new ListPattern(d[2]) : d[2][0], new VariablePattern(d[6])) },
+        { "name": "pattern$ebnf$1", "symbols": ["pattern_list"], "postprocess": id },
+        { "name": "pattern$ebnf$1", "symbols": [], "postprocess": () => null },
+        { "name": "pattern", "symbols": [{ "literal": "[" }, "_", "pattern$ebnf$1", "_", { "literal": "]" }], "postprocess": (d) => new ListPattern(d[2] ? d[2] : []) },
+        { "name": "variable", "symbols": [(PrologLexer.has("variable") ? { type: "variable" } : variable)], "postprocess": (d) => new SymbolPrimitive(d[0].value) },
+        { "name": "strict_atom", "symbols": [(PrologLexer.has("atom") ? { type: "atom" } : atom)], "postprocess": (d) => new SymbolPrimitive(d[0].value) },
+        { "name": "any_atom$subexpression$1", "symbols": [(PrologLexer.has("atom") ? { type: "atom" } : atom)] },
+        { "name": "any_atom$subexpression$1", "symbols": [(PrologLexer.has("op") ? { type: "op" } : op)] },
+        { "name": "any_atom$subexpression$1", "symbols": [(PrologLexer.has("comparisonOp") ? { type: "comparisonOp" } : comparisonOp)] },
+        { "name": "any_atom", "symbols": ["any_atom$subexpression$1"], "postprocess": (d) => new SymbolPrimitive(d[0][0].value) },
+        { "name": "arithmetic_literal", "symbols": ["strict_atom"], "postprocess": id },
+        { "name": "arithmetic_literal", "symbols": [(PrologLexer.has("number") ? { type: "number" } : number)], "postprocess": (d) => new NumberPrimitive(Number(d[0].value)) },
+        { "name": "arithmetic_literal", "symbols": [(PrologLexer.has("string") ? { type: "string" } : string)], "postprocess": (d) => new StringPrimitive(d[0].value) },
+        { "name": "structural_literal", "symbols": ["any_atom"], "postprocess": id },
+        { "name": "structural_literal", "symbols": [(PrologLexer.has("number") ? { type: "number" } : number)], "postprocess": (d) => new NumberPrimitive(Number(d[0].value)) },
+        { "name": "structural_literal", "symbols": [(PrologLexer.has("string") ? { type: "string" } : string)], "postprocess": (d) => new StringPrimitive(d[0].value) },
+        { "name": "comparison_op", "symbols": [{ "literal": "=:=" }], "postprocess": d => "Equal" },
+        { "name": "comparison_op", "symbols": [{ "literal": "=\\=" }], "postprocess": d => "NotEqual" },
+        { "name": "comparison_op", "symbols": [{ "literal": "==" }], "postprocess": d => "Same" },
+        { "name": "comparison_op", "symbols": [{ "literal": "\\==" }], "postprocess": d => "NotSame" },
+        { "name": "comparison_op", "symbols": [{ "literal": "\\=" }], "postprocess": d => "NotSame" },
+        { "name": "comparison_op", "symbols": [{ "literal": "@<" }], "postprocess": d => "LessThan" },
+        { "name": "comparison_op", "symbols": [{ "literal": "@=<" }], "postprocess": d => "LessOrEqualThan" },
+        { "name": "comparison_op", "symbols": [{ "literal": "@>" }], "postprocess": d => "GreaterThan" },
+        { "name": "comparison_op", "symbols": [{ "literal": "@>=" }], "postprocess": d => "GreaterOrEqualThan" },
+        { "name": "comparison_op", "symbols": [{ "literal": "<" }], "postprocess": d => "LessThan" },
+        { "name": "comparison_op", "symbols": [{ "literal": "=<" }], "postprocess": d => "LessOrEqualThan" },
+        { "name": "comparison_op", "symbols": [{ "literal": ">" }], "postprocess": d => "GreaterThan" },
+        { "name": "comparison_op", "symbols": [{ "literal": ">=" }], "postprocess": d => "GreaterOrEqualThan" },
+        { "name": "comparison_op", "symbols": [{ "literal": "=@=" }], "postprocess": d => "Same" },
+        { "name": "comparison_op", "symbols": [{ "literal": "\\=@=" }], "postprocess": d => "NotSame" },
+        { "name": "_$ebnf$1", "symbols": [] },
+        { "name": "_$ebnf$1", "symbols": ["_$ebnf$1", (PrologLexer.has("WS") ? { type: "WS" } : WS)], "postprocess": (d) => d[0].concat([d[1]]) },
+        { "name": "_", "symbols": ["_$ebnf$1"] },
+        { "name": "__$ebnf$1", "symbols": [(PrologLexer.has("WS") ? { type: "WS" } : WS)], "postprocess": id },
+        { "name": "__$ebnf$1", "symbols": [], "postprocess": () => null },
+        { "name": "__", "symbols": ["__$ebnf$1"] }
+    ],
+    ParserStart: "program",
+};
+export default grammar;
+//# sourceMappingURL=grammar.js.map

package/dist/parser/grammar.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"grammar.js","sourceRoot":"./src/","sources":["parser/grammar.ts"],"names":[],"mappings":"AAAA,qDAAqD;AACrD,wCAAwC;AACxC,wDAAwD;AACxD,aAAa;AACb,SAAS,EAAE,CAAC,CAAQ,IAAS,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAqB3C,OAAO,EACH,eAAe,EACf,eAAe,EACf,IAAI,EACJ,IAAI,EACJ,KAAK,EACL,cAAc,EACd,yBAAyB,EACzB,wBAAwB,EACxB,mBAAmB,EACnB,KAAK,EACL,GAAG,EACH,OAAO,EACP,QAAQ,EACR,EAAE,EACF,IAAI,EACJ,MAAM,EACN,eAAe,EACf,eAAe,EACf,cAAc,EACd,eAAe,EACf,cAAc,EACd,WAAW,EACX,WAAW,EACX,cAAc,EACd,eAAe,EACf,YAAY,EACd,MAAM,aAAa,CAAA;AAErB,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAExC,MAAM,UAAU,GAAG,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAC;AAMjE,CAAC;AAQD,CAAC;AAMD,CAAC;AAQD,CAAC;AAEF,MAAM,OAAO,GAAY;IACvB,KAAK,EAAE,WAAW;IAClB,WAAW,EAAE;QACX,EAAC,MAAM,EAAE,gBAAgB,EAAE,SAAS,EAAE,EAAE,EAAC;QACzC,EAAC,MAAM,EAAE,gCAAgC,EAAE,SAAS,EAAE,CAAC,QAAQ,EAAE,GAAG,CAAC,EAAC;QACtE,EAAC,MAAM,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC,gBAAgB,EAAE,gCAAgC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACtI,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,gBAAgB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAC;QACpI,EAAC,MAAM,EAAE,wBAAwB,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAC;QACvD,EAAC,MAAM,EAAE,wBAAwB,EAAE,SAAS,EAAE,CAAC,MAAM,CAAC,EAAC;QACvD,EAAC,MAAM,EAAE,wBAAwB,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAC;QACxD,EAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,wBAAwB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACxF,EAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QACpE,EAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,IAAI,EAAC;QACjE,EAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAC;QACxK,EAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QACpE,EAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,IAAI,EAAC;QACjE,EAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,WAAW,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAClQ,EAAC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,SAAS,EAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC5M,EAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,EAAE,EAAC;QACtC,EAAC,MAAM,EAAE,6CAA6C,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,OAAO,EAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAC;QAC1H,EAAC,MAAM,EAAE,6CAA6C,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,WAAW,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,EAAC;QACtI,EAAC,MAAM,EAAE,6BAA6B,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,6CAA6C,EAAE,GAAG,EAAE,YAAY,CAAC,EAAC;QAC3H,EAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,aAAa,EAAE,6BAA6B,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC7H,EAAC,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,YAAY,EAAE,aAAa,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAChH,EAAC,MAAM,EAAE,4BAA4B,EAAE,SAAS,EAAE,CAAC,aAAa,CAAC,EAAC;QAClE,EAAC,MAAM,EAAE,4BAA4B,EAAE,SAAS,EAAE,CAAC,QAAQ,CAAC,EAAC;QAC7D,EAAC,MAAM,EAAE,4BAA4B,EAAE,SAAS,EAAE,CAAC,SAAS,CAAC,EAAC;QAC9D,EAAC,MAAM,EAAE,4BAA4B,EAAE,SAAS,EAAE,CAAC,aAAa,CAAC,EAAC;QAClE,EAAC,MAAM,EAAE,4BAA4B,EAAE,SAAS,EAAE,CAAC,YAAY,CAAC,EAAC;QACjE,EAAC,MAAM,EAAE,4BAA4B,EAAE,SAAS,EAAE,CAAC,YAAY,CAAC,EAAC;QACjE,EAAC,MAAM,EAAE,4BAA4B,EAAE,SAAS,EAAE,CAAC,KAAK,CAAC,EAAC;QAC1D,EAAC,MAAM,EAAE,4BAA4B,EAAE,SAAS,EAAE,CAAC,OAAO,CAAC,EAAC;QAC5D,EAAC,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,4BAA4B,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAChG,EAAC,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACzH,EAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,IAAI,EAAC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,WAAW,EAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,CAAC,EAAE,aAAa,EAAG,CAAC,CAAC,EAAE,EAAE,CACnO,IAAI,EAAE,CACF,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAChB,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAChB,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACpB;SACA;QACL,EAAC,MAAM,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,YAAY,EAAC,CAAC,CAAC,CAAC,UAAU,CAAC,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,OAAO,EAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC1R,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,aAAa,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,OAAO,EAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,OAAO,EAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,EAAC;QACpX,EAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,aAAa,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,YAAY,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC9J,EAAC,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,aAAa,EAAC,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,GAAG,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC5P,EAAC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,MAAM,EAAC,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAG,CAAC,CAAC,EAAE,EAAE;gBAC7M,MAAM,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAA;gBAC9B,OAAO,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAA;YACtC,CAAC,EAAE;QACP,EAAC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QACrE,EAAC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,IAAI,EAAC;QAClE,EAAC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,cAAc,CAAC,EAAE,aAAa,EAAG,CAAC,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,EAAE;gBACpF,MAAM,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;gBACvB,IAAI,GAAG,KAAK,KAAK,IAAI,GAAG,KAAK,KAAK;oBAAE,OAAO,MAAM,CAAC;gBAClD,OAAO,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;YACtC,CAAC,EAAE;QACP,EAAC,MAAM,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,EAAC;QACrF,EAAC,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,IAAI,EAAC,EAAE,GAAG,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACxJ,EAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACtJ,EAAC,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,GAAG,EAAE,eAAe,EAAE,GAAG,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACvJ,EAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,yBAAyB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACnK,EAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,gBAAgB,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,yBAAyB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACpK,EAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,gBAAgB,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QACtE,EAAC,MAAM,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,gBAAgB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,yBAAyB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC5K,EAAC,MAAM,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,gBAAgB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,yBAAyB,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC1K,EAAC,MAAM,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC,SAAS,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QACrE,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,oBAAoB,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QACzE,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QAC/D,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,aAAa,EAAE,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,EAAC;QAC7G,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,oBAAoB,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QACzE,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QAChE,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,UAAU,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAClH,EAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,YAAY,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACrO,EAAC,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,OAAO,EAAC,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,wBAAwB,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACnJ,EAAC,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,KAAK,EAAC,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,wBAAwB,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACpJ,EAAC,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,MAAM,EAAC,EAAE,IAAI,EAAE,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,wBAAwB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACjJ,EAAC,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACnN,EAAC,MAAM,EAAE,qBAAqB,EAAE,SAAS,EAAE,EAAE,EAAC;QAC9C,EAAC,MAAM,EAAE,qCAAqC,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,OAAO,EAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,UAAU,CAAC,EAAC;QACxI,EAAC,MAAM,EAAE,qBAAqB,EAAE,SAAS,EAAE,CAAC,qBAAqB,EAAE,qCAAqC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACrJ,EAAC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,qBAAqB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC9H,EAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC1M,EAAC,MAAM,EAAE,qBAAqB,EAAE,SAAS,EAAE,EAAE,EAAC;QAC9C,EAAC,MAAM,EAAE,qCAAqC,EAAE,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,OAAO,EAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,EAAE,SAAS,CAAC,EAAC;QACvI,EAAC,MAAM,EAAE,qBAAqB,EAAE,SAAS,EAAE,CAAC,qBAAqB,EAAE,qCAAqC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACrJ,EAAC,MAAM,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,SAAS,EAAE,qBAAqB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC7H,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC7F,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,oBAAoB,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACtG,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,UAAU,EAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,eAAe,EAAE,EAAC;QAC5I,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC/G,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC1I,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,cAAc,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QAC/R,EAAC,MAAM,EAAE,gBAAgB,EAAE,SAAS,EAAE,CAAC,cAAc,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QAC1E,EAAC,MAAM,EAAE,gBAAgB,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,IAAI,EAAC;QACpE,EAAC,MAAM,EAAE,SAAS,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,GAAG,EAAC,EAAE,GAAG,EAAE,gBAAgB,EAAE,GAAG,EAAE,EAAC,SAAS,EAAC,GAAG,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAC;QACvJ,EAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,UAAU,EAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAC;QACvJ,EAAC,MAAM,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,MAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAC;QAC9I,EAAC,MAAM,EAAE,0BAA0B,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,MAAM,EAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAC;QACpG,EAAC,MAAM,EAAE,0BAA0B,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,IAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAC;QAC9F,EAAC,MAAM,EAAE,0BAA0B,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,cAAc,EAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,EAAC;QAC5H,EAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,0BAA0B,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAC;QACvH,EAAC,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,CAAC,aAAa,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QAC7E,EAAC,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAC;QACnK,EAAC,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAC;QAC3J,EAAC,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QAC1E,EAAC,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,EAAC;QACnK,EAAC,MAAM,EAAE,oBAAoB,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,QAAQ,EAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAC;QAC3J,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,KAAK,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,OAAO,EAAC;QACtF,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,MAAM,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,UAAU,EAAC;QAC1F,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,IAAI,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,EAAC;QACpF,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,MAAM,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,EAAC;QACzF,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,KAAK,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,EAAC;QACxF,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,IAAI,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,UAAU,EAAC;QACxF,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,KAAK,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,iBAAiB,EAAC;QAChG,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,IAAI,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,aAAa,EAAC;QAC3F,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,KAAK,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,oBAAoB,EAAC;QACnG,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,GAAG,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,UAAU,EAAC;QACvF,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,IAAI,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,iBAAiB,EAAC;QAC/F,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,GAAG,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,aAAa,EAAC;QAC1F,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,IAAI,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,oBAAoB,EAAC;QAClG,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,KAAK,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,MAAM,EAAC;QACrF,EAAC,MAAM,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,EAAC,SAAS,EAAC,OAAO,EAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,CAAC,SAAS,EAAC;QAC1F,EAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,EAAE,EAAC;QACnC,EAAC,MAAM,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,UAAU,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,IAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAC;QACrI,EAAC,MAAM,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC,UAAU,CAAC,EAAC;QACtC,EAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAC,IAAI,EAAE,IAAI,EAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,aAAa,EAAE,EAAE,EAAC;QAClG,EAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,EAAE,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,IAAI,EAAC;QAC/D,EAAC,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,WAAW,CAAC,EAAC;KACzC;IACD,WAAW,EAAE,SAAS;CACvB,CAAC;AAEF,eAAe,OAAO,CAAC"}

package/dist/parser/lexer.d.ts

@@ -0,0 +1,39 @@
+import moo from "moo";
+export declare const PrologLexerConfig: {
+    WS: RegExp;
+    wildcard: string;
+    notOperator: {
+        match: string[];
+    };
+    forallRule: string;
+    findallRule: string;
+    comment: RegExp;
+    number: RegExp;
+    string: RegExp;
+    backtick: string;
+    lparen: string;
+    rparen: string;
+    lbracket: string;
+    rbracket: string;
+    lsquare: string;
+    rsquare: string;
+    comma: string;
+    arrow: string;
+    period: string;
+    semicolon: string;
+    colonDash: string;
+    consOp: string;
+    queryOp: string;
+    comparisonOp: RegExp;
+    op: RegExp;
+    variable: RegExp;
+    atom: {
+        match: RegExp;
+        type: moo.TypeMapper;
+    };
+    NL: {
+        match: RegExp;
+        lineBreaks: boolean;
+    };
+};
+export declare const PrologLexer: any;

package/dist/parser/lexer.js

@@ -0,0 +1,38 @@
+import { makeLexer } from "moo-ignore";
+import moo from "moo";
+export const PrologLexerConfig = {
+    WS: /[ \t]+/,
+    wildcard: "_",
+    notOperator: { match: ["\\+", "not"] },
+    forallRule: "forall",
+    findallRule: "findall",
+    comment: /%.*|\/\*[\s\S]*?\*\//,
+    number: /-?\b(?:[0-9]+(?:\.[0-9]+(?:e[+-]?[0-9]+)?)?|0o[0-7]+|0x[0-9a-fA-F]+|0b[01]+)\b/,
+    string: /(?:'(?:[^']|'')*')/,
+    backtick: "`",
+    lparen: "(",
+    rparen: ")",
+    lbracket: "{",
+    rbracket: "}",
+    lsquare: "[",
+    rsquare: "]",
+    comma: ",",
+    arrow: "->",
+    period: ".",
+    semicolon: ";",
+    colonDash: ":-",
+    consOp: "|",
+    queryOp: "?-",
+    comparisonOp: /@<|@=<|@>=|@>|<|=<|>=|>|=@=|\\=@=|=:=|=\\=|==|\\==|\\=|=/,
+    op: /\+|-|\*|\/|\/\/|~|\^|\?|\$|''|\.\./,
+    variable: /[A-Z][a-zA-Z0-9_]*/,
+    atom: {
+        match: /[a-z!][a-zA-Z0-9_]*/,
+        type: moo.keywords({
+            primitiveOperator: ["round", "abs", "sqrt", "call"],
+        }),
+    },
+    NL: { match: /\r?\n/, lineBreaks: true },
+};
+export const PrologLexer = makeLexer(PrologLexerConfig, ["comment", "NL"]);
+//# sourceMappingURL=lexer.js.map

package/dist/parser/lexer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lexer.js","sourceRoot":"./src/","sources":["parser/lexer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,GAAG,MAAM,KAAK,CAAC;AACtB,MAAM,CAAC,MAAM,iBAAiB,GAAG;IAC/B,EAAE,EAAE,QAAQ;IACZ,QAAQ,EAAE,GAAG;IACb,WAAW,EAAE,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE;IACtC,UAAU,EAAE,QAAQ;IACpB,WAAW,EAAE,SAAS;IACtB,OAAO,EAAE,sBAAsB;IAC/B,MAAM,EACJ,gFAAgF;IAClF,MAAM,EAAE,oBAAoB;IAC5B,QAAQ,EAAE,GAAG;IACb,MAAM,EAAE,GAAG;IACX,MAAM,EAAE,GAAG;IACX,QAAQ,EAAE,GAAG;IACb,QAAQ,EAAE,GAAG;IACb,OAAO,EAAE,GAAG;IACZ,OAAO,EAAE,GAAG;IACZ,KAAK,EAAE,GAAG;IACV,KAAK,EAAE,IAAI;IACX,MAAM,EAAE,GAAG;IACX,SAAS,EAAE,GAAG;IACd,SAAS,EAAE,IAAI;IACf,MAAM,EAAE,GAAG;IACX,OAAO,EAAE,IAAI;IACb,YAAY,EAAE,0DAA0D;IACxE,EAAE,EAAE,oCAAoC;IACxC,QAAQ,EAAE,oBAAoB;IAC9B,IAAI,EAAE;QACJ,KAAK,EAAE,qBAAqB;QAC5B,IAAI,EAAE,GAAG,CAAC,QAAQ,CAAC;YACjB,iBAAiB,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC;SACpD,CAAC;KACH;IACD,EAAE,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,UAAU,EAAE,IAAI,EAAE;CACzC,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,SAAS,CAAC,iBAAiB,EAAE,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,CAAC"}

package/dist/parser/parser.d.ts

@@ -0,0 +1,5 @@
+import { AST, YukigoParser } from "@yukigo/ast";
+export declare class YukigoPrologParser implements YukigoParser {
+    errors: string[];
+    parse(code: string): AST;
+}

package/dist/parser/parser.js

@@ -0,0 +1,31 @@
+import nearley from "nearley";
+import grammar from "./grammar.js";
+export class YukigoPrologParser {
+    errors = [];
+    parse(code) {
+        const parser = new nearley.Parser(nearley.Grammar.fromCompiled(grammar));
+        try {
+            parser.feed(code);
+            parser.finish();
+        }
+        catch (error) {
+            console.log(error);
+            if ("token" in error)
+                throw Error(error);
+            const token = error.token;
+            const message = `Unexpected '${token.type}' token '${token.value}' at line ${token.line} col ${token.col}.`;
+            this.errors.push(message);
+            throw Error(message);
+        }
+        if (parser.results.length > 1) {
+            this.errors.push(`Too much ambiguity. ${parser.results.length} ASTs. Output not generated.`);
+            throw Error(`Too much ambiguity. ${parser.results.length} ASTs. Output not generated.`);
+        }
+        if (parser.results.length == 0) {
+            this.errors.push("Parser did not generate an AST.");
+            throw Error("Parser did not generate an AST.");
+        }
+        return parser.results[0];
+    }
+}
+//# sourceMappingURL=parser.js.map

package/dist/parser/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"./src/","sources":["parser/parser.ts"],"names":[],"mappings":"AACA,OAAO,OAAO,MAAM,SAAS,CAAC;AAC9B,OAAO,OAAO,MAAM,cAAc,CAAC;AAEnC,MAAM,OAAO,kBAAkB;IACtB,MAAM,GAAa,EAAE,CAAC;IACtB,KAAK,CAAC,IAAY;QACvB,MAAM,MAAM,GAAG,IAAI,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;QACzE,IAAI,CAAC;YACH,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClB,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YAClB,IAAI,OAAO,IAAI,KAAK;gBAAE,MAAM,KAAK,CAAC,KAAK,CAAC,CAAC;YACzC,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;YAC1B,MAAM,OAAO,GAAG,eAAe,KAAK,CAAC,IAAI,YAAY,KAAK,CAAC,KAAK,aAAa,KAAK,CAAC,IAAI,QAAQ,KAAK,CAAC,GAAG,GAAG,CAAC;YAC5G,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YAC1B,MAAM,KAAK,CAAC,OAAO,CAAC,CAAC;QACvB,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,IAAI,CAAC,MAAM,CAAC,IAAI,CACd,uBAAuB,MAAM,CAAC,OAAO,CAAC,MAAM,8BAA8B,CAC3E,CAAC;YACF,MAAM,KAAK,CACT,uBAAuB,MAAM,CAAC,OAAO,CAAC,MAAM,8BAA8B,CAC3E,CAAC;QACJ,CAAC;QACD,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iCAAiC,CAAC,CAAC;YACpD,MAAM,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACjD,CAAC;QAED,OAAO,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC3B,CAAC;CACF"}

package/package.json

@@ -0,0 +1,31 @@
+{
+  "name": "yukigo-prolog-parser",
+  "version": "0.1.0",
+  "description": "",
+  "type": "module",
+  "main": "dist/index.js",
+  "types": "dist/index.d.ts",
+  "scripts": {
+    "build": "nearleyc ./src/parser/grammar.ne -o ./src/parser/grammar.ts && tsc",
+    "test": "mocha --import=tsx"
+  },
+  "keywords": [],
+  "author": "noiseArch",
+  "license": "ISC",
+  "dependencies": {
+    "moo": "^0.5.2",
+    "moo-ignore": "^2.5.3",
+    "nearley": "^2.20.1",
+    "yukigo-ast": "0.1.0"
+  },
+  "devDependencies": {
+    "@types/chai": "^5.2.2",
+    "@types/mocha": "^10.0.10",
+    "@types/moo": "^0.5.10",
+    "@types/node": "^24.10.0",
+    "chai": "^6.2.0",
+    "mocha": "^11.7.1",
+    "tsx": "^4.20.6",
+    "typescript": "^5.9.2"
+  }
+}

package/src/index.ts

@@ -0,0 +1 @@
+export * from "./parser/parser.js"

package/src/parser/grammar.ne

@@ -0,0 +1,166 @@
+@{%
+import { 
+    NumberPrimitive, 
+    StringPrimitive, 
+    Rule, 
+    Fact, 
+    Query,
+    ConsExpression,
+    ArithmeticBinaryOperation,
+    ArithmeticUnaryOperation,
+    ComparisonOperation,
+    Exist, 
+    Not, 
+    Findall, 
+    Sequence,
+    If,
+    Call,
+    Forall, 
+    SymbolPrimitive, 
+    AssignOperation,
+    UnifyOperation,
+    VariablePattern, 
+    FunctorPattern, 
+    ConsPattern, 
+    ListPattern, 
+    LiteralPattern,
+    WildcardPattern,
+    TuplePattern
+ } from "yukigo-ast"
+
+import { PrologLexer } from "./lexer.js"
+
+const asSequence = (d) => d.length === 1 ? d[0] : new Sequence(d);
+
+%}
+@preprocessor typescript
+@lexer PrologLexer
+
+program -> (clause _):* {% (d) => d[0].map(x => x[0]).filter(x => x !== null).flat(Infinity) %}
+
+clause -> (fact | rule | query) {% (d) => d[0][0] %}
+
+fact -> any_atom arguments:? _ %period {% (d) => new Fact(d[0], d[1] ?? []) %}
+
+rule -> any_atom arguments:? _ %colonDash _ body _ %period {% (d) => new Rule(d[0], d[1] ?? [], d[5]) %}
+
+query -> %queryOp _ body _ %period {% (d) => new Query(d[2]) %}
+
+body -> expression (_ (%comma | %semicolon) _ expression):* {% (d) => [d[0], ...d[1].map(x => x[3])] %}
+
+expression -> 
+    (conditional | forall | findall | unification | assignment | comparison | not | exist) {% (d) => d[0][0] %}
+    | "(" _ expression _ ")" {% (d) => d[2] %}
+
+conditional -> "(" _ body _ "->" _ body _ %semicolon _ body _ ")"  {% (d) => 
+    new If(
+        asSequence(d[2]),  
+        asSequence(d[6]),   
+        asSequence(d[10])
+    ) 
+%}
+
+forall -> %forallRule "(" _ expression _ %comma _ expression _ ")" {% (d) => new Forall(d[3], d[7]) %}
+
+findall -> %findallRule "(" _ expression _ %comma _ expression _ %comma _ expression _ ")" {% (d) => new Findall(d[3], d[7], d[11]) %}
+
+not -> 
+    %notOperator _ expression {% (d) => new Not([d[2]]) %}
+    | %notOperator _ "(" _ "(" _ body _  ")" _ ")" {% (d) => new Not([asSequence(d[6])]) %}
+
+exist -> 
+    "call" %lparen _ pattern_list _ %rparen {% (d) => {
+        const [callee, ...rest] = d[3]
+        return new Call(callee.name, rest)
+    } %}
+    | any_atom arguments:? {% (d, l, reject) => {
+        const val = d[0].value; 
+        if (val === "not" || val === "\\+") return reject;
+        return new Exist(d[0], d[1] ?? []) 
+    } %}
+    | variable {% (d) => new Exist(d[0], []) %}
+    
+
+assignment -> addition _ "is" _ addition {% (d) => new AssignOperation("Assign", d[0], d[4]) %}
+
+unification -> addition _ "=" _ addition {% (d) => new UnifyOperation("Unify", d[0], d[4]) %}
+
+comparison -> 
+    addition _ comparison_op _ addition {% (d) => new ComparisonOperation(d[2], d[0], d[4]) %}
+
+addition ->
+    multiplication _ "+" _ addition {% (d) => new ArithmeticBinaryOperation("Plus", d[0], d[4]) %}
+    | multiplication _ "-" _ addition {% (d) => new ArithmeticBinaryOperation("Minus", d[0], d[4]) %}
+    | multiplication {% id %}
+
+multiplication ->
+    primary _ "*" _ multiplication {% (d) => new ArithmeticBinaryOperation("Multiply", d[0], d[4]) %}
+    | primary _ "/" _ multiplication {% (d) => new ArithmeticBinaryOperation("Divide", d[0], d[4]) %}
+    | primary {% id %}
+
+primary -> 
+    arithmetic_literal {% id %}
+    | variable {% id %}
+    | strict_atom arguments  {% d => new Exist(d[0], d[1] ?? []) %}
+    | primitiveOperation  {% id %}
+    | cons_expr  {% id %}
+    | "(" _ addition _ ")"  {% d => d[2] %}
+
+cons_expr -> "[" _ primary_list _ %consOp _ expression _ "]" {% (d) => new ConsExpression(d[2], d[6]) %}
+
+primitiveOperation -> 
+    "round" __ addition {% d => new ArithmeticUnaryOperation("Round", d[2]) %}
+    | "abs" __ addition {% d => new ArithmeticUnaryOperation("Absolute", d[2]) %}
+    | "sqrt" __ addition {% d => new ArithmeticUnaryOperation("Sqrt", d[2]) %}
+
+primitiveArguments -> %lparen _ primary_list _ %rparen {% (d) => d[2] %}
+primary_list -> addition (_ %comma _ addition):* {% (d) => [d[0], ...d[1].map(x => x[3])] %}
+
+arguments -> %lparen _ pattern_list _ %rparen {% (d) => d[2] %}
+
+pattern_list -> pattern (_ %comma _ pattern):* {% (d) => [d[0], ...d[1].map(x => x[3])] %}
+
+pattern -> 
+    variable {% (d) => new VariablePattern(d[0]) %}
+    | structural_literal {% (d) => new LiteralPattern(d[0]) %}
+    | %wildcard {% (d) => new WildcardPattern() %}
+    | any_atom arguments {% (d) => new FunctorPattern(d[0], d[1]) %}
+    | "(" _ pattern_list _ ")" {% (d) => new TuplePattern(d[2]) %}
+    | "[" _ pattern_list _ %consOp _ pattern _ "]" {% (d) => new ConsPattern(d[2].length > 1 ? new ListPattern(d[2]) : d[2][0], new VariablePattern(d[6])) %}
+    | "[" _ pattern_list:? _ "]"  {% (d) => new ListPattern(d[2] ? d[2] : []) %}
+
+variable -> %variable {% (d) => new SymbolPrimitive(d[0].value) %}
+
+strict_atom -> %atom {% (d) => new SymbolPrimitive(d[0].value) %}
+
+any_atom -> (%atom | %op | %comparisonOp) {% (d) => new SymbolPrimitive(d[0][0].value) %}
+
+arithmetic_literal -> 
+    strict_atom {% id %}
+    | %number {% (d) => new NumberPrimitive(Number(d[0].value)) %}
+    | %string {% (d) => new StringPrimitive(d[0].value) %}
+
+structural_literal -> 
+    any_atom {% id %}
+    | %number {% (d) => new NumberPrimitive(Number(d[0].value)) %}
+    | %string {% (d) => new StringPrimitive(d[0].value) %}
+
+comparison_op ->
+    "=:=" {% d => "Equal" %}
+    | "=\\=" {% d => "NotEqual" %}
+    | "==" {% d => "Same" %}
+    | "\\==" {% d => "NotSame" %}
+    | "\\=" {% d => "NotSame" %}
+    | "@<" {% d => "LessThan" %}
+    | "@=<" {% d => "LessOrEqualThan" %}
+    | "@>" {% d => "GreaterThan" %}
+    | "@>=" {% d => "GreaterOrEqualThan" %}
+    | "<" {% d => "LessThan" %}
+    | "=<" {% d => "LessOrEqualThan" %}
+    | ">" {% d => "GreaterThan" %}
+    | ">=" {% d => "GreaterOrEqualThan" %}
+    | "=@=" {% d => "Same" %}
+    | "\\=@=" {% d => "NotSame" %}
+
+_ -> %WS:*
+__ -> %WS:?