Mª del Carmen  de Castro Cabrera (coordinadora)

* Conocer el paradigma declarativo de la programación, en general y la
programación lógica en concreto, como alterntiva a otros tipos de programación
* Conocer los orígenes y la base teórica de la programación lógica.
* Aprender el lenguaje de programación Prolog.
* Ser capaces de resolver diversos problemas realizando programas en Prolog que
los resuelvan.
* Manejar material relacionado con la asignatura en lengua inglesa.
* Conocer aplicaciones prácticas de este tipo de programación

PROGRAMA TEÓRICO

TEMA 1: INTRODUCCIÓN. (2 h.)
1.1 Objetivos e historia de la Lógica.
1.2.Tipos de Lógicas.
1.3.Limitaciones y posibilidades de la lógica en Computación.
1.4. Lenguaje, Semántica.
1.3. Teoría de la Demostración versus Teoría de Modelos.
1.4. La automatización de las Deduciones.

TEMA 2: LÓGICA PROPOSICIONAL.  (4 hrs)
2.1. Lenguaje.
2.2. Semántica.
2.2.1. Validez, Satisfacibilidad.
2.2.2. Equivalencia lógica.
2.2.3. Formas Normales
2.3. Sistemas de Demostración.
2.3.1 De razonamiento directo.
2.3.2. De Refutación.

TEMA 3: LÓGICA DE PREDICADOS DE PRIMER ORDEN. (4 hrs.)
3.1. Lenguaje.
3.2. Semántica.
3.2.1. Validez, Satisfacibilidad.
3.2.2. Equivalencia lógica.

TEMA 4: FORMA LÓGICA CLAUSAL.  (2 hrs)
4.1. Forma Normal Prenexa.
4.2. Form Normal de Skolem.
4.3. Cláusulas.

TEMA 5: MODELOS DE HERBRAND.  (4 hrs)
5.1. Dominio y Base de Herbrand.
5.2. Interpretaciones de Herbrand.
5.3. Árboles Semánticos.
5.4. Teorema de Herbrand.


TEMA 6: RESOLUCIÓN.  UNIFICACIÖN (6 hrs.)
6.1. Resolución básica.
6.2. El Algoritmo de Unificación.
6.3. Resolución de átomos no básicos.

TEMA 7: RESOLUCIÓN SLD.  (3 hrs)
7.1. Cláusulas Horn.
7.2. Programa lógico.



PROGRAMA DE PRÁCTICAS.

TEMA 1: INTRODUCCIÓN AL PROLOG. (4 hrs.)
Historia. Sintáxis y Semántica básicas.Backtracking. Manejo del
entorno

de  programación. Programas simples.

TEMA 2: PROGRAMACIÓN RECURSIVA.  (6 hrs).
Concepto de recursividad. Representación en Prolog. Recursividad
directa.

Recursividad final. Listas. Predicados relacionados con listas.

TEMA 3: OTRAS ESTRUCTURAS DE DATOS. ENTRADA / SALIDA (6 hrs.)
Representación de grafos y árboles. Bases de datos. Predicados de
gestión
de cadenas. Predicados de entrada/salida.

TEMA 4: CONTROL DE EJECUCIÓN. ( 5 hrs)
Control de ejecución natural. Predicados de control predefinidos.Usos.

TEMA 5: APLICACIONES.(4 hrs)

En las clases de teoría: explicación de los contenidos en pizarra  o en
cualquier otro medio audiovisual y  realización y propuesta de ejercicios así
como  su corrección. Lectura y debate de documentos relacionados con la
asignatura. Se utilizará el aula virtual para facilitar documentos que
complementen las clases, comunicación con los alumnos (a través del correo y los
foros), para realizar, ocasionalmente, tests de autoevaluación y para
actividades que tengan como objetivo mejorar el aprendizaje del alumno y/o la
docencia del profesor.

En las practicas: explicación de las características propias del lenguaje
lógico a utilizar y, propuesta y resolución de problemas en el ordenador.
Algunos de estos problemas propuestos podrían resolverlos en grupos.

1. Se evaluará la consecución de los objetivos mediante el examen final de la
asignatura en la convocatoria oficial. Dicho exámen consta de una parte teórica
y otra práctica.

2. Por otro lado, el alumnado que asiste regularmente a clase (al menos al 80%
de las sesiones) podrá optar por aprobar la asignatura mediante una evaluación
continua, superando la realización de cada uno de los ejercicios, controles y/o
trabajos (individuales y en grupo), propuestos durante el cuatrimestre. La nota
final de esta modalidad de evaluación será:
90% de la calificación final. Es la media de las notas obtenidas en cada uno
de los ejercicios, controles o trabajos entregados.
10% de la calificación final: Asistencia como mínimo al 80% de las sesiones.

En esta modalidad de evaluación,se podrán proponer trabajos y/o ejercicios
opcionales que,en caso de evaluarse positivamente, supondrán un incremento en
la nota final.
En la modalidad de evaluación continua, si la calificación final es igual o
mayor a 5, el alumno no tendrá que realizar el examen final de la asignatura.

BIBLIOGRAFÍA BÁSICA:

- C.J. HOGGER.
'ESSENTIALS OF LOGIC PROGRAMMING'.
CLARENDON PRESS. OXFORD 1990.

- M. OJEDA ACIEGO, I. PÉREZ DE GUZMAN
‘LÓGICA PARA LA COMPUTACIÓN’ (VOL.1)
AGORA UNIVERSIDAD,1993.


- G. AGUILERA VENEGAS, I. PÉREZ DE GUZMAN
‘LÓGICA PARA LA COMPUTACIÓN’ (VOL. 2)
AGORA UNIVERSIDAD, 1997


- J. PIZARRO, J.A. JIMENEZ, M.C.DE CASTRO.
‘INTRODUCCIÓN A LA PROGRAMACIÓN LÓGICA’
DTO. LENGUAJES Y SISTEMAS INFORMÁTICOS, 1997


- LEON STERLING Y EHUD SHAPIRO.
'THE ART OF PROLOG' SECOND EDITION
THE MIT PRESS. 1994

- W.F.CLOCKSIN Y C.S. MELLISH.
'PROGRAMACIÓN EN PROLOG'.
GUSTAVO GILI S.A. BARCELONA 1993.

-  William Clocksin,
'CLAUSE AND EFFECT: Prolog Programming for the working programers'
Ed. Springer,1997.


BIBLIOGRAFÍA COMPLEMENTARIA:

-Arenas Alegría, L. 'Lógica formal para Informáticos', ed. Diaz de Santos,
1996.

-Chang, C., Char-Tung-Lee, R. 'Symbolic Logic and Mechanical Theorem
Proving',

Academic Press, 1987.

- R.KOWALSKY.
'LÓGICA, PROGRAMACIÓN E INTELIGENCIA ARTIFICIAL'.
DIAZ DE SANTOS. 1986

- T. VAN LE.
'TÉCNIQUES OF PROLOG PROGRAMMING'.
JOHN WILEY & SONS 1993

- IVAN BRATKO.
'PROLOG. PROGRAMMING FOR ARTIFICIAL INTELIGENCE'.
ADDISON WESLEY 2001.

- F. PEREIRA Y S.M. SHIEBER.
'PROLOG AND NATURAL-LANGUAGE ANALYSIS'.
CLSI 1987.