datalog 0.2
| Homepage | https://github.com/c-cube/datalog | ||||
|---|---|---|---|---|---|
| Maintainer | simon.cruanes@inria.fr | ||||
| Dependencies |
|
||||
| Published | Jan 30, 2013 | ||||
| Source [http] |
https://github.com/c-cube/datalog/archive/0.2.tar.gz 37aca35052b69db16f70e6663802a213 |
||||
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/datalog/datalog.0.2/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 |