datalog 0.5.1

(update) datalog 0.5.1, with an interface that attemps to make it easier to use directly from OCaml (embed OCaml values in Datalog relations)