Differential Datalog is an open source programming language created in 2018 by Leonid Ryzhyk.
git clone https://github.com/vmware/differential-datalog
#953on PLDB | 5Years Old |
DDlog is a programming language for incremental computation. It is well suited for writing programs that continuously update their output in response to input changes. A DDlog programmer does not write incremental algorithms; instead they specify the desired input-output mapping in a declarative manner.