The following pages link to YapOr (Q25793):
Displaying 7 items.
- Threads and or-parallelism unified (Q3585157) (← links)
- On the Implementation of an Or-Parallel Prolog System for Clusters of Multicores (Q4593066) (← links)
- On applying or-parallelism and tabling to logic programs (Q4673543) (← links)
- (Q4736501) (← links)
- (Q4736502) (← links)
- Logic Programming (Q5313188) (← links)
- PALS: Efficient Or-Parallel execution of Prolog on Beowulf clusters (Q5431417) (← links)