Learning outcomes
After the course a student is expected to able to
• to specify programs based on the logic programming paradigm
• to apply logic programming techniques
• to construct demanding logic programs in Prolog (the main logic programming language)
• to take into account the factors related to both efficiency and memory space utilization of processing
• to apply general good programming principles such as modularity, maintainability and reusability in the context of logic programming
Contents
The structure of a logic program and the connection of logic programming to mathematical logic. Logic programming of relational databases and deductive databases. Programming of recursive data types. A general processing model for logic programs. Logic programming techniques. Prolog-processing and exerting influence on it. Prolog-programming techniques. Self modifying Prolog-programs.
Teaching methods
| Teaching method | Contact | Online |
| Lectures | 41 h | 0 h |
| Exercises | 24 h | 0 h |
Teaching language
FinnishModes of study
- Degree Programme Students
- Other Students
- Open University Students
- Doctoral Students
- Exchange Students
Luennolla käsitellyt asiat
Written examination, a certain number of weekly exercises and three practise programs based on logic programming / Prolog. The only way to pass this course in English is to participate in the examination of the course in which the questions are given in English.
Evaluation
Numeric 1-5.Study materials
- Sterling & Shapiro, The Art of Prolog -Advanced Programming Techniques. The MIT Press 1994.
- Bratko I., Prolog Programming for Artificial Intelligence, Adison-Wesley 2002.
- Other materials announced later.
2018–2019