Referencias Bibliográficas: [Lloyd, 1993,Bratko, 1991]
Tópicos
- Programación Lógica
- Programación Lógica Avanzada
- La síntesis de programas a partir de especificaciones
Objetivos
- Presentar los conceptos fundamentales del paradigma de programación lógica
- Presentar algunas técnicas de Análisis y Depuración de programas lógicos
- Presentar una introducción a la programación automática.
Generado por Ernesto Cuadros-Vargas , Universidad Católica San Pablo, Arequipa-Perú
basado en el modelo de la Sociedad Peruana de Computación y en la Computing Curricula de IEEE-CS/ACM
