Winter Term 2008/2009

Course Description

Lecturers:

Prof. Michael Thielscher, Mr. Sebastian Voigt

See the official Course Summary page for more details.

Time Table

• Mondays (27.10., 10.11., 24.11., 8.12., 5.1., 19.1., 2.2.):
  • 6. DS Exercise (E 005)
• Thursdays (start 16.10.):
  • 4. DS Lecture (E 005)

Consultations

Send an email to the lecturers to fix a date.

Details about the Examination

Written exam on the 11-th of February at 10.00 am in room E005 (all written materials allowed, no electronic devices, student and personal id cart have to be presented)

On the 5th of March between 1 pm and 2 pm you can have a look at your examination result in room 2004.

Handouts and Slides

• Introduction
• Unification
• Procedural Interpretation
• Declarative Interpretation
• Pure PROLOG
• Negation: Procedural Interpretation
• Negation: Declarative Interpretation
• Termination of Programs

Exercises

Additional References

• Literature
• Logic Programming and Negation