x !
Arkistoitu opetussuunnitelma 2012–2015
Selaamasi opetussuunnitelma ei ole enää voimassa. Tarkista tiedot voimassa olevasta opetussuunnitelmasta.
TIETS06 Logic Programming 10 op
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
Recommended:
Corresponding course units in the curriculum
Informaatiotieteiden yksikkö
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

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

Finnish

Modes of study

Option 1
Available for:
  • Degree Programme Students
  • Other Students
  • Open University Students
  • Doctoral Students
  • Exchange Students
Exercise(s) 
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.

Evaluation

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

Informaatiotieteiden yksikkö
2015–2016
Teaching
Archived Teaching Schedule. Please refer to current Teaching Shedule.
-
Informaatiotieteiden yksikkö