Datalog

Created: Nov 29, 2019 by Pradeep Gowda Updated: Apr 22, 2023 Tagged: programming-language

• 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.

• An introduction to Datalog at michelin.io

• xtdb-tutorial at nextjournal