Parallel logic programming

Launching the new era

Communications of the ACM

A review of exploitation of AND-parallelism and combined AND/OR-parallelism in logic programs

ACM SIGPLAN Notices

Search in concurrent logic languages

SAC '95 Proceedings of the 1995 ACM symposium on Applied computing

Compile-time memory reuse in logic programming languages through update in place

ACM Transactions on Programming Languages and Systems (TOPLAS)

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

Evaluation of Parallel Copying Garbage Collection on a Shared-Memory Multiprocessor

IEEE Transactions on Parallel and Distributed Systems

An Exhaustive-Search Method Using Layered Streams Obtained Through a Meta-Interpreter for Chain Programs

LOPSTR '98 Proceedings of the 8th International Workshop on Logic Programming Synthesis and Transformation

On applying or-parallelism and tabling to logic programs

Theory and Practice of Logic Programming

Inferring non-suspension conditions for logic programs with dynamic scheduling

ACM Transactions on Computational Logic (TOCL)

Agent-oriented programming: from prolog to guarded definite clauses

Agent-oriented programming: from prolog to guarded definite clauses

From the π-calculus to flat GHC

Proceedings of the 14th symposium on Principles and practice of declarative programming