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.
Author | Simon Cruanes |
---|---|
License | BSD-2-Clause |
Published | |
Homepage | https://github.com/c-cube/datalog |
Issue Tracker | https://github.com/c-cube/datalog/issues |
Maintainer | simon.cruanes@inria.fr |
Dependencies |
|
Source [http] | https://github.com/c-cube/datalog/archive/0.3.1.tar.gz sha256=2e3cdd33eee18f5649a6fe9ad79af664765be07a476e3e7fcca5934e1c6fefad md5=4593fb543801cd089194680d432bc8a9 |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/datalog/datalog.0.3.1/opam |
No package is dependent