Stack-splitting: or-/and-parallelism on distributed memory machines

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

A Simple Scheme for Implementing Tabled Logic Programming Systems Based on Dynamic Reordering of Alternatives

Proceedings of the 17th International Conference on Logic Programming

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

Proceedings of the 17th International Conference on Logic Programming

Non-monotonic Reasoning on Beowulf Platforms

PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages

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

Journal of Parallel and Distributed Computing

Threads and or-parallelism unified

Theory and Practice of Logic Programming

Or-parallel prolog execution on multicores based on stack splitting

DAMP '12 Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming