After successful completion of the course, students are able to...

1. write simple programs in the pure and monotonic subset of ISO Prolog with constraints,
2. explain the basic readings and apply them onto actual programs, and
3. relate declarative and procedural properties of a program, in particular w.r.t termination and non-termination.

• declarative programming paradigms
• declarative readings
• declarative diagnosis
• procedural readings
• termination
• grammars
• constraints
• higher order programming
• lambda expressions
• pure I/O

• Lecture and discussions
• Exercises
• Solving exercises in a programming enviroment with the help of tas
• Exercise interview

• Vorlesungstermine real, sowie zur Not als Screencast
• Anmeldung real im Labor
• Nach den ersten sieben Beispielen im Labor können die restlichen ca. 80 Beispiele auch online gelöst werden
• Abgabegespräch real im Labor

Die konkreten Anmeldungstermine und Laborzeiten finden sich auf der Homepage.

ECTS Breakdown: Lecture 2 ECTS, Exercise 4 ECTS (total of about 80 exercises with up to 100 points for each exercise)

Marking according to total points: >= 2900 4, >= 4500 3, >= 5500 2, >= 7000  + successful interview 1.

Persönliche Anmeldung im Labor, Argentinierstraße 8, EG - EAEG19. Erste Anmeldung schon im Feber.

Sämtliche Anmeldungstermine finden sich auf der HP der LVA!

Skriptum bei Anmeldung