1. Breve introducción a la lógica clausal.
2. Básicos de Prolog.
2.1 Hechos y reglas. Reglas recursivas.
2.2 Búsqueda de soluciones. Trazas.
2.3. Negación como fallo.
2.4. Operaciones aritméticas.
3. Aplicaciones de Prolog.
3.1 Procesamiento del lenguaje natural.
3.2 Aprendizaje automático.
4. Reflexiones filosóficas sobre aspectos controvertidos de la Programación Lógica.
Blackburn, P., Bos, J., Striegnitz, K., Learn Prolog Now!, College Publications, 2006.
Clocksin & Mellish, Programación en Prolog. Gustavo Pili, 1993.
Flach, P., Simply Logical. Intelligent Reasoning by Example. John Wiley, 1994.
Pereira, F.C.N, Shieber, S.M., Prolog and Natural-Language Analysis. Microtome Publishing, 2002.
Pereira, L. M. ‘The Philosophical Relevance of Logic Programming’, Gabbay, D. et al. (eds.), Handbook of the Logic of Argument and Inference. Studies in Logic and Practical Reasoning series, vol. I, pp 425-448. Elsevier Science, 2002. Traducción en Agora, Papeles de Filosofía, vo. 26, 1, 2007, 153-185.
Poole, D., Mackworth, A., Goebel, R., Computational Intelligence: A Logical Approach. Oxford University Press, 1998.
Shonning, U., Logic for Computer Scientists. Birkhäuser, 1989.
Bratko, I., Prolog Programming for Artificial Intelligence, Addison-Wesley, 1990, 2nd. ed.
Coelho, H., Prolog by example:how to learn, teach and use it. Springer-Verlag, 1988.
Covington, M. A., Nute, D. Vellino, A., Prolog programming in depth. Prentice-Hall, 1997.
Covington, M., Natural Language Processing for Prolog Programmers. Englewood Cliffs, 1994.
Dahl, V. & Sobrino, A (eds.), Estudios sobre programación lógica y sus aplicaciones. Servicio de Publicaciones de la USC, 1996.
CB7. Que los estudiantes sepan aplicar los conocimientos adquiridos y su capacidad de resolución de problemas en entornos nuevos o poco conocidos dentro de contextos más amplios (o multidisciplinares) relacionados con su área de estudio
CB8. Que los estudiantes sean capaces de integrar conocimientos y enfrentarse a la complejidad de formular juicios a partir de una información que, siendo incompleta o limitada, incluya reflexiones sobre las responsabilidades sociales y éticas vinculadas a la aplicación de sus conocimientos y juicios.
CB9. Que los estudiantes sepan comunicar sus conclusiones –y los conocimientos y razones últimas que las sustentan- a públicos especializados y no especializados de un modo claro y sin ambigüedades.
CB10. Que los estudiantes poseerán las habilidades de aprendizaje que les permitan continuar estudiando de un modo que habrá de ser en gran medida autodirigido o autónomo.
CG1 Que los estudiantes sean capaces de crear documentaciones legibles, completas, técnicamente correctas. Elaborar trabajos de investigación homologables con el nivel internacional actual de las disciplinas.
CE1. Identificar los conocimientos tradicionales y actuales que se plantean en el área de Lógica y filosofía de la Ciencia, así como de sus diferentes corrientes y tradiciones.