michael-swan / differential-datalog

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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

michael-swan/differential-datalog Issues

No issues in this repository yet.