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 vonProblemen 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.