Pengaturcaraan penyata: Perbezaan antara semakan

Dalam [[sains komputer]], '''pengaturcaraan pengisytiharan''' 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> Banyak bahasa yang menggunakan gaya ini bagi mengurangkan atau menghilangkan [[kesan sampingan (sains komputer)|kesan sampingan]] dengan memerihalkanmemberitahu ''apa'' yang atur cara perlu sempurnakan, berbanding memerihalkanmemberitahu ''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 impertifimperatif]] yang memerlukan [[aloritmaalgoritma]] yang jelas disediakan.

Pengaturcaraan pengisytiharan sering menganggap [[Atur cara (mesin)|atur cara]] sebagai teori bagi [[logik formal]], dan perhitungan sebagai potongankesimpulan dalam ruang logik itutadi. 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 pengisytiharan yang biasa termasuklah [[unkapan nalar]], [[pengaturcaraan logik]], dan [[pengaturcaraan kefungsian]].