Universidad de Córdoba

UNIVERSIDAD DE CÓRDOBA

Página inicial Datos personales Docencia Investigación Enlaces de interés Lista de actualizaciones

Programación Declarativa

Grado de Ingeniería Informática

Departamento de Informática y Análisis Numérico

Escuela Politécnica Superior de Córdoba

Curso académico: 2017 - 2018

Descripción de la asignatura
Material docente

Teoría
Prácticas
Trabajo de la asignatura

Exámenes
Enlaces
Avisos

DESCRIPCIÓN DE LA ASIGNATURA

Asignatura

Programación Declarativa

Titulación: Grado en Ingeniería Informática
Curso: cuarto

Cuatrimestre: primero

Asignatura optativa

6,0 créditos: 3'6 teóricos y 2'4 prácticos.

Profesor

Prof. Dr. Nicolás Luis Fernández García
Horario de tutoría

Horario y aulas de docencia

Aula B2 del edificio Ramón y Cajal
Horario

Lunes: 8:30 - 10:30 horas

Viernes: 12:00 - 14:00 horas

Nota:

El horario podrá ser modificado de acuerdo con los estudiantes.

MATERIAL DOCENTE

Teoría

Tema 1.- Introducción al lenguaje Scheme

Tema 2.- Expresiones y funciones

Primera función en Scheme: cuadrado.rkt

Tema 3.- Predicados y sentencias condicionales

Tema 4.- Iteración y recursión

Tema 5.- Tipos de datos compuestos

Vectores

Producto de matrices en Scheme: producto-matrices.rkt

Ejemplo de funciones con parámetros fijos u opcionales

suma.rkt

Tema 6.- Abstracción de datos

Tipo abstracto libro: libro.rkt
Tipo abstracto árbol: árbol.rkt

Tema 7.- Lectura y escritura

Programa de ejemplo de un "menú": programa-menu.rkt
Programa de ejemplo de gestión de donantes de sangre: donantes.rkt
Interacción entre ficheros y procedimientos

Tema 8: Introducción al lenguaje Prolog

Ejemplos de Prolog

Tema 9.- Elementos básicos de Prolog

Ejemplos de Prolog

Tema 10.- Listas

Ejemplos de Prolog

permutar_1.pl

permutar_2.pl

reinas.pl

Tema 11: La reeveluacion y el corte

Ejemplos de Prolog

Generación de múltiples soluciones

Uso de repeat

El corte y equivalencia con not

Aplicaciones del corte

Evita la búsqueda de soluciones alternativas
inexistentes

funcion.pl

Confirmar el uso de una regla

Provocar un fallo inmediato

Uso del condicional "->"

condicional.pl

Tema 12.- Lectura y escritura

Escribir

ejemplo.pl

escribir1.pl

escribir2.pl

escribir3.pl

Leer y escribir

padre.pl

Prácticas

Scheme:

Práctica 1. Introducción al lenguaje Scheme
Práctica 2. Predicados y sentencias condicionales
Práctica 3. Iteración, recursión y funciones usadas como parámetros o devueltas como resultados
Práctica 4. Tipos compuestos de datos y funciones con argumentos opcionales
Práctica 5. Tipos abstractos de datos y lectura y escritura

Prolog

Práctica 6. Introducción al lenguaje Prolog.
Comandos básicos de swi-Prolog

Trabajo de la asignatura

Representación gráfica en Scheme:

Documentación y ejemplos

PLT Miscellaneous Libraries: Reference Manual
Rodríguez Lozano, F. J. Representación gráfica en Scheme
Ejemplos

Ejemplo 1: se usa una función "recursiva" para dibujar una función
Ejemplo 2: se usa una función "iterativa" para dibujar una función
Ejemplo 3: se usa una función "iterativa" para dibujar varias funciones en la misma ventana
Ejemplo 4: se usa una función "iterativa" para dibujar varias funciones en diferentes ventanas
Ejemplo 5: se dibuja la integral definida de una función
Ejemplo 6: se dibuja la integral definida de varias funciones
Ejemplo 7: se dibujan figuras geométricas (con o sin relleno)
Ejemplo 8: se dibuja una casa
Ejemplo 9: se simula el movimiento de un círculo

EXÁMENES

Primera convocatoria:

Aula P1 del edificio Ramón y Cajal

16 de enero de 2018

9:00 horas

Segunda convocatoria:

Aula P1 del edificio Ramón y Cajal
6 de febrero de 2018
9:00 horas

ENLACES DE INTERÉS

Presentación de la asignatura

Calendario académico oficial: curso 2017 - 2018
Página de moodle de la asignatura: pendiente de creación

Scheme

Revised5 Report on the Algorithmic Language Scheme
Manual de referencia en español (elaborado por el departamento de Ciencias de la computación e inteligencia artificial de la Universidad de Sevilla)

Structure and Interpretation of Computer Programs, Abelson y Sussman, MIT Press 1996
Dybvig, R. K. The Scheme Programming Language.

Second edition. Prentice Hall

Third edition. Prentice Hall

Dorai Sitaram. Teach Yourself Scheme in Fixnum Days
Practical Scheme
Scheme in MIT

Información relativa a DrScheme

http://racket-lang.org/ (nuevo nombre de http://www.drscheme.org)

http://www.cs.rice.edu/CS/PLT

Información relativa a DrRacket

Racket Documentation

Prolog:

Alain Colmerauer and Philippe Roussel, 1992. The birth of Prolog.
Página principal de swi-prolog

Comandos básicos de swi-prolog
Manual de referencia de swi - prolog: swirefman.pdf.
Fichero de instalación de swi - prolog en diferentes sistemas operativos.
Editor de swi-prolog para windows

Logisch Programmeren en Zoektechnieken

Lecture slides

Krzysztof R. Apt. 2001. The logic programming paradigm and Prolog. Centrum voor Wiskunde en Informatica, CWI, Amsterdam,
Patrick Blackburn, Johan Bos y Kristina Striegnitz, 2005. Learn Prolog Now!
Ivan Bratko, 2000. Prolog Programming for Artificial Intelligence (3ed). Addison-Wesley.
Paul Brna, 2001. Prolog Programming: A First Course.
William F. Clocksin y Chris S. Mellish. 2003.Programación en Prolog (5th ed.). Springer
J.R. Fisher.Tutorial de prolog
Werner Hett, 2001.Logic Programming and Prolog.
Werner Hett, 2001. P-99: Ninety-Nine Prolog Problems. Biel School of Engineering
J.P.E. Hodgson, 1999. Prolog: The ISO Standard. Inria Rocquencourt
Dennis Merritt, 1996.Adventure in Prolog. Amzi Inc
Ulf Nilsson y Jan Maluszynski. 1995.Logic, Programming and Prolog (2ed). John Wiley & Sons.
J.M. Spivey, 1996. An Introduction to Logic Programming through Prolog. Prentice Hall
Leon Sterling y Ehud Shapiro. 1994. The Art of Prolog (2ed). MIT Press. Código fuente, soluciones
Bill Wilson, 2006. The Prolog Dictionary.University of New South Wales

AVISOS

En esta sección, se publicarán noticias relacionadas con la asignatura.