Differential dataflow is an iterative, incremental, stream processor basically. The rust version of Eve was based on taking the main idea behind differential dataflow and specializing it for a datalog-ish semantics. It worked very well, though implementing it is extremely unintuitive.