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
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