Scheduling speculative work in Or-parallel Prolog systems

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

PALS: An Or-Parallel Implementation of Prolog on Beowulf Architectures

Proceedings of the 17th International Conference on Logic Programming

PAN: a portable, parallel prolog: Its design, realisation and performance

New Generation Computing

On applying or-parallelism and tabling to logic programs

Theory and Practice of Logic Programming

Stack splitting: a technique for efficient exploitation of search parallelism on share-nothing platforms

Journal of Parallel and Distributed Computing

High Level Thread-Based Competitive Or-Parallelism in Logtalk

PADL '09 Proceedings of the 11th International Symposium on Practical Aspects of Declarative Languages

A parallel algorithm for helix mapping between 3d and 1d protein structure using the length constraints

ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications