 | Study programme 2021-2022 | Français | |
 | Logic programming | ||
Programme component of Master's in Computer Science à la Faculty of Science |
| Code | Type | Head of UE | Department’s contact details | Teacher(s) |
|---|---|---|---|---|
| US-M1-SCINFO-056-M | Optional UE | MENS Tom | S852 - Génie Logiciel |
|
| Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Credits | Weighting | Term |
|---|---|---|---|---|---|---|---|---|---|
| Français | 15 | 0 | 15 | 0 | 0 | 3 | 3.00 | 2nd term |
| AA Code | Teaching Activity (AA) | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term | Weighting |
|---|---|---|---|---|---|---|---|---|
| S-INFO-804 | Logical Programming | 15 | 0 | 15 | 0 | 0 | Q2 | 100.00% |
| Programme component |
|---|
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.
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.
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.
Type of Teaching Activity/Activities
| AA | Type of Teaching Activity/Activities |
|---|---|
| S-INFO-804 |
|
Mode of delivery
| AA | Mode of delivery |
|---|---|
| S-INFO-804 |
|
Required Reading
| AA | |
|---|---|
| S-INFO-804 |
Required Learning Resources/Tools
| AA | Required Learning Resources/Tools |
|---|---|
| S-INFO-804 | All required learning resources and tools are available on Moodle, the online e-learning platform of UMONS. |
Recommended Reading
| AA | |
|---|---|
| S-INFO-804 |
Recommended Learning Resources/Tools
| AA | Recommended Learning Resources/Tools |
|---|---|
| S-INFO-804 | All recommended learning resources and tools are available on Moodle, the online e-learning platform of UMONS. |
Other Recommended Reading
| AA | Other Recommended Reading |
|---|---|
| S-INFO-804 | Recommended references will be indicated in the course material. |
Grade Deferrals of AAs from one year to the next
| AA | Grade Deferrals of AAs from one year to the next |
|---|---|
| S-INFO-804 | Unauthorized |