Objectives of Programme's Learning Outcomes

• Have acquired highly specialised and integrated knowledge and broad skills in the various disciplines of computer science, which come after those within the Bachelor's in computer science.
• Develop and integrate a high degree of autonomy.
• Pursue further training and develop new skills independently.

Learning Outcomes of UE

Logic programming is a programming paradigm that is largely based on formal logic. At the end of this course, students will:
- be able to use the logic programming paradigm, and understand its main features;
- have gained practical experience with logic programming in the Prolog programming language;
- understand the basic concepts of constraint logic programming.
 

UE Content: description and pedagogical relevance

Logic programming allows to write software applications based on the formalism of mathematical logic. A logic program is described declaratively rather than imperatively, by defining a set of logical rules and facts that are interpreted by an inference engine that deals with finding all possible solutions to the problem described. Logic programming is particularly adapted to the needs of artificial intelligence. During the course you will learn the main concepts of logic programming, such as unification, resolution, backtracking and other more advanced aspects. You will also study a more advanced variant of logic programming, called constraint logic programming. The Prolog language will be used throughout the course to put into practice the studied concepts.

Prior Experience

Students should already have gained a basic knowledge about programming, and have had practical experience with at least one programming language.