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

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.
 

Content of UE

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.
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

The written exam will cover the theoretical and practical aspects of the cours, and counts for 100% of the global course grade.

Type of Assessment for UE in Q3

• Written examination

Q3 UE Assessment Comments

The written exam will cover the theoretical and practical aspects of the cours, and counts for 100% of the global course grade.