ESPRIT Basic Research Project 6707 ParForCE
``Parallel Formal Computing Environment''
Technology Transfer Workshop and Final Review

Tutorial:
Parallelism and concurrency in LP/CLP

Manuel Hermenegildo (UPM)

Madrid, January 15-16, 1996

• Parallelism in Logic Programs and CLP
• Objective and Issues
• Issues in OR Parallelism
• Issues in Or-parallelism: Illustration
• Issues in OR Parallelism
• Issues in And-Parallelism - Independence
• Example: Strict Goal Independence
• Parallelization as program transformation
• Automatic (And-) Parallelization
• &-Prolog / Ciao-Prolog compiler overview
• Some forms of independence
• Non-strict independence (examples)
• Concurrent Languages
• Concurrent Languages
• And-Parallel Execution - Granul. Control
• And-Parallel Execution - Automatic Granularity Control
• Schedule Analysis [Soton]
• And-Parallelism Implementation
• Other developments
• Project at a Glance: Problems and Approach
• Project at a Glance: Overview of Workplan
• Project at a Glance: Overview of Workplan