datalog

Homepagehttps://github.com/c-cube/datalog
Maintainersimon.cruanes@inria.fr
Dependencies
&ocamlbuild
ocamlfind
PublishedJan 29, 2013
Source [http] https://github.com/c-cube/datalog/archive/0.1.tar.gz
9d4cc94bb277665c41d2319ab14ec6ce
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/datalog/datalog.0.1/opam

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.

No package is dependent