An in-memory datalog implementation for OCaml.
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.

Install
Last Published
21 Nov 2013
Authors
Maintainers
Sources
0.4.1.tar.gz
md5=149f1150c67025b9b219ad8d5ef9341f
Dependencies
Reverse Dependencies