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. It now features a kind of backward chaining for semantic attachments.

Published
Homepagehttps://github.com/c-cube/datalog
Maintainersimon.cruanes@inria.fr
Dependencies
Source [http] https://github.com/c-cube/datalog/archive/0.3.1.tar.gz
md5=4593fb543801cd089194680d432bc8a9
StatisticsInstalled 3 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/datalog/datalog.0.3.1/opam
No package is dependent