OCaml implementation of the Datalog engine of ETB