datalog 0.5.1 (with interpreted predicates for some unix functions, and Ocaml relational interface)