This package contains a lightweight deductive database system in OCaml - View it on GitHub