Return to CLIP Main Page

Introduction / Motivation

• Parallel Processing: high performance / reasonable cost.
• Finally coming of age: not only HPC, but also mainstream systems.
• Ideal situation: Conventional Program + Multiprocessor = Higher Perf.
  automatic parallelization.
• Much progress in FORTRAN, regular computations. Further challenges:
  • parallelization across procedure calls,
  • irregular computations,
  • complex data structures / pointers,
  • speculation, etc.
• These problems appear in parallelization of logic and constraint logic programs:
  • Interesting test subjects for parallelization.
  • Significant progress in last decade (but less, e.g., for regular computations).
• Cross-paradigm synergy - programming paradigms are not that different!