Code | Lecturer(s) | Associate Lecturer(s) | Subsitute Lecturer(s) et other(s) |
---|---|---|---|
S-INFO-804 |
|
Language of instruction | Language of assessment | HT(*) | HTPE(*) | HTPS(*) | HR(*) | HD(*) | Term |
---|---|---|---|---|---|---|---|
Français | Français | 15 | 0 | 15 | 0 | 0 | Q2 |
Contents
The history of logic programming.
The formal foundations of logic programming and its relation to mathematical logic.
The control and data structures used in logic programming.
The syntax and semantic of the programming language Prolog.
Required Learning Resources/Tools
All learning resources and tools are available on Moodle, the online e-learning platform of UMONS.
Recommended Learning Resources/Tools
Not applicable
Other Recommended Reading
- I. Bratko. Prolog Programming for artificial intelligence, Addison-Wesley, 2011
- L. Sterling, E. Shapiro. The Art of Prolog: Advanced Programming Techniques, MIT Press, 1994
Mode of delivery
- Face to face
Term 1 Assessment - type
- N/A
Term 1 Assessment - comments
Not applicable
Term 2 Assessment - type
- Written examination
Term 2 Assessment - comments
Not applicable
Term 3 Assessment - type
- Written examination
Term 3 Assessment - comments
Not applicable
Resit Assessment - Term 1 (B1BA1) - Comments
Not applicable
Type of Teaching Activity/Activities
- Cours (cours magistraux; conférences)
- Préparations, travaux, recherches d'information