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

Un modèle conditionnel contraint (CCM) est un cadre d’apprentissage automatique et d'inférence qui enrichit l'apprentissage de modèles conditionnels (probabilistes ou discriminants) avec des contraintes déclaratives.