The DCG, UDG, and MEL methods for automatic compile-time parallelization of logic programs for independent and-parallelism

Analyzing logic programs with dynamic scheduling

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages

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

ACM SIGPLAN Notices

Parallel logic programming systems

ACM Computing Surveys (CSUR)

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

ACM Transactions on Programming Languages and Systems (TOPLAS)

Parallel execution of prolog programs: a survey

ACM Transactions on Programming Languages and Systems (TOPLAS)

Parallel symbolic computation in ACE

Annals of Mathematics and Artificial Intelligence

PAN: a portable, parallel prolog: Its design, realisation and performance

New Generation Computing

A practical type analysis for verification of modular prolog programs

PEPM '08 Proceedings of the 2008 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation

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

Concurrency, Graphs and Models

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

Theoretical Computer Science

An overview of ciao and its design philosophy

Theory and Practice of Logic Programming - Prolog Systems