datalogversion

An in-memory datalog implementation for OCaml.

It features two main algorithm:

  • bottom-up 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.
  • top-down resembles prolog (and allows nested subterms). It handles stratified negation and only explores the part of the search space that is relevant to a given query.
Tags datalog relational query prolog
AuthorSimon Cruanes <simon.cruanes@inria.fr>
LicenseBSD-2-Clause
Published
Homepagehttps://github.com/c-cube/datalog
Issue Trackerhttps://github.com/c-cube/datalog/issues
Maintainersimon.cruanes.2007@m4x.org
Dependencies
Source [http] https://github.com/c-cube/datalog/archive/0.5.2.tar.gz
md5=d3165be0b6946d860904b708cc44bcde
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/datalog/datalog.0.5.2/opam
No package is dependent