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 .