package datalog
An in-memory datalog implementation for OCaml.
Install
Dune Dependency
Authors
Maintainers
Sources
0.4.tar.gz
sha256=f3cc5e470134d30c6504fcaeef09c06bed61889babddb85804b407dc0745e515
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
On This Page