Subject Matter

In this course you will gain hands-on experience using two complementary paradigms for declarative programming, namely logic programming and functional programming. In the logic programming part, we will start with some foundations such as resolution and unification. Furthermore, we will get familiar with the logic programming language PROLOG and explore its features by practical examples.
The latter part of the course will provide an introduction to functional programming using Objective CAML. We will discuss basic notions like recursion and higher-order functions as well as the implementation of functional programming languages.

Material

• Week 1: slides homework
• Week 2: slides homework
• Week 3: slides homework
• Week 4: slides slides(4up) fonts homework
• Week 5: slides slides(4up) fonts homework
• Week 6: slides (wrap-up) slides(4up) fonts

Lecturer

Axel Polleres
axel.polleres@deri.org
Nao Hirokawa
nao.hirokawa@uibk.ac.at

Time

Fridays, 10:00 am to 1:00 pm, RR15

Language

English