datalog 0.5.1

with interpreted predicates for some unix functions, and Ocaml relational interface