Declarative Constraint Programming
Antonio J. Fernández · INTELIGENCIA ARTIFICIAL · 2006
Recientemente, esta revista ha publicado una excelente monografia, [65], dedicada a los problemas de satisfaccion con restricciones. La monografia 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 integracion de restricciones en los lenguajes de programacion declarativos (especialmente los logicos). Este articulo describe el estado-del-arte de la programacion declarativa con restricciones (PDC) con especial enfasis en la integracion de restricciones en los lenguajes de programacion logicos. El articulo esta dirigido tanto a personas con conocimientos de PDC como a aquellos interesados en conocerla, y cubre sus origenes historicos, los fundamentos teoricos y las instancias mas populares dependientes del dominio de computacion.