Programação Declarativa

Paradigma de programação baseado em programação funciona, lógica e restritiva. Tal programação dita que o programador deve modelar um dado problema através de assertivas acerca dos objetos do universo de discurso, basicamente descreve o relacionamento lógico existente entre a cabeça e o corpo e nunca descreve como seus procedimentos funcionam. As resoluções declarativas são mais fáceis de desenvolver e uma clareza maior em sua leitura.

             Uma das principais referências na linguagem declarativa é a utilização da linguagem SQL. Pode utilizar como exemplo quando especificado uma simples instrução SELECT, simplesmente declaramos ao banco de dados o que queremos, não sendo de grande importância saber os procedimentos que o gerenciador de banco de dados adotará para que a instrução siga de maneira correta. 

            

                 A programação declarativa pode também ser definida como uma programação não imperativa, justamente pelos seus conceitos serem contrastantes, entretanto existe um conceito definido como encapsulamento, que permite os usuários utilizar linguagens imperativas em programação declarativa.

                  Uma de suas características mais marcantes é o fato de ser uma linguagem que corresponde à lógica matemática. Alguns exemplos de linguagens declarativas são, Mercury, Erlang, HTML, SQL (como citado acima).


Referências:
https://pt.wikipedia.org/wiki/Programa%C3%A7%C3%A3o_declarativa

https://medium.com/opensanca/imperativo-ou-declarativo-3e6dffbf301c

https://medium.com/alexandre-malavasi/descomplicando-programa%C3%A7%C3%A3o-imperativa-declarativa-e-reativa-a481baa87742

https://imasters.com.br/desenvolvimento/programacao-imperativa-x-declarativa

http://ptcomputador.com/P/computer-programming-languages/86807.html