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.

...

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

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 EAEG19, Argentinierstraße 8, EG.

Erste Anmeldung schon im September. Details siehe Homepage.

Skriptum