Parallel Declarative Paradigms
Parallel Functional languages and parallel logic languages are two declarative approaches to parallel programming, concentrating on what is to be done rather than how it is done.
Programs do not specify in any direct way how they are to be executed in parallel, so that decomposition does not need to be explicit.
It is still an open question how efficiently these approaches can be implemented.