La programmation déclarative est un paradigme de programmation. Elle consiste à créer des applications sur la base de composants logiciels indépendants du contexte et ne comportant aucun état interne. Autrement dit, l'appel d'un de ces composants avec les mêmes arguments produit exactement le même résultat, quel que soit le moment et le contexte de l'appel.

La programmation par contraintes est un paradigme de programmation dans lequel les relations entre variables sont exprimées sous forme de contraintes .

La programmation logique contrainte est une forme de programmation par contraintes, dans laquelle la programmation logique est étendue pour inclure les concepts de satisfaction de contraintes .