Programación declarativa: lógica y restricciones

De FIWIKI
Saltar a: navegación, buscar

Información de la asignatura.

Entorno desarrollo CIAO - Prolog

En el siguiente repositorio se encuentra un contenedor (docker) preparado con el entorno de desarrollo de ciao junto con una guía de instalación para S.O. basados en Unix.

En el siguiente enlace se encuentra una máquina virtual con el entorno de desarrollo de Ciao.

Introducción a la programación lógica.

Tema 1: Programación Lógica Pura

Tema 2: Prolog

Tema 3: Restricciones

Exámenes