A minimal, fast Datalog implementation in Haskell that compiles to LLVM - View it on GitHub