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
Sterling & Shapiro, The Art of Prolog -Advanced Programming Techniques. The MIT Press 1994.
Bratko I., Prolog Programming for Artificial Intelligence, Adison-Wesley 2002.