Differential Datalog: a programming language for incremental computationgithub.com/vmware170 pointsjitl4 years ago