YapOr

MaRDI QIDQ25793swMATHFDO

Official website http://rd.springer.com/chapter/10.1007%2F3-540-48159-1_13

Cited in

(12)

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

This page was built for software: YapOr