Some Haskell code which implements some of the ideas in the paper "Fixing Incremental Computation" I've implemented change actions but not much of the semantics for datalog.