Cited in
(12)- Logic Programming
- On applying or-parallelism and tabling to logic programs
- PALS
- YAP-Prolog
- CAT
- OPTYap
- YapTab
- PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters
- scientific article; zbMATH DE number 2085267 (Why is no real title available?)
- On the implementation of an or-parallel Prolog system for clusters of multicores
- Threads and or-parallelism unified
- scientific article; zbMATH DE number 2085268 (Why is no real title available?)
This page was built for software: YapOr
