An Abstract Machine for Restricted AND-Parallel Execution of Logic Programs

A methodology for detecting shared variable dependencies in logic programs

Journal of Symbolic Computation

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

ACM SIGPLAN Notices

Parallel symbolic computation in ACE

Annals of Mathematics and Artificial Intelligence

Nagging: A Distributed, Adversarial Search-Pruning Technique Applied to First-Order Inference

Journal of Automated Reasoning

DAOS - Scalable And-Or Parallelism

Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing

Sequence-based abstract interpretation of Prolog

Theory and Practice of Logic Programming

An Overview of the Ciao Multiparadigm Language and Program Development Environment and Its Design Philosophy

Concurrency, Graphs and Models

A High-Level Implementation of Non-deterministic, Unrestricted, Independent And-Parallelism

ICLP '08 Proceedings of the 24th International Conference on Logic Programming

Non-strict independence-based program parallelization using sharing and freeness information

Theoretical Computer Science

Towards a high-level implementation of execution primitives for unrestricted, independent and-parallelism

PADL'08 Proceedings of the 10th international conference on Practical aspects of declarative languages

Coordination and concurrency in multi-engine prolog

COORDINATION'11 Proceedings of the 13th international conference on Coordination models and languages

An overview of ciao and its design philosophy

Theory and Practice of Logic Programming - Prolog Systems

Relating data-parallelism and (and-) parallelism in logic programs

Computer Languages

Improving the efficiency of nondeterministic independent and-parallel systems

Computer Languages