Next: Temas para Exposición
Up: Document: 0_info
Previous: Terminales y Sistemas Reservados
- Introducción.
- Repaso lógica de predicados y resolución, resultados
teóricos principales.
- Programación relacional (lógica) pura.
- Semántica de programas lógicos.
- El lenguaje Prolog. Programación Prolog.
- (Opcional:) Introducción a la Programación lógica
con restricciones. El lenguaje CLP(R).
- Análisis de programas (lógicos) por interpretación
abstracta.
Last modification: Wed Nov 7 16:51:15 CET 2001 <webmaster@clip.dia.fi.upm.es>