Differential Datalog: a programming language for incremental computation
What is the difference with <a href="https://github.com/rust-lang/datafrog" rel="nofollow">https://github.com/rust-lang/datafrog</a>? It’s a Datalog engine written by Frank McSherry on top of differential dataflow, that’s used here also