datalog-to-sql
CommunityTranslate Datalog into efficient SQL queries.
Authorhafley66
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Translates Datalog rule bodies into equivalent SQL queries, enabling reliable relational execution of logic programs with deterministic joins, recursion, negation, and semi-naive evaluation.
Core Features & Use Cases
- Converts single-body rules to SELECT queries.
- Uses JOINs for multi-literal bodies, supports recursion via WITH RECURSIVE, handles NOT EXISTS for negation, and supports semi-naive materialization with INSERT ... WHERE NOT EXISTS.
- Use Case: Convert a small Datalog knowledge base into SQL to run on a relational database and reason about transitive closures.
Quick Start
Translate a simple Datalog program into SQL using the compiler to produce the corresponding SQL statements.
Dependency Matrix
Required Modules
None requiredComponents
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: datalog-to-sql Download link: https://github.com/hafley66/claude-research/archive/main.zip#datalog-to-sql Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.