Декларативный язык — это язык программирования, который выражает логику вычислений без описания потока управления. Другими словами, декларативный язык сообщает компьютеру, что делать, но не говорит, как это сделать. В этом отличие от императивного языка, который описывает шаги, которые компьютер должен предпринять для выполнения вычислений.
Декларативные языки часто используются для таких задач, как запросы к базе данных и искусственный интеллект. Это связано с тем, что они позволяют программисту сосредоточиться на текущей проблеме, не беспокоясь о деталях того, как компьютер ее решит.
Некоторые примеры декларативных языков включают SQL, Prolog и Haskell.