Objectives of Programme's Learning Outcomes

• Understand the fundamentals of computer science
• Show an understanding and deep knowledge of the concepts of computer science and mathematical formalisms used in the field of computer science
• Solve exercises and computer problems by applying basic knowledge in the various disciplines of computer science
• Use the vocabulary and the correct mathematical reasoning to formulate and solve problems in the field of computer science
• Demonstrate basic knowledge and know-how in related fields
• Have a good knowledge of English in order to read and understand scientific texts, especially in the field of computer science.
• Manage IT projects
• Apply appropriate technological and scientific ICT approaches
• Understand the fundamentals related to scientific methods
• Develop skills of abstraction and modelling through a conceptual and scientific approach

Learning Outcomes of UE

At the end of this course, the students should:
- be able to use the paradigm of logic programming, and understand its main characteristics;
- have gained a practical experience with the Prolog programming language;
- have understood the basic notations of constraint logic programming.
 

Content of UE

The logic programming paradigm is 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

Basic knowledge about programming languages. Practical experience with at least one programming language.
Cours prérequis:
- Bloc 1, Programmation et Algorithmique I, US-B1-SCINFO-007-M
- Bloc 1, Programmation et Algorithmique II, US-B1-SCINFO-008-M

Type of Assessment for UE in Q2

• Written examination

Q2 UE Assessment Comments

A written exam covering the theoretical and practical aspects of the cours, and counting for 100% of the total points of the course.

Type of Assessment for UE in Q3

• Written examination

Q3 UE Assessment Comments

A written exam covering the theoretical and practical aspects of the cours, and counting for 100% of the total points of the course.