Linguaggi Dichiarativi Paralleli
Linguaggi funzionali e logici paralleli.
Il parallelismo è considerato uno dei benefici automatici derivanti dalla programmazione dichiarativa, data la sua enfasi sul "cosa fare" piuttosto che sul "come fare" tipico dei linguaggi imperativi.
In realtà, l'implementazione parallela di linguaggi dichiarativi in modo da sfruttare efficientemente il parallelismo intrinseco dei programmi funzionali si è rivelata molto difficile.