This package contains a lightweight deductive database system in OCaml