Datalog

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)
• 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)
• Soufflé-Prov - Adds semiring-based provenance capabilities to the Soufflé language project.
• 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.