TUD Logo

TUD Home » ... » Teaching » Winter Term 2017/18 » Tutorial “Logic Programming Engineering”

Chair of Algebraic and Logical Foundations of Computer Science

Tutorial “Logic Programming Engineering” (0/2/0)

Dr. Klüppelholz

Language: English


This is a Prolog programming tutorial supplementing the course “ Foundations of Logic Programming” (FLP). The goal of the tutorial is to learn advanced programming techniques in Prolog for building complex applications.


The tutorial will have a first initial meeting at October 10th, 2017 in the 4. DS [13:00 am – 14:30 pm] in APB/E067. Students are encouraged to visit this first meeting to get detailed information about and to register for the tutorial.


Knowledge in computer science on Bachelor level and comprehensive knowledge in logic and programming is required. Students should make sure that they have a working ZIH account.


Bachelor Informatik
INF-B-510: Vertiefung in der Informatik
Master Computational Logic
MCL-LCP: Logic and Constraint Programming


Please subscribe to the mailing list if you are attending this tutorial.

Slides and Exercises


For questions please contact Dr. Klüppelholz.

Last modified: 30th Jan 2018, 1.43 PM
Author: Dipl.-Inf. Steffen Märcker