package datalog

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

Install

Dune Dependency

Authors

Maintainers

Sources

0.4.1.tar.gz
sha256=144c165092395aa5227fde26c300158507886080114323e508ad777ea00d95ce
md5=149f1150c67025b9b219ad8d5ef9341f

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. It also features a small relational engine to query the current set of facts.

Published: 21 Nov 2013

Dependencies (3)

  1. ocamlbuild build
  2. ocamlfind
  3. ocaml

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.