Dalam [[sains komputer]], '''pengaturcaraan pengisytiharanpenyata''' ([[bahasa Inggeris]]: ''declarative programming'') ialah [[paradigma pengturcaraan]] yang mengungkapkan logik bagi [[penghitungan]] tanpa perlu memerihalkan [[aliran kawalan]]nya.<ref>{{citation|last=Lloyd|first=J.W.|title=Practical Advantages of Declarative Programming}}</ref> BanyakKebanyakan bahasa menggunakanpengaturcaraan mengamalkan gaya ini bagi mengurangkan atau menghilangkansupaya [[kesan sampingan (sains komputer)|kesan sampingan]] dikurangkan atau dilenyapkan dengan memberitahu atur cara ''apa'' yang atur cara perlu sempurnakan, berbandingbukan memberitahu ''bagaimana'' menyempurnakannya.<ref>[http://foldoc.org/index.cgi?query=declarative+language ''Declarative language''] dalam The Free On-line Dictionary of Computing, Editor Denis Howe.</ref> Ini berlawanan dengan [[pengaturcaraan imperatif]] yangdi memerlukanmana setiap langkah-langkah [[algoritma]] jelasdinyatakan disediakandengan jelas.
Pengaturcaraan pengisytiharanpenyata sering menganggap [[Atur cara (mesin)|atur cara]] sebagai teori bagisuatu [[logik formal]], danmanakala perhitunganpenghitungan sebagai kesimpulan dalam ruang logik tadiitu. Paradigma ini telah menjadi tumpuan kerana ia mungkin dapat meringkaskan penulisan [[pengkomputeran selari|atur-atur cara selari]].<ref>http://www.cse.unsw.edu.au/~pls/damp09/</ref>
Bahasa pengisytiharanpenyata yang biasa termasuklah [[unkapan nalar]], [[pengaturcaraan logik]], dan [[pengaturcaraan kefungsian]].
== Rujukan ==
{{Reflist}}
== Pautan luar ==
* [http://latentflip.com/imperative-vs-declarative/ Imperative vs declarative] – penerangan beserta contoh tentang beza antara pengaturcaraan imperatif dan penyata.
