• en

datalog

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.
Author Simon Cruanes <simon.cruanes@inria.fr>
License BSD-2-Clause
Homepage https://github.com/c-cube/datalog
Maintainer simon.cruanes@inria.fr
Tags datalog, relational, query and prolog
OCaml >= 4.00.1

Events

Dec 12, 2013

Published version 0.5.1

Oct 19, 2013

Published version 0.5

  • Simon Cruanes <simon.cruanes@inria.fr> gained authorship.

May 28, 2013

Published version 0.4.1

  • Now licensed under BSD-2-Clause.

May 17, 2013

Published version 0.4

Feb 25, 2013

Published version 0.3.1

Feb 20, 2013

Published version 0.3

Jan 30, 2013

Published version 0.2

Jan 29, 2013

Published version 0.1