After successful completion of the course, students are able to,
Meta programming, higher order programminmg, meta interpreters, program transformations
Die Lehrveranstaltung findet unmittelbar nach Ende von "Logikprogrammierung und Constraints" statt.
Oral exam and solved exercises
Not necessary
Grundkenntnisse der Logikprogrammierung aus "Logikprogrammierung und Constraints".