datalog-dsl-design

What problem does it solve?

Designing a Datalog DSL and compiler pipeline that targets SQL backends for code metadata analysis.

Core Features & Use Cases

• Embeds built-in relations over a SQL schema (e.g., file, match, link, repo) and a modular extraction pipeline.
• Supports pattern embedding for regex, AST, and file glob patterns via a readable design, incremental materialization, and a robust compiler pipeline.
• Enables a SQLite-backed backend with a Souffle-like rule language and a clear translation to SQL.

Quick Start

Define a tiny schema, write a few Datalog rules, and compile them to SQL against a SQLite-backed test database.