Unificación - Programación Lógica - OpenFing

Cursos Actualizaciones FAQs Sobre el proyecto

Programación Lógica

Laboratorio 2024
Teórico 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

Unificación

Compartir

×

Iniciar en:

Terminar en:

15/03/2024 Ver más

Docente

Luis Chiruzzo

Instituto

Computación

Transcripción

Buscar en la transcripción

Cargando transcripción...

Todo el contenido de OpenFing es Creative Commons.