gitmyhub

differential-datalog

Java ★ 0 updated 2y ago ⑂ fork

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.

No plain-English explanation yet — one is being written right now. Check back in a minute.