ddlog topic
List
ddlog repositories
differential-datalog
1.3k
Stars
117
Forks
Watchers
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 writ...