4 ms·
A Differential Datalog Interpreter
- MLIR 3y agoSee also http://infolab.stanford.edu/~ullman/fcdb/aut07/slides/dlog.pdf http://infolab.stanford.edu/~ullman/fcdb/aut07/slides/dlog.p...
- MLIR 3y ago[dead]
- gardenfelder 3y agoGithub repo (not referenced in the paper) https://github.com/vmware/differential-datalog https://github.com/vmware/differential-datalog
- gardenfelder 3y agoSee also https://news.ycombinator.com/item?id=26514456 https://news.ycombinator.com/item?id=26514456 https://news.ycombinator.com/item?id=33521561 https://news.ycombinator.com/item?id=33521561 https://news.ycombinator.com/item?id=27512224 https://news.ycombinator.com/item?id=27512224