package datalog
An in-memory datalog implementation for OCaml.
Install
Dune Dependency
Authors
Maintainers
Sources
0.5.2.tar.gz
sha256=92b5ea786270f2d9b1e1ac9b6551a65be2085e891590dec4363888759dcb4180
md5=d3165be0b6946d860904b708cc44bcde
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