Cursos Actualizaciones FAQs Sobre el proyecto

Programación Lógica

Unificación

15/03/2024

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

Todo el contenido de OpenFing es Creative Commons.