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 |
Available | arch != "arm32" & arch != "x86_32" |
Dependencies |
|
Source [http] | https://github.com/c-cube/datalog/archive/0.1.tar.gz sha256=798cd4eb230b195c562a0ccbc26aa7a4483016e0760f30295e8de7dada31c12c md5=9d4cc94bb277665c41d2319ab14ec6ce |
Edit | https://github.com/ocaml/opam-repository/tree/master/packages/datalog/datalog.0.1/opam |
No package is dependent