La programación de restricciones es una forma de programación declarativa que usa restricciones matemáticas para definir cómo las variables dentro del programa se relacionan entre sí. Estos tipos de técnicas de programación suelen interactuar con otros tipos de técnicas de programación, como las técnicas lógicas e imperativas. Estas técnicas lógicas e imperativas hacen precisamente lo que evita la programación de restricciones, progresando lógicamente a través de declaraciones computacionales y ejecutando cambios. La programación de restricciones a menudo se combina con la programación lógica para formar la programación lógica de restricciones, que es una versión extendida de la programación lógica. La programación lógica incluye requisitos literales y comparaciones de variables, y la programación lógica de restricciones amplía esto para incluir restricciones.
Una restricción es un término matemático avanzado, pero es esencialmente una condición que debe cumplirse al tomar una decisión. Esta es una definición simplista, y el paradigma de programación se comprende mejor cuando un usuario tiene un conocimiento sólido de las matemáticas. Al observar las restricciones en relación con la programación de restricciones, las restricciones trazan cómo las variables en el programa deben relacionarse entre sí.
La programación declarativa es un paradigma de programación que no implica dictar cómo se lleva a cabo o se ejecuta cada paso individual de un programa. En lugar de centrarse en los pasos, estos tipos de lenguajes especifican o declaran relaciones computacionales. La programación de restricciones es un tipo de programación declarativa porque la lógica se expresa y explica, en lugar de ejecutarse sistemáticamente paso a paso.
En programación de computadoras, las variables tienen una definición que puede ser un poco diferente de su definición matemática. Una variable puede significar cualquier cosa a menos que un programa de computadora haya definido su significado. A primera vista, cuando se dice que la programación de restricciones usa restricciones para definir cómo las variables deben relacionarse entre sí, puede parecer que esto no es suficiente para escribir un programa de computadora completo. En realidad, debido a que las variables de programación de computadoras pueden abarcar una cantidad ilimitada de datos, definir detalles de cómo deben relacionarse entre sí tiene un nivel muy alto de poder de programación.
La programación de restricciones es un paradigma de programación, lo que significa que establece ideas fundamentales sobre lo que significan las cosas básicas que pueden ser radicalmente diferentes en comparación con otros paradigmas de programación. Los diferentes paradigmas pueden hacer prácticamente cualquier cosa de una manera diferente a otro idioma. Un idioma puede usar lógica secuencial, mientras que otro no. Los diferentes paradigmas a menudo utilizan diferentes bloques básicos de información y relaciones para representar instrucciones. Muchas cosas que son fundamentales para otros paradigmas de programación, como ejecutar lógicamente muchas líneas en sucesión, no se utilizan en la programación de restricciones.