Pemrograman deklaratif

Dalam ilmu komputer, pemrograman deklaratif adalah paradigma pemrograman—gaya membangun struktur dan elemen program komputer—yang mengekspresikan logika komputasi tanpa menjelaskan aliran kontrolnya.

Banyak bahasa yang menerapkan gaya ini mencoba untuk meminimalkan atau menghilangkan efek samping dengan menjelaskan apa yang harus dicapai program dalam hal domain masalah, daripada menjelaskan bagaimana mencapainya sebagai urutan primitif bahasa pemrograman  (bagaimana dibiarkan hingga implementasi bahasa). Ini berbeda dengan pemrograman imperatif, yang mengimplementasikan algoritma dalam langkah-langkah eksplisit.

Pemrograman deklaratif sering menganggap program sebagai teori logika formal, dan perhitungan sebagai deduksi dalam ruang logika itu. Pemrograman deklaratif dapat sangat menyederhanakan penulisan program paralel.

Referensi

Pranala luar 

 Frans Coenen. Characteristics of declarative programming languages. 1999.
Robert Harper.
What, If Anything, Is A Declarative Language?. 2013.
There Is Such A Thing As A Declarative Language, and It’s The World’s Best DSL. 2013.
 Olof Torgersson. A Note on Declarative Programming Paradigms and the Future of Definitional Programming. 1996.

Paradigma pemrograman