A comparative study of unification algorithms for or-parallel execution of logic languages

Performance studies of a parallel Prolog architecture

ISCA '87 Proceedings of the 14th annual international symposium on Computer architecture

The Performance of Parallel Prolog Programs

IEEE Transactions on Computers

Pipelined OR-parallelism architecture for parallel execution of Prolog

IEA/AIE '90 Proceedings of the 3rd international conference on Industrial and engineering applications of artificial intelligence and expert systems - Volume 2

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

A Highly OR-Parallel Inference Machine (Multi-ASCA) and its Performance Evaluation: An Architecture and its Load Balancing Algorithms

IEEE Transactions on Computers

Decomposition techniques for parallel resolution of constraint satisfaction problems in shared memory: a comparative study

International Journal of Computational Science and Engineering