SLC2015: El sistema deductivo de Prolog
En la sesión de hoy del Seminario de lógica computacional se explicado, a través de ejemplos, cómo el razonamiento de Prolog resuelve problemas computacionales.
Los ejemplos son de creciente nivel de complejidad empezando con la lógica proposicional, continuando con la relacional y terminando con la funcional.
Las transparencias utilizadas se encuentran aquí.