185.A25 Advanced logic programming Canceled
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2023S, VU, 2.0h, 3.0EC, to be held in blocked form
Quinn ECTS survey


  • Semester hours: 2.0
  • Credits: 3.0
  • Type: VU Lecture and Exercise
  • Format: Hybrid

Learning outcomes

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


  1. develop higher order Prolog programs, including the use of lambda expressions
  2. apply meta programming techniques starting from a meta-circular interpreter
  3. classify and apply existing program transformation techniques

Subject of course

Meta programming, higher order programminmg, meta interpreters, program transformations

Teaching methods

  • Lectures and discussions
  • Exercises
  • Solving exercises in a programming environment
  • Oral exam

Mode of examination


Additional information

Die Lehrveranstaltung findet unmittelbar nach Ende von "Logikprogrammierung und Constraints" statt.




Examination modalities

Oral exam and solved exercises

Course registration

Not necessary



No lecture notes are available.

Previous knowledge

Grundkenntnisse der Logikprogrammierung aus "Logikprogrammierung und Constraints".

Preceding courses



if required in English