Par opposition à la programmation impérative, où le déroulement prime, la programmation déclarative va s'intéresser aux objectifs, par un ensemble de déclarations, et parfois du résultat final à obtenir. En déclaratif, on définit ce que le programme doit accomplir, le Quoi, et non Comment il doit le faire (impératif).
Dans la réalité, la différence n'est jamais aussi marquée, et langages et programmes peuvent utiliser ou mettre en oeuvre les 2 paradigmes.
Consiste à apporter une description à une structure de données (Ex: HTML, Latex…)
La programmation fonctionnelle Aborde la programmation comme la définition et l'usage d'un ensemble de fonctions mathématiques.
Consiste à poser le problème par un ensemble de propositions logiques à satisfaire : ProLog
(voir PROLOG).
Permet de résoudre des problèmes combinatoires (planification ou ordonnancement par ex) par satisfaction de contraintes.