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 Educational System
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.