-
Introduction to datalog — Data Integration The Relational Logic Approach by Michael Genesereth
-
“I See What You Mean” by Peter Alvaro - YouTube — “From model + proof theory and datalog to dedalus and Bloom: a pledge for logic programming. by palvaro”.
-
Datalog is an inspiration for Open Policy Agent’s Rego language. Rego extends Datalog to support structured document models such as JSON.
-
LogicBlox – Datalog REPL Tutorial | Hacker News — has a bunch of datalog related links to explore in leisure.
-
An introduction to Datalog at michelin.io