datalog

Homepagehttps://github.com/c-cube/datalog
Maintainersimon.cruanes@inria.fr
Dependencies
&ocamlbuild
ocamlfind
PublishedMay 17, 2013
Source [http] https://github.com/c-cube/datalog/archive/0.4.tar.gz
bf6c9ca945e29cc4d5dc05662499b89f
StatisticsNot installed in the last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/datalog/datalog.0.4/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. It now features a kind of backward chaining for semantic attachments.

No package is dependent