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.