x !
Archived Curricula Guide 2008–2010
Curricula Guide is archieved. Please refer to current Curricula Guides
TKOPS114 Logic Programming 10 ECTS
Organised by
Computer Science
Planned organizing times
Period(s) I II III IV
2008–2009 X X
2009–2010 X X
Preceding studies
Recommended:

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.

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

Teaching language

Finnish

Modes of study

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

Evaluation

Numeric 1-5.

Recommended year of study

3. year spring

Study materials

Sterling-Shapiro, The Art of Prolog -Advanced Programming Techniques. The MIT Press 1994.

Belongs to following study modules

Department of Computer Sciences
1.2 Optional advanced courses in computer science (Computer Science)
Department of Computer Sciences
The rest of the compulsory courses should be selected from these (Computer Science)
Department of Computer Sciences
1.1 Compulsory advanced courses in information management (Computer Science)
2010–2011
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
-
Department of Computer Sciences