Compartir
×
Iniciar en:
Terminar en:
Cursos
Actualizaciones
FAQs
Sobre el proyecto
Programación Lógica
Fundamentos Teóricos - Resolución y Sustitución
10/04/2024
Descargar
Compartir
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
13
Estructuras Incompletas
14
Gramáticas Lógicas
15
Programación Probabilista en Prolog
