datalog-to-sql

Translate Datalog rules into SQL queries with recursion and negation.

1|Updated Mar 15, 2026

Search Tags:#translation #sql #joins #recursion #datalog #negation #stratification

Ready to run

npx skills add https://github.com/hafley66/claude-research --skill datalog-to-sql

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: datalog-to-sql
Source: https://github.com/hafley66/claude-research/tree/main/skills/datalog-to-sql
Command: npx skills add https://github.com/hafley66/claude-research --skill datalog-to-sql

SYSTEM DOCUMENTATION & REQUIREMENTS

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.

Frequently Asked Questions about datalog-to-sql

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I translate Datalog rules into SQL queries?▼

To translate Datalog rules into SQL queries, the compiler parses single-body rules into SELECT statements, converting multi-literal bodies into JOINs and outputting UNION ALL for multiple rules defining the same relation.

Can I handle Datalog recursion using SQL?▼

You can handle Datalog recursion using SQL by applying the WITH RECURSIVE clause, which enables the relational engine to compute transitive closures and reason through recursive relations effectively.

How does negation work when converting Datalog to SQL?▼

Negation in Datalog to SQL translation works by applying stratification to safely order rules, then using the NOT EXISTS clause to exclude facts that match the negated literal within the generated query.

What is semi-naive evaluation in SQL query generation?▼

Semi-naive evaluation in SQL query generation uses INSERT ... WHERE NOT EXISTS statements to incrementally materialize recursive relations, ensuring only new facts are processed in each iteration to avoid redundant computations.

Does this Datalog to SQL translation support data analytics pipelines?▼

This Datalog to SQL translation supports data analytics pipelines by executing logic programs directly within a relational engine, enabling deterministic processing of aggregated results and transitive closures for analytical workloads.