datalog

An in-memory datalog implementation for OCaml.
Description

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.
Install
Published
08 Nov 2017
Sources
0.5.2.tar.gz
md5=d3165be0b6946d860904b708cc44bcde
Dependencies
ocaml
>= "4.00.1" & < "4.06.0"
Reverse Dependencies