@manta-eu/datalog-parser 0.1.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2026 Manta AI AS
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,57 @@
+# @manta-eu/datalog-parser
+
+RDFox Datalog parser and AST builder with inference verification.
+
+## Features
+
+- **Complete Datalog Parser**: Parses RDFox Datalog rules into type-safe ASTs
+- **Syntax Validation**: Comprehensive rule validation with error reporting
+- **Built-in Function Support**: CONCAT, STR, IF, IRI, SKOLEM, ROUND, REGEX functions
+- **Advanced Constructs**: Support for FILTER, BIND, AGGREGATE, NOT EXIST patterns
+- **Inference Verification**: Validate that rules produce expected inferences
+- **Transaction Management**: Safe rule management with rollback capabilities
+
+## API
+
+### Core Functions
+
+```typescript
+import { parseDatalogRule, validateDatalogRule, areRulesEquivalent } from "@manta-eu/datalog-parser";
+
+// Parse rule into AST
+const ast = parseDatalogRule(`:Product[?p] :- :Item[?p], :category[?p, "electronics"] .`);
+
+// Validate syntax
+const { valid, error } = validateDatalogRule(ruleText);
+
+// Compare rules
+const equivalent = areRulesEquivalent(rule1, rule2);
+```
+
+### Advanced Features
+
+```typescript
+import { verifyRuleInference, transactionManager } from "@manta-eu/datalog-parser";
+
+// Verify rule produces expected inferences
+await verifyRuleInference(rule, expectedFacts, rdfoxConfig);
+
+// Manage transactions
+await transactionManager.withTransaction(async () => {
+  // Rule operations here
+});
+```
+
+### AST Types
+
+```typescript
+import type { DatalogRule, DatalogAtom, DatalogBodyFormula } from "@manta-eu/datalog-parser";
+```
+
+## Grammar Support
+
+- **Head Atoms**: Property atoms, class atoms, general atoms
+- **Body Formulas**: All atom types plus FILTER, BIND, AGGREGATE, SKOLEM, negation
+- **Expressions**: Binary operators, function calls, literals
+- **Built-in Functions**: Full RDFox function library
+- **Complex Patterns**: NOT EXIST clauses with mixed formulas