x !
Archived Curricula Guide 2012–2015
Curricula Guide is archieved. Please refer to current Curricula Guides
TIETS06 Logic Programming 10 ECTS
Organised by
Degree Programme in Computer Sciences
Planned organizing times
Period(s) I II III IV
2012–2013 X X
2014–2015 X X
Preceding studies
Corresponding course units in the curriculum
School of Information Sciences
Curricula 2011 – 2012
TKOPS114 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
In English
Written exam 
In Finnish
Study materials 

Luennolla käsitellyt asiat

In English

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.

Belongs to following study modules

School of Information Sciences
Archived Teaching Schedule. Please refer to current Teaching Shedule.
School of Information Sciences