Análisis de sistemas de programación lógica por restricciones

La Programación Lógica por Restricciones (CLP) es la unión natural dedos paradigmas declarativos: la solución de restricciones y la programación lógica. Esta combinación ayuda a hacer programas expresivos y flexibles, y en algunos casos mas eficientes que otros programas, dado que reducen dramáticamente el tiempo de ejecución mientras logran una eficiencia similar a los lenguajes procedimentales. CLP define una familia de lenguajes de la Programación Lógica, donde cada lenguaje es una instancia obtenida al especificar una estructura de calculo. El lenguaje se caracteriza por una estructura algebraica (el dominio de calculo, las funciones y las relaciones sobre ese dominio). Las funciones especiales y los predicados simbólicos se interpretan sobre un dominio seleccionado fijo, formando los símbolos interpretados; las relaciones sobre el dominio de calculo se llaman restricciones, éstas se formulan involucrando las funciones especiales y los predicados simbólicos. Algunos de los lenguajes más significativos del esquema CLP son CHiP, Prolog III y CLP, en los cuales se pueden ver diferencias principalmente en el dominio de calculo, el uso de un mecanismo diferido, el tipo de restricciones que manipulan y la forma en que representan la salida de las restricciones resolubles. CLP es un lenguaje muy completo, ya que cuenta con un mecanismo que integra restricciones no lineales, mientras que CHiP y Prolog III tienen que hacer uso de algún tipo de predicado especial; otra ventaja de CLP es el tipo de resultados que presenta, puesto que no se limita a mostrar sólo restricciones resolubles, sino también puede presentar una salida en relación a las restricciones que no fueron del todo satisfactorias. Trabajar con CLP resultó ser mucho más fácil de lo que esperaba, aunque se podría considerar a su dominio de calculo como una desventaja. Debido a que trabajar con números reales representa inexactitud en los resultados, CLP resuelve este problema al hacer que la diferencia numérica sea mínima. Esto no implica que tanto CHiP como Prolog III sean "inferiores" con respecto a CLP, cada quien tiene su particular punto de vista, pero en lo personal recomiendo el uso del lenguaje CLP.