![]() | Study programme 2020-2021 | Français | |
![]() | Logical programmation | ||
Programme component of Master's in Computer Science à la Faculty of Science |
Students are asked to consult the ECTS course descriptions for each learning activity (AA) to know what special Covid-19 assessment methods are possibly planned for the end of Q3 |
---|
Code | Type | Head of UE | Department’s contact details | Teacher(s) |
---|---|---|---|---|
US-M1-INFO60-024-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
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.
Type of Assessment for UE in Q2
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
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.
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 | - I. Bratko. Prolog Programming for artificial intelligence, Addison-Wesley, 2011 - L. Sterling, E. Shapiro. The Art of Prolog: Advanced Programming Techniques, MIT Press, 1994 - Blackburn, Bos & Striegnitz. Learn Prolog Now! 2006 |
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 |