Deklaratiivne programmeerimine
Deklaratiivne programmeerimine on arvutiteaduses kasutatav programmeerimise paradigma, kus programmide struktuur ja elemendid, mis väljendavad arvutuste loogikat, ei kirjelda programmi juhtimisvoogu. Deklaratiivne programmeerimine defineeritakse sageli kui kõik mitteimperatiivsed programmeerimise stiilid. Leidub ka definitsioone, mis ei defineeri seda imperatiivse programmeerimise kaudu. Näiteks: kõrgetasemeline programm, mis kirjeldab, mida arvutus peaks täitma; keel, mis on selges vastavuses matemaatilise loogikaga.