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 October, 11th. Students are encouraged to visit this first meeting to get detailed information about and to register for the tutorial. As the tutorial is aligned with FLP it will start on November 8th with the working sessions: 2. DS [9:20 am – 10:50 pm] AND 3. DS [11:10 pm – 12:40 pm]. The tutorial will be held in APB/067.

Schedule:

• Tuesday, October 11th:
  first initial meeting, 2nd DS [9:20 am – 10:50 am]
• Tuesday, November 8th:
  working sessions, 2nd DS [09:20 am – 10:50 am] AND 3rd DS [11:10 pm – 12:40 pm]
• Tuesday, November 15th:
  working sessions, 2nd DS [09:20 am – 10:50 am] AND 3rd DS [11:10 pm – 12:40 pm]
• Tuesday, November 22th:
  working sessions, 2nd DS [09:20 am – 10:50 am] AND 3rd DS [11:10 pm – 12:40 pm]
• Tuesday, November 29th:
  working sessions, 2nd DS [09:20 am – 10:50 am] AND 3rd DS [11:10 pm – 12:40 pm]
• Tuesday, December 6th:
  working sessions, 2nd DS [09:20 am – 10:50 am] AND 3rd DS [11:10 pm – 12:40 pm]
• Tuesday, December 13th:
  working sessions, 2nd DS [09:20 am – 10:50 am] AND 3rd DS [11:10 pm – 12:40 pm]
• Tuesday, December 20th:
  working sessions, 2nd DS [09:20 am – 10:50 am] AND 3rd DS [11:10 pm – 12:40 pm]
• Tuesday, January 10th:
  working sessions, 2nd DS [09:20 am – 10:50 am] AND 3rd DS [11:10 pm – 12:40 pm]
• Tuesday, January 17th:
  working sessions, 2nd DS [09:20 am – 10:50 am] AND 3rd DS [11:10 pm – 12:40 pm]
• Tuesday, January 24th:
  working sessions, 2nd DS [09:20 am – 10:50 am] AND 3rd DS [11:10 pm – 12:40 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

Mailinglist

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

Contact

For questions please contact Dr. Klüppelholz.