Programación Lógica con Restricciones
Páginas: 4 (900 palabras)
Publicado: 19 de febrero de 2014
PROGRAMACIÓN LÓGICA CON RESTRICCIONES
INTRODUCCIÓN
La Programación Lógica Basada en Restricciones ("Constraint Logic Programming", CLP) es un paradigma muy útil para formular y resolverproblemas que se definen de forma natural en términos de las restricciones que deben verificar un conjunto de variables.
A finales de los años 80 surgió un nuevo paradigma de programación lógica queintentaba incorporar métodos eficientes de resolución de restricciones sobre dominios específicos, conservando el carácter declarativo y las buenas propiedades semánticas de los programas lógicos.
Jaffary Lassez fueron los primeros en identificar el nuevo modelo, le dieron el nombre de programación lógica con restricciones, y lo desarrollaron como un esquema genérico que permite obtener diferenteslenguajes lógicos
En un caso ideal la lógica de predicados de primer orden se utiliza para representar el problema (“¿Qué es lo que se tiene que hacer”?) y el perfil del mecanismo de cálculo se usapara resolver el problema (“¿Cómo tiene que encontrarse la solución?”).
La resolución de estos problemas consiste habitualmente en encontrar la asignación de valores a las variables que permite quese verifiquen las restricciones impuestas.
A esta aproximación se le designa “satisfacción de restricciones”.
La Programación Lógica Basada en Restricciones intenta cubrir las taras de laProgramación Lógica integrando a programas como Prolog mecanismos que solucionen restricciones.
Estas restricciones tienen una serie de ventajas, como el gran aumento de la eficiencia, debido a lautilización de algoritmos específicos en la resolución de restricciones. También presenta inconvenientes, como que en muchos casos es necesario incluir restricciones redundantes.
Esta programación es launión natural de dos paradigmas declarativos: la solución de restricciones y la programación lógica. Esta unión nos ayuda a construir programas expresivos y flexibles y en algunos casos más eficientes...
INTRODUCCIÓN
La Programación Lógica Basada en Restricciones ("Constraint Logic Programming", CLP) es un paradigma muy útil para formular y resolverproblemas que se definen de forma natural en términos de las restricciones que deben verificar un conjunto de variables.
A finales de los años 80 surgió un nuevo paradigma de programación lógica queintentaba incorporar métodos eficientes de resolución de restricciones sobre dominios específicos, conservando el carácter declarativo y las buenas propiedades semánticas de los programas lógicos.
Jaffary Lassez fueron los primeros en identificar el nuevo modelo, le dieron el nombre de programación lógica con restricciones, y lo desarrollaron como un esquema genérico que permite obtener diferenteslenguajes lógicos
En un caso ideal la lógica de predicados de primer orden se utiliza para representar el problema (“¿Qué es lo que se tiene que hacer”?) y el perfil del mecanismo de cálculo se usapara resolver el problema (“¿Cómo tiene que encontrarse la solución?”).
La resolución de estos problemas consiste habitualmente en encontrar la asignación de valores a las variables que permite quese verifiquen las restricciones impuestas.
A esta aproximación se le designa “satisfacción de restricciones”.
La Programación Lógica Basada en Restricciones intenta cubrir las taras de laProgramación Lógica integrando a programas como Prolog mecanismos que solucionen restricciones.
Estas restricciones tienen una serie de ventajas, como el gran aumento de la eficiencia, debido a lautilización de algoritmos específicos en la resolución de restricciones. También presenta inconvenientes, como que en muchos casos es necesario incluir restricciones redundantes.
Esta programación es launión natural de dos paradigmas declarativos: la solución de restricciones y la programación lógica. Esta unión nos ayuda a construir programas expresivos y flexibles y en algunos casos más eficientes...
Leer documento completo
Regístrate para leer el documento completo.