Cursos Actualizaciones FAQs Sobre el proyecto

Programación Lógica

Fundamentos Teóricos - Resolución y Sustitución

10/04/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

Todo el contenido de OpenFing es Creative Commons. Todos los derechos reservados.