Logische Programmierung:
Erlernen und Verstehen des Konzepts der logischen Programmierung und deszugrundeliegenden Mechanismus von SLD-Resolution und Backtracking; erlernen von Techniken der logischen Programmierung und Verstehen von Problemen im Zusammenhang mit der logischen Programmierung.

Funktionale Programmierung:
Erlernen fundamentaler Prinzipien in der funktionalen Programmierung. Behandelte Themen sind unter anderem: higher-order functions, (tail)recursion, type inference, pattern matching, data abstraction.