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.

AuthorSimon Cruanes
LicenseBSD-2-Clause
Published
Homepagehttps://github.com/c-cube/datalog
Issue Trackerhttps://github.com/c-cube/datalog/issues
Maintainersimon.cruanes@inria.fr
Availablearch != "arm32" & arch != "x86_32"
Dependencies
Source [http] https://github.com/c-cube/datalog/archive/0.1.tar.gz
sha256=798cd4eb230b195c562a0ccbc26aa7a4483016e0760f30295e8de7dada31c12c
md5=9d4cc94bb277665c41d2319ab14ec6ce
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/datalog/datalog.0.1/opam
No package is dependent