The aim of this subject is to learn, using PROLOG language, the main characteristics of Logic Programming, part of the declarative programming paradigm.

It is an optional subject taught in the fourth year that complements the basic subjects in the Programming line, and offers a broader vision of this line.

Students who take this subject acquire knowledge and skills for representing and solving a range of problems in a different programming paradigm from the imperative one, which is the model studied in previous years.

Theme 1. Programming in Prolog. Introduction to logic programming: operational syntax and semantics.

Theme 2. Recursive definition of programs. Recursive programs, tests and completion.

Theme 3. Ccontrol in logic programming. The cutting operator and its different uses. Negation in Prolog.

Theme 4. Other aspects of Prolog. Arithmetic in Prolog, metalogical predicates, input-output.

Theme 5. Examples of programs. Representation and resolution of various problems using Prolog.

Theme 6. Areas of application. Examples of applications related to databases, expert systems, natural and formal language, etc.

To achieve the aims and competences described above, the methodology consists of:

- Theoretical and practical classes.

- The performance of a series of tasks during the course, in which the concepts studied are examined in practice and exercises are solved.

- Continuous monitoring of the tasks carried out by the students is done by the professor.

- One set of practical work (optional) on a subject chosen by the student.

• Continuous Assessment System
• Final Assessment System
• Tools and qualification percentages:
  • Written test to be taken (%): 55
  • Realization of Practical Work (exercises, cases or problems) (%): 45

- Assessment is continuous: a series of tasks done by the students throughout the course will be evaluated, consisting of two written tests (5.5 points on the final mark) and practical laboratory exercises (4.5 points on the final mark).

Both parts must be passed (written tests and laboratory exercises) to pass the subject under continuous evaluation. There is also the option of carrying out practical work to improve one’s mark.



- The option of an overall assessment also exists, in which a written test represents 100% of the mark.

In this evaluation, only the overall assessment (written test representing 100% of the mark) will be taken into account.

- The LP subject is followed through the eGela platform. It contains all the material provided by the professor: notes on the subject and a list of exercises and tasks to be performed in the laboratories.

- Software: SWI-Prolog. For any queries/downloads, visit the home page: http://www.swi-prolog.org

Basic bibliography

Clocksin, W.F.; Mellish, C.S. Programming in Prolog, 2º ed. Springer-Verlag, 1986



Julián P.; Alpuente, M. Programación Lógica. Teoría y Práctica. Pearson Educación, 2007

In-depth bibliography

Nilsson, U.; Maluszynski, J. Logic, Programming and Prolog (2ed). ©2002

Kim Marriott and Peter J. Stuckey Programming with Constraints: an Introduction, MIT Press, 1998

Journals

The Journal of Algebraic and Logic Programming

Web addresses

http://www.swi-prolog.org

http://www.ida.liu.se/~ulfni/lpp/foils.pdf