Tutorial "Logic Programming Engineering"

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

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.

Dates

The tutorial will have a first initial meeting at October 15th, 2019 in the 4. DS [13:00 – 14:30] in APB/E067. Students are encouraged to visit this first meeting to get detailed information about and to register for 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

Bachelor Informatik

• INF-B-510: Vertiefung

Master Computational Logic

• MCL-LCP: Logic and Constraint Programming

Mailinglist

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

Course MATERIAL

The course material can be found in the this directory.

Contact