Programación lógica – Pascual Iranzo / María Frasnedo [PDF][MEGA]

Programación lógica: Teoría y práctica – Pascual Julián Iranzo / María Alpuente Frasnedo

1. Una panorámica de la programación declarativa
2. Sistemas formales, lógica y lenguajes de programación
3. De la demostración automática a la programación lógica (I): Introducción y métodos semánticos
4. De la demostración automática a la programación lógica (II): El principio de resolución de Robinson
5. Programación lógica
6. El lenguaje prolog: Introducción
7. El lenguaje prolog: Aspectos avanzados
8. Representación del conocimiento
9. Resolución de problemas
10. Programación lógica y tecnología software rigurosa


Nombre del archivo: 0085-PRLT




No hay comentarios.:

Publicar un comentario