Temas
1. Introducción a la programación lógica con Prolog
- Tema 1: Introducción a Prolog.
- Tema 2: Listas, operadores y aritmética.
- Tema 3: Estructuras.
- Tema 4: Retroceso, corte y negación.
- Tema 5: Programación lógica de orden superior.
- Tema 6: Estilo y eficiencia en programación lógica.
- Tema 7: Aplicaciones (Grafos, reinas y mapas).
- Tema 8: Resolución de problemas de espacios de estados.
- Tema 9: Programación lógica con restricciones.
- Tema 10: Formalización en Prolog de la lógica proposicional.
2. Inteligencia artificial con Prolog
- Tema 11: Agentes inteligentes (representación y razonamiento).
- Tema 12: Búsqueda general en espacio de estados.
- Tema 13: Razonamiento con conocimiento estructurado.
- Tema 14: Programación de metaintérpretes.
- Tema 15: Procesamiento de lenguaje natural.
- Tema 16: Razonamiento con información incompleta.
- Tema 17: Aprendizaje automático.