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.