Tutorial "Logic Programming Engineering"

Dr. Sascha Klüppelholz, Prof. Sebastian Rudolph
SWS: (0/2/0), in English

News and Important Updates

The kickoff to the tutorial [Oct. 12th, 4th timeslot] will be held online via BigBlueButton.

Description

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.

Registration

Enrolling via OPAL is required until October 11th 2021.

Date and Place

The tutorial will either take place in APB/E069 or online, depending on the COVID-19 situation. Further information will follow soon. Please register via OPAL. The reserved time slot is in any case Tuesdays, 4. time slot [1:00 pm – 2:30 pm].

Prerequisites

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.

Creditability

Master Computational Logic

• MCL-LCP: Logic and Constraint Programming

Master Computational Modeling and Simulation

• CMS-LM-BAS: Foundations of Logical Modeling

Diplom Informatik

• INF-BAS2: Künstliche Intelligenz

Contact