x !
Archived Curricula Guide 2017–2019
Curricula Guide is archieved. Please refer to current Curricula Guides
TIETS06 Logic Programming 10 ECTS
Organised by
Degree Programme in Computer Sciences
Preceding studies
Corresponding course units in the curriculum
School of Information Sciences
Curricula 2015 – 2017
TIETS06 Logic Programming 10 ECTS

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


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


Modes of study

Option 1
Available for:
  • Degree Programme Students
  • Other Students
  • Open University Students
  • Doctoral Students
  • Exchange Students
In Finnish
Written exam 
In Finnish
Study materials 

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.


Numeric 1-5.

Study materials

  1. Sterling & Shapiro, The Art of Prolog -Advanced Programming Techniques. The MIT Press 1994.
  2. Bratko I., Prolog Programming for Artificial Intelligence, Adison-Wesley 2002.
  3. Other materials announced later.
Archived Teaching Schedule. Please refer to current Teaching Shedule.
Faculty of Natural Sciences