package datalog

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

Install

Dune Dependency

github.com Edit opam file Versions (10)

Authors

Maintainers

  1. S
    simon.cruanes@inria.fr

Sources

0.4.tar.gz
md5=bf6c9ca945e29cc4d5dc05662499b89f

Description

It 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. It now features a kind of backward chaining for semantic attachments.

Published: 21 Nov 2013

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None