package datalog
An in-memory datalog implementation for OCaml.
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.tar.gz
sha256=c22c4cbdecd254c12f3ff3057bdb046b4a8667773b61769ee268e75f39f7fbc2
md5=383a0589cca14bccda4586564acca263
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.
Dependencies (4)
- num
-
ocamlbuild
build
- ocamlfind
-
ocaml
>= "4.00.1" & < "4.06.0"
Dev Dependencies
None
Used by
None
Conflicts
None
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>
On This Page