Programacion Declarativa con Restricciones

Recientemente, esta revista ha publicado una excelente monografía, [65], dedicada a los problemas de satisfacción con restricciones. La monografía cubre muchos de los aspectos relacionados con estos problemas pero obvia un area tradicionalmente muy importante en la comunidad de las restricciones como es la integración de restricciones en los lenguajes de programación declarativos (especialmente los lógicos). Este articulo describe el estado-del-arte de la programación declarativa con restricciones (PDC) con especial énfasis en la integración de restricciones en los lenguajes de programación lógicos. El articulo esta dirigido tanto a personas con conocimientos de PDC como a aquellos interesados en conocerla, y cubre sus orígenes históricos, los fundamentos teóricos y las instancias mas populares dependientes del dominio de computación