Las/os estudiantes que cursen esta asignatura adquieren conocimiento y destreza a la hora de representar y solucionar problemas variados en un paradigma de programación distinto del paradigma imperativo, que es el modelo estudiado en cursos anteriores.

1. Programación en Prolog. Introducción a la programación lógica: sintaxis y semántica operacional.

2. Definición recursiva de programas. Programas recursivos, pruebas y terminación.

3. Control en la programación lógica. El operador de corte y sus distintos usos. La negación en Prolog.

4. Otros aspectos de Prolog. Aritmética en Prolog, predicados metalógicos, entrada-salida.

5. Ejemplos de programas. Representación y resolución de problemas variados mediante Prolog.

6. Otras cuestiones. Áreas de aplicación. Ejemplos de aplicación relacionados con las bases de datos, los sistemas expertos, el lenguaje natural y formal, etc.

Para lograr los objetivos y competencias descritos, la metodología a seguir consiste en:

* La impartición de clases teóricas y clases prácticas.

* La realización continua de tareas en las cuales se llevan a la práctica los conceptos estudiados.

* El asesoramiento y seguimiento continuo de todas las tareas.

* La realización práctica de laboratorios/proyecto.

Se seguirán los criterios establecidos en la normativa vigente para la elección del sistema de evaluación (continua o final), y también para los cambios de sistema de evaluación (de continua a final). La modalidad de evaluación por defecto es evaluación continua. De hecho, la asignatura está orientada a la modalidad de evaluación continua.



=== Evaluación continua ===



La evaluación de la asignatura se realiza de la siguiente manera:

* 55% mediante pruebas escritas (3 pruebas escritas con un peso de 15%, 20% y 20% respectivamente).

* 45% mediante prácticas de laboratorio y proyecto.

Como requisito para aprobar la asignatura, será necesario obtener en cada apartado al menos el 50% de la calificación máxima y, además, 30% de la calificación máxima en cualquiera de las pruebas de laboratorio y proyecto.



=== Evaluación final ===



Se podrá solicitar el cambio de evaluación continua a evaluación final siempre y cuando no se haya evaluado un porcentaje igual o superior al 80% de la calificación final de la asignatura.



La evaluación final de la asignatura se realiza de la siguiente manera:

* 75% mediante un examen final, a realizar según el calendario oficial de exámenes

* 25% mediante proyecto, que deberá ser entregado antes de la fecha de examen según el calendario

oficial de exámenes.

Como requisito para aprobar la asignatura, será necesario obtener en cada apartado al menos el 50% de la calificación máxima.

El material disponible en el aula virtual (eGela) de la asignatura.

Bibliografía básica

* Leon S. Sterling and Ehud Y. Shapiro "The Art of Prolog - Advanced Programming Techniques"

ISBN: 9780262691055. The MIT Press, 1986. (https://mitpress.mit.edu/9780262691055/)

* Richard O'Keefe "The Craft of Prolog" ISBN: 9780262150392. The MIT Press, 1990. (https://mitpress.mit.edu/9780262150392/)

* William F. Clocksin and Christopher S. Mellish "Programming in Prolog" ISBN: 9783540175391 (fifth edition). Springer-Verlag, 2003.

* Pascual Julián and María Alpuente "Programación Lógica. Teoría y Práctica". ISBN: 9788483223680. Prentice Hall, 2007.

Bibliografía de profundización

* Ulf Nilsson and Jan Maluszynski"Logic, Programming and Prolog". ISBN: 9780471959960 (second edition). John Wiley & Sons Ltd, 2000. (https://www.ida.liu.se/~ulfni53/lpp/)
* Kim Marriott and Peter Stuckey "Programming with Constraints - An Introduction" ISBN: 9780262539081. The MIT Press, 1998. (https://mitpress.mit.edu/9780262539081/programming-with-constraints/)

Revistas

* Theory and Practice of Logic Programming (https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming)
* Journal of Logical and Algebraic Methods in Programming (https://www.sciencedirect.com/journal/journal-of-logical-and-algebraic-methods-in-programming)