datalog

Author Simon Cruanes <simon.cruanes@inria.fr>
License BSD-2-Clause
Homepage https://github.com/c-cube/datalog
Tags { datalog, relational, query, prolog }
Maintainer simon.cruanes@inria.fr
Dependencies
& ocamlbuild
ocamlfind
Available ocaml-version >= "4.00.1"
Published Dec 12, 2013
Source [http] http://github.com/c-cube/datalog/archive/0.5.1.tar.gz
73edeb1cc13db48c19cab9a8c50b5c79
Statistics Not installed in the last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/datalog/datalog.0.5.1/opam

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.
No package is dependent