Deklarativ proqramlaşdırma
Deklarativ proqramlaşdırma — proqramın axınını təsvir etmədən onun yazılmasını imkan verən proqramlaşdırma paradiqmasıdır. Başqa sözlə desək, proqrama necə icra etmək əvəzinə nə icra etdiyi yazılır. Bu isə alqoritmaların köməyi ilə yazılan imperativ proqramlaşdırmanın əksidir. Deklaritiv proqramlaşdırma paralel proqramların yazılmasını sadələşdirdiyi üçün son vaxtlar bu paradiqmaya böyük maraq yaranmışdır.