An in-memory datalog implementation for OCaml.