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.

Schedule 1st Part

Schedule 2nd Part

Material for the second part of this course is available at: http://cl-informatik.uibk.ac.at/teaching/ws05/idp/schedule.php

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