List of Datalog engines
From EverybodyWiki Bios & Wiki
Script error: No such module "AfC submission catcheck".
The following is a list of notable compilers, interpreters, libraries, and embedded DSLs that implement Datalog-like languages; collectively referred to as Datalog engines.
| Name | Evaluation | Negation | Typing | Written in | License | Description |
|---|---|---|---|---|---|---|
| Datomic | ? | ? | ? | Clojure | Proprietary | a distributed Database with a Datalog implementation |
| Flix | ? | Stratified | Static | Java | Apache v2 | a functional and logic programming language inspired by Datalog extended with user-defined lattices and monotone filter/transfer functions |
| Jena | Forward chaining, | ? | ? | Java | Apache v2 | a Semantic Web framework which includes a Datalog implementation as part of its general purpose rule engine, which provides OWL and RDFS support.[2] |
| LogicBlox | ? | ? | Static | ? | Proprietary | an extension of Datalog with static typing, modules, and probablistic programming; evaluated using worst-case optimal joins |
| .QL | ? | ? | ? | ? | ? | a commercial object-oriented variant of Datalog created by Semmle for analyzing source code to detect security vulnerabilities. |
| Soufflé | Semi-naïve | Stratified | Static | C++ | UPL v1.0 | a compiler translating Datalog to high-performance, parallel C++ code and a high-performance interpreter; specifically designed for complex Datalog queries over large data sets as encountered in the context of static program analysis |
References[edit]
- ↑ RATTANASAWAD, Thanyalak; BURANARACH, Marut; SAIKAEW, Kanda Runapongsa; SUPNITHI, Thepchai (2018). "A Comparative Study of Rule-Based Inference Engines for the Semantic Web". IEICE Transactions on Information and Systems. E101.D (1): 82–89. doi:10.1587/transinf.2017swp0004. ISSN 0916-8532.
- ↑ "Jena". Source forge. "In fact, the rule language is essentially datalog rather than full prolog, whilst the functor syntax within rules does allow some creation of nested data structures they are flat (not recursive) and so can be regarded a syntactic sugar for datalog."
This article "List of Datalog engines" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:List of Datalog engines. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.
