Prolog: Why bother?

Agenda

Ocean current simulation

Galaxy simulation

Ray tracing

Writing a parallel program

Some definitions

Decomposition of Iterative Equation Solver

Static assignment

Dynamic assignment

Decomposition types

Orchestration

Mapping

An example

Sequential program