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.
| 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.2.tar.gz sha256=56c38568de58a8854dffc11e5d66a62252b9a5a1ea754103c03c2ed39468b84d md5=37aca35052b69db16f70e6663802a213 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/datalog/datalog.0.2/opam |
No package is dependent
