OpenRuleBench
From MaRDI portal
Cited in
(17)- N3Logic
- TRIPLE
- Magic sets for disjunctive Datalog programs
- Enhancing DLV for large-scale reasoning
- Reasoning with nominal schemas through absorption
- XSB
- XcelLog
- FLORA
- OPTYap
- XSB: extending Prolog with tabled logic programming
- Efficient computation of the well-founded semantics over big data
- Optimizing the distributed evaluation of stratified programs via structural analysis
- MWeb
- miniKanren
- A framework for modular ERDF ontologies
- Towards multi-threaded local tabling using a common table space
- Flix
This page was built for software: OpenRuleBench
