TUD Logo

TUD Home » ... » Teaching » Winter Term 2018/19 » 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 9th, 2018 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.

Course material


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.


Master Computational Logic
MCL-LCP: Logic and Constraint Programming


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


For questions please contact Dr. Klüppelholz.

Last modified: 15th Jan 2019, 1.19 PM
Author: Dipl.-Math. Sascha Wunderlich