Pengaturcaraan penyata: Perbezaan antara semakan

Dalam [[sains komputer]], '''pengaturcaraan penyata''' ([[bahasa Inggeris]]: ''declarative programming'') ialah [[paradigma pengturcaraan]] yang mengungkapkan logik [[penghitungan]] tanpa memerihalkan [[aliran kawalan]]nya.<ref>{{citation|last=Lloyd|first=J.W.|title=Practical Advantages of Declarative Programming}}</ref> Kebanyakan bahasa pengaturcaraan mengamalkan gaya ini supaya [[kesan sampingan (sains komputer)|kesan sampingan]] dikurangkan atau dilenyapkan dengan memberitahu atur cara ''apa'' yang perlu sempurnakan, bukan 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]] di mana setiap langkah-langkah [[algoritma]] dinyatakan dengan jelas.

 

 

Bahasa penyata yang biasa termasuklah [[unkapan nalar]], [[pengaturcaraan logik]], dan [[pengaturcaraan kefungsian]].