# Datalog

- Page: https://shared.btbytes.com/p/datalog
- Date: 2019-11-29
- Tags: programming-language

- Introduction to datalog -- [Data Integration](http://web.archive.org/web/20110108050138/http://logic.stanford.edu/dataintegration/) The Relational Logic Approach by Michael Genesereth

- ["I See What You Mean" by Peter Alvaro - YouTube](https://www.youtube.com/watch?v=R2Aa4PivG0g&feature=youtu.be) -- *"From model + proof theory and datalog to dedalus and Bloom: a pledge for logic programming. by palvaro"*.

- [Datalog Educational System](http://des.sourceforge.net/index.html)

- Datalog is an inspiration for Open Policy Agent's [Rego language](https://www.openpolicyagent.org/docs/latest/policy-language/). Rego extends Datalog to support structured document models such as JSON.

- [LogicBlox – Datalog REPL Tutorial | Hacker News](https://news.ycombinator.com/item?id=21662494) -- has a bunch of datalog related links to explore in leisure.

- [An introduction to Datalog](https://blogit.michelin.io/an-introduction-to-datalog/) at michelin.io

- [xtdb-tutorial](https://nextjournal.com/xtdb-tutorial) at nextjournal