Study programme 2021-2022Français
Logic programming
Programme component of Master's in Computer Science à la Faculty of Science

CodeTypeHead of UE Department’s
contact details
Teacher(s)
US-M1-SCINFO-056-MOptional UEMENS TomS852 - Génie Logiciel
  • MENS Tom

Language
of instruction
Language
of assessment
HT(*) HTPE(*) HTPS(*) HR(*) HD(*) CreditsWeighting Term
  • Français
Français150150033.002nd term

AA CodeTeaching Activity (AA) HT(*) HTPE(*) HTPS(*) HR(*) HD(*) Term Weighting
S-INFO-804Logical Programming1501500Q2100.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

Method of calculating the overall mark for the Q2 UE assessment

The overall grade will be the grade obtained during the written exam.

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

Method of calculating the overall mark for the Q3 UE assessment

The overall grade will be the grade obtained during the written exam.

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

AAType of Teaching Activity/Activities
S-INFO-804
  • Cours magistraux
  • Conférences
  • Préparations, travaux, recherches d'information

Mode of delivery

AAMode of delivery
S-INFO-804
  • Face to face

Required Reading

AA
S-INFO-804

Required Learning Resources/Tools

AARequired Learning Resources/Tools
S-INFO-804All 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

AARecommended Learning Resources/Tools
S-INFO-804All recommended learning resources and tools are available on Moodle, the online e-learning platform of UMONS.

Other Recommended Reading

AAOther Recommended Reading
S-INFO-804Recommended references will be indicated in the course material.

Grade Deferrals of AAs from one year to the next

AAGrade Deferrals of AAs from one year to the next
S-INFO-804Unauthorized
(*) HT : Hours of theory - HTPE : Hours of in-class exercices - HTPS : hours of practical work - HD : HMiscellaneous time - HR : Hours of remedial classes. - Per. (Period), Y=Year, Q1=1st term et Q2=2nd term
Date de génération : 17/09/2021
20, place du Parc, B7000 Mons - Belgique
Tél: +32 (0)65 373111
Courriel: info.mons@umons.ac.be