x !
Archived Curricula Guide 2011–2012
Curricula Guide is archieved. Please refer to current Curricula Guides
TKOPS114 Logic Programming 10 ECTS
Organised by
Computer Science
Preceding studies

Learning outcomes

The course familiarises students with the logic programming paradigm and its basic programming techniques. After the course students are able to construct demanding logic
programs using Prolog (the main logic programming language). After the course, students are able to take into account the factors related to the maintainability of a Prolog program as well as to its efficiency of processing and memory space utilisation.


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 39 h 0 h
Exercises 24 h 0 h

Teaching language


Modes of study

Written examination, a certain number of weekly exercises and three practise programs based on logic programming / Prolog.


Numeric 1-5.

Recommended year of study

3. year spring

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

Belongs to following study modules

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