Cursos
Actualizaciones
FAQs
Sobre el proyecto
Programación Lógica
Teórico 2024
Laboratorio 2024
Teórico 2016
1
Introducción al Curso. Presentación de Prolog
2
Unificación
3
Listas y Acumuladores
4
Predicados Aritméticos
5
Programación No Determinista
6
Fundamentos Teóricos - Cláusulas
7
Fundamentos Teóricos - Resolución y Sustitución
8
Fundamentos Teóricos - Unificación
9
Fundamentos Teóricos - Árboles SLD
10
Cut y Not
11
Predicados Metalógicos
12
Predicados de Segundo Orden y Extralógicos
