Material sobre programación lógica de la asignatura "Programación Declarativa"

Abstract

Material relativo a *programación lógica* de la asignatura "Programación Declarativa", impartida en el 3er curso del Grado en Ingeniería Informática. Se trata de una introducción básica al lenguaje *Prolog* utilizando el entorno SWISH-Prolog. Incluye descripción, objetivos, planificación, presentaciones, bibliografía, ejercicios, prácticas y exámenes (con soluciones propuestas). Una vez descomprimido el fichero facilitado en su ordenador, el fichero INICIO.pdf le permitirá acceder, mediante enlaces, a todo el material (usando un lector de pdfs adecuado para ello).