programmation déclarative

loc. f.

[programmation] Méthode de programmation dans laquelle on décrit les propriétés du système de résolution du problème, au lieu de donner la liste des étapes à parcourir pour arriver à une solution. Franchement, j'ai pas compris grand chose. Mais bon, un exemple de langage déclaratif est Prolog.