Compartir
×
Iniciar en:
Terminar en:
Cursos
Actualizaciones
FAQs
Sobre el proyecto
Programación Lógica
Conceptos Básicos: Unificación (parte 2). Ejemplos
27/03/2016
Descargar
Compartir
Teórico 2024
Laboratorio 2024
Teórico 2016
1
Información del Curso. Conceptos Básicos
2
Conceptos Básicos: Unificación (parte 1)
3
Conceptos Básicos: Unificación (parte 2). Ejemplos
4
Conceptos Básicos: Recursión
5
Listas
6
Listas y Acumuladores
7
Conceptos Básicos: Aritmética
8
Práctico 1
9
Fundamentos Teóricos: Lógica y Prolog
10
Fundamentos Teóricos: Programación Lógica
11
Fundamentos Teóricos: Resolución
12
Fundamentos Teóricos: Resolución y Árbol SLD
13
Generación y Chequeo
14
Programación no determinista (Ejemplo)
15
Predicados Metalógicos
16
Cut
17
Cut Verde, Cut Rojo. Aplicaciones
18
Predicados Extralógicos
19
Metaintérpretes
20
Resolución de Juegos
21
Estructuras Incompletas
22
Gramáticas Lógicas
23
Programación Lógica Inductiva
24
Programación Lógica Probabilista
