package datalog

  1. Overview
  2. Docs
An in-memory datalog implementation for OCaml.

Install

Dune Dependency

Authors

Maintainers

Sources

0.5.1.tar.gz
sha256=0e7c36f0cfe553c8740dac588b2438af542b7b97a8e1e9e02931063521cba0a7
md5=73edeb1cc13db48c19cab9a8c50b5c79

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.

Tags

datalog relational query prolog

Published: 13 Dec 2013

Dependencies (4)

  1. num
  2. ocamlbuild build
  3. ocamlfind
  4. ocaml >= "4.00.1" & < "4.06.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.