Programación Lógica

Este es un curso introductorio sobre el paradigma de programación lógica, que es muy utilizado en al área de inteligencia artificial para el desarrollo de software inteligentes tales como sistemas expertos. Como tal, puede servir como curso base para otros cursos del área de inteligencia artificial. Este es un curso principalmente práctico. Primero se introducen los conceptos teóricos básicos que sustentan el paradigma de programación lógica, y luego se desarrollan múltiples ejemplos prácticos. Los estudiantes implementan tareas programadas en dos lenguajes de programación lógica: ASP y Prolog.