Ambos libros son introducciones a la programación lógica, destacando el uso de Prolog como lenguaje de referencia para explicar conceptos clave.
Introducción a la programación lógica con CLP(FD)
por Daniel Díaz · 2005
Ver sugerenciasSinopsis
Un texto que introduce la programación lógica con Constraint Logic Programming over Finite Domains (CLP(FD)), una extensión de Prolog para resolver problemas de satisfacción de restricciones de manera eficiente.
Sé el primero en valorar este libro.
Libros similares
Libros relacionados según distintos criterios de búsqueda
Este título se centra en fundamentos de programación lógica y Prolog, al igual que el libro de referencia, enfatizando su uso en la resolución de problemas.
Se presenta el uso de Prolog para resolver problemas, lo que refleja el enfoque en la resolución de restricciones del libro de referencia.
Proporciona una introducción amplia a Prolog, contrastando con lenguajes imperativos, similar a cómo el libro de referencia explora la programación lógica.
Destaca los principios de la programación lógica centrados en Prolog, alineándose con el enfoque del libro de referencia en conceptos fundamentales.
Conecta los principios de programación funcional y lógica a través de Prolog, resonando con la introducción a CLP(FD) en el libro original.