Datalog

Datalog is a non-turingcomplete logic query language. It's similar to Prolog, but it being not turingcomplete makes it more declerative, and means that there's an upper-bound on execution time. It's interesting as a query language for databases.

Resources

• Datalog in Rust by Frank McSherry

  • datatoad

• The "missing" graph datatype was invented in the '70s

• A Left-to-Right Mental Model for Datalog

• Datalog in miniKanren

• clj-3df

• Logica - Datalog to SQL compiler

• percival - Datalog notebooks

• Datalog links - Someone elses garden page on Datalog

Incremental / differential Datalog variants?

There is DDlog as an implementation of differential datalog, but it seems to be "deprecated" having its latest commit in 2022 (Some claime that the team moved on to build feldera).

One could try and build an implementation on one of these libraries:

• differential-dataflow

• dbsp

  • PyDBSP - Python DBSP implementation, with a Datalog implementation

• salsa

Relevant article:

• On The Suitability of Differential Dataflow For Datalog Interpretation In Highly Dynamic Settings

• Incremental Datalog with Differential Dataflows

Testing

• dynamic-datalog - A test suit of dynamic Datalog problems

Turning the IDE inside out

Video

Blogpost

Hackernews

lobste.rs

Example