Cited in
(34)- Infinite probability computation by cyclic explanation graphs
- Euro-Par 2004 Parallel Processing
- Logic Programming
- XSB: extending Prolog with tabled logic programming
- Logic Programming
- HYPROLOG
- DASWAM
- clpfd
- CDAOstore
- wamcc
- B-Prolog
- YAP-Prolog
- PhyloWS
- Kernel-LEAF
- OpenRuleBench
- WebPIE
- CAT
- XcelLog
- XSB
- YapOr
- YapTab
- GHC
- PARLOG
- April
- HaLoop
- SWISH DataLab
- tuProlog
- Concurrent and Local Evaluation of Normal Programs
- VeriFly
- Table space designs for implicit and explicit concurrent tabled evaluation
- Co-Logic Programming: Extending Logic Programming with Coinduction
- Towards multi-threaded local tabling using a common table space
- Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
- scientific article; zbMATH DE number 2085268 (Why is no real title available?)
This page was built for software: OPTYap