Constraint Logic Programming using Eclipse

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.