Master Seminar: Programming in Prolog (SoSe 2026)

Seminar 2 hours, Instructor: Prof. Dr. François Bry

Overview

Prolog is a declarative programming language based on a fragment of first-order logic and a restricted form of resolution proofs. Prolog departs from classical mathematical logic in a few aspects, most notably in its treatment of negation. Prolog is used in rapid prototyping—among other applications of databases—, knowledge representation, and symbolic artificial intelligence—among others causal reasoning and explainable artificial intelligence. The seminar aims at discovering Prolog, understanding Prolog's semantics, and learning typical Prolog programming techniques. The seminar talks are expected to be given in English. The seminar reports can be written in English or German. Seminar talks and reports will be prepared either by two students working in team, or by a single student. The seminar will have 10 presentation and 12 venues.