Este libro, al igual que el de Lloyd, profundiza en la programación lógica usando Prolog y atiende aplicaciones en inteligencia artificial.

por J. W. Lloyd · 1984
Ver sugerenciasSinopsis
Un libro fundamental sobre la programación lógica basado en la lógica de primer orden, explorando sus fundamentos teóricos y su uso como paradigma computacional.
Sé el primero en valorar este libro.
Libros relacionados según distintos criterios de búsqueda
Este libro, al igual que el de Lloyd, profundiza en la programación lógica usando Prolog y atiende aplicaciones en inteligencia artificial.
Ambos textos presentan un enfoque teórico sólido sobre la programación lógica, haciendo énfasis en los principios básicos del lenguaje Prolog.
Al igual que el de referencia, este libro ofrece una visión integral de la programación lógica, combinando teoría y prácticas con Prolog.
Similar al trabajo de Lloyd, este texto aborda los fundamentos de la programación lógica y sus conexiones con la teoría de la computación.