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

Dr. Klüppelholz

Language: 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 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

• 2018-10-09: Slides
• 2018-10-16: Exercises
• 2018-10-23: Exercises
• 2018-11-06: Exercises
• 2018-11-20: Exercises
• 2018-11-27: Exercises
• 2018-12-10: Exercises (Eratosthenes, Fibonacci, N-Queens)
• 2019-01-15: Exercises

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

Mailinglist

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

Contact

For questions please contact Dr. Klüppelholz.