datalogversion

An in-memory datalog implementation for OCaml.

It focuses on big sets of rules with small relations, with frequent updates of the relations. Therefore, it tries to achieve good behavior in presence of incremental modifications of the relations.

Published
Homepagehttps://github.com/c-cube/datalog
Maintainersimon.cruanes@inria.fr
Dependencies
Source [http] https://github.com/c-cube/datalog/archive/0.2.tar.gz
md5=37aca35052b69db16f70e6663802a213
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/datalog/datalog.0.2/opam
No package is dependent