Or-parallel execution models of prolog

Designing a high performance parallel logic programming system

ACM SIGARCH Computer Architecture News

The family of concurrent logic programming languages

ACM Computing Surveys (CSUR)

Generators and the replicator control structure in the parallel environment of ALLOY

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation

Analysis of Or-parallel execution models

ACM Transactions on Programming Languages and Systems (TOPLAS)

Effectivness of abstract interpretation in automatic parallelization: a case study in logic programming

ACM Transactions on Programming Languages and Systems (TOPLAS)

Constructs and evaluations strategies for intelligent speculative parallelism—armageddon revisited

CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science

Abstract data type support in Prolog and its relation to parallelism

SAC '94 Proceedings of the 1994 ACM symposium on Applied computing

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

Comparing Two Parallel Logic-Programming Architectures

IEEE Software

Machine Independent AND and OR Parallel Execution of Logic Programs: Part I-The Binding Environment

IEEE Transactions on Parallel and Distributed Systems