La programmazione dichiarativa è uno stile di costruzione di programmi che esprime la logica del calcolo senza parlare del suo flusso di controllo.
Spesso considera i programmi come teorie di una certa logica e può semplificare la scrittura di programmi paralleli.
L'attenzione si concentra su ciò che deve essere fatto, piuttosto che su come dovrebbe essere fatto, in sostanza, enfatizzare ciò che il codice sta effettivamente facendo.
Dichiara il risultato che vogliamo piuttosto come è stato prodotto.
- imperativa: come fare
- dichiarativa: cosa fare
- logica,
- funzionale
- database.