Datalog ​

Deconstructing Datalog is nice read.

Links ​

• Learn Datalog Today - Interactive Datalog Tutorial. (Code)
• Programmable View Update Strategies on Relations (2020)
• Turning the IDE Inside Out with Datalog (2020) (Lobsters) (HN)
• DDlog - Programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. (HN) (HN)
• What You Always Wanted to Know About Datalog (1989)
• Intro to DDlog (2020)
• hsdatalog - Compiler from Datalog to relational algebra, as well as an interpreter for relational algebra that uses binary decision diagrams (BDDs).
• Crepe - Datalog compiler in Rust as a procedural macro.
• Temporalog - Datalog extension to reason about time with CTL operators.
• Exalog - Datalog backend as a library written in Haskell.
• The Essence of Datalog (2018)
• Automatic Subgoal Scheduling for Datalog (2018)
• dynamic-datalog - Engines, queries, and data for dynamic Datalog computation.
• Getting Drunk with Datalog (2021) (Lobsters) (Code)
• PyDatalog Tutorial
• Eclair - Experimental, minimal Datalog implementation in Haskell.
• Static analysis using Haskell and Datalog
• Souffle - Variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification. (Web)
• Tree-sitter grammar for Soufflé Datalog
• Soufflé-Prov - Adds semiring-based provenance capabilities to the Soufflé language project.
• Souffle-Lint - Linter for Soufflé Datalog, based on tree-sitter-souffle, configured with tree-sitter queries.
• Differential Datalog Implementation in JS - Implementation of Datalog with a focus on managing UIs & UI state.
• Awesome Datalog
• Scallop - Scalable differentiable probabilistic Datalog engine, with Rust. (Web) (Tweet)
• Datalog Racket package
• datalog-ts - Datalog interpreter and UI in TypeScript. (Web)
• Is Datalog a good language for authorization? (2022) (Lobsters)
• Reactive Datalog for Datomic - Nikolas Göbel (2018)
• TML (Tau Meta-Language) - Variant of Datalog.
• Datalog in JavaScript (2022) (HN)
• datalogJS - Simple Datalog query engine, implemented in 100 lines of JS.
• treeedb - Generate Soufflé Datalog types, relations, and facts that represent ASTs from a variety of programming languages.
• Cozo - General-purpose, transactional, relational database that uses Datalog and focuses on graph data and algorithms. (HN)
• cl-grph - In-Memory Immutable Graph Structure with Datalog Query Language.
• Mangle - Programming language for deductive database programming. It is an extension of Datalog, with various extensions like aggregation, function calls and optional type-checking.
• Datafun - Research on integrating datalog & lambda calculus via monotonicity types.
• Introduction to Datalog (2022) (HN)
• Deconstructing Datalog (2021) (HN)
• Better Together: Unifying Datalog and Equality Saturation (2023) (Lobsters)
• Eqlog - Extension of datalog with function symbols and equality.
• egglog - egraphs + datalog.
• Scallop - Language based on DataLog that supports differentiable logical and relational reasoning.
• Datalite - Simple Datalog Built Around SQLite in Python. (Lobsters)