SSealbook

vmware-archive/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 man

datalogddlogincrementalprogramming-languagerust

License & maintenance

MIT is a permissive license: free to use commercially with attribution.

Last code push 3 years ago. Archived: read-only, no further updates.