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

Evaluation

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