Cursos Actualizaciones FAQs Sobre el proyecto

Programación Lógica

Teórico 2024 Laboratorio 2024 Teórico 2016

Introducción al Curso. Presentación de Prolog

Listas y Acumuladores

Predicados Aritméticos

Programación No Determinista

Fundamentos Teóricos - Cláusulas

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

Fundamentos Teóricos - Unificación

Fundamentos Teóricos - Árboles SLD

Predicados Metalógicos

Predicados de Segundo Orden y Extralógicos

Estructuras Incompletas

Gramáticas Lógicas

Programación Probabilista en Prolog

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

Compartir

×

Iniciar en:

Terminar en:

10/04/2024

Todo el contenido de OpenFing es Creative Commons.