Programación lógica con restricciones

Solo disponible en BuenasTareas
  • Páginas : 15 (3538 palabras )
  • Descarga(s) : 0
  • Publicado : 18 de noviembre de 2010
Leer documento completo
Vista previa del texto
PROGRAMACIÓN LÓGICA CON RESTRICCIONES

Realizado por: José Carlos Rodríguez del Salado

1

Índice: 1. Introducción………………...…………………………………………………3 2. Historia de la programación lógica con restricciones…………………………3 3. Limitaciones de la programación lógica………………………………...…….4 4. Ventajas e inconvenientes de la programación lógica con restricciones........…5 4.1. Ventajas de la programaciónlógica con restricciones………………………5 4.2. Inconvenientes de la programación lógica con restricciones………………..5 5. Esquemas de los lenguajes CLP………………………………………………6 5.1. Semántica algebraica………………………………………………………..6 5.2. Semánticas lógicas…………………………………………………………..7 5.3. Semánticas del punto fijo……………………………………………………7 5.4. Semántica operacional………………………………………………………8 6. Lenguajes basados en el sistemaCLP……………………………………….10 Bibliografía:

Resumen:

http://users.dsic.upv.es/asignaturas/facultad/prg/clp.html Ensayo: “Análisis de Sistemas de Programación Lógica por Restricciones”, Anatoli Koulinitch y Wendy Yaneth García Martínez. www.utm.mx/~temas/temasdocs/e0403.pdf http://www.fdi.ucm.es/profesor/jjruz/WebMaster/ , Teresa Hortalá González, José Jaime Ruz Ortiz y Fernando Sáenz Pérez

La Programación Lógica porRestricciones (CLP) es la unión natural de dos 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 más eficientes que otros programas, dado que reducen dramáticamente el tiempo de ejecución mientras logran una eficiencia similar a los lenguajes procedimentales. A finales de los años 80 surgióun nuevo paradigma de programación lógica que intentaba 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. Jaffar y Lassez fueron los primeros en identificar el nuevo modelo, le dieron el nombre de programación lógica con restricciones ("Constraint LogicProgramming", CLP), y lo desarrollaron como un esquema genérico que permite obtener diferentes lenguajes lógicos. Las programación lógica presenta una serie de limitaciones, por lo que se genera una propuesta de restricciones que permite solucionar algunas de las limitaciones que tiene la programación lógica. Estas restricciones tiene una serie de ventajas, como el gran aumento de la eficiencia, debido ala utilizació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. Dentro de la Programación Lógica con Restricciones se distinguen varias semánticas: algebraica, lógicas, de punto fijo y operacionales. Los lenguajes basados en el sistema CLP son CHiP ( diseñado para resolverproblemas restrictivos en el dominio finito), Prolog III, el cual usa un algoritmo como Simplex para resolver ecuaciones lineales, y CLP ®, el cual manipula ecuaciones lineales y no lineales en el dominio de los números reales.

2

1. INTRODUCCIÓN. Durante las últimas décadas, el paradigma de la Programación Lógica ha alcanzado su grado de madurez. La Programación Lógica provee una manera elegante deseparar las partes lógicas y de control de un programa. En un caso ideal, la lógica de predicados de primer orden se usa para representar el problema (¿qué es lo se tiene que hacer?) y el perfil del mecanismo de cálculo se usa para resolver el problema (¿cómo tiene que encontrarse la solución?). De esta forma, la Programación Lógica tiene la propiedad de ser semántica, operacional y declarativa.Las semánticas operacional y declarativa son tanto simples y elegantes, como equivalentes. La regla de cálculo en la Programación Lógica es el origen de un problema y el procedimiento de búsqueda a profundidad resulta de la aplicación del paradigma genera/examina, dando lugar a una serie de problemas en la búsqueda a grandes espacios. La Programación Lógica con Restricciones CLP...
tracking img