Tutorial "Logic Programming Engineering"

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

News: About the Online Exam

Information about the upcoming online exam and mock exam are now published on the  OPAL website of this course. Please see "Course Material/Exam Information". More details will follow and will be published there once available.

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 28.10.2020 (noon).

Dates

The tutorial will have a first initial meeting on October 29th, 2020 in the 2. DS [9:20 am – 10:50 am] online. Please register in OPAL to receive further information. Students are then encouraged to visit this first vitual meeting to get more detailed information about the tutorial.

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