programación basada en restricciones

Los lenguajes 5GL se basan en la resolución de problemas mediante restricciones en lugar de algoritmos procedimentales.