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 | |
|---|---|
| Homepage | https://github.com/c-cube/datalog |
| Maintainer | simon.cruanes@inria.fr |
| Dependencies | |
| Source [http] | https://github.com/c-cube/datalog/archive/0.3.tar.gz sha256=67458df7fc73eb9c42b472f0e790df1633569cbf8efe647306172330da10a706 md5=5b38b1d3dbb94262a6c0ad731900d750 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/datalog/datalog.0.3/opam |
No package is dependent
