Constraint Logic Programming using Eclipse

De WikiGLC
Saltar a: navegación, buscar

K.R. Apt y M.G. Wallace Constraint Logic Programming using Eclipse. Cambridge University Press, 2007.


El libro consta de cuatro partes:

  1. El paradigma de la programación lógica, donde presenta la sintaxis y las semánticas declartivas y procedural de la programación lógica.
  2. Elementos de Prolog, donde presenta la programación en Prolog.
  3. Programación con restricciones pasivas, donde presenta los conceptos de problemas de restricciones y la lista de problemas que va a tratar:
    • Problemas de restricciones:
      • El problema de coloreado de mapas (p. 94).
      • El problema SEND + MORE = MONEY (p. 95).
      • El problema de las N reinas (p. 97).
    • Problemas de restricciones con optimización:
      • El problema de la mochila (p. 99).
      • El problema de las monedas (p. 99).
      • El problema del diseño de monedas (p.100).
      • El problema de la localización de los almacenes (p. 100).
  4. Programación con restricciones activas, donde muestra cómo con las librería sd ("symbolic domains") e ic ("interval constraints") de ECLiPSe pueden resolverse los problemas anteriores.

Especialmente interesante es el capítulo 11 donde muestra cómo afecta la eficiencia de la búsqueda la elección de la variable y la del valor.

Los problemas comentados pueden incluirse en el proyecto de solución declarativa de problemas.

José A. Alonso 10:35, 12 November 2008 (CET)