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

2024S, VU, 2.0h, 3.0EC, to be held in blocked form


  • 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.



Course dates

Wed16:00 - 19:0029.05.2024EI 2 Pichelmayer HS - ETIT Vorbesprechung
Wed16:00 - 19:0005.06.2024complang-Labor VO
Thu09:00 - 10:0006.06.2024complang-Labor Test
Wed15:00 - 18:0012.06.2024 - 26.06.2024complang-Labor VO
Advanced logic programming - Single appointments
Wed29.05.202416:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorbesprechung
Wed05.06.202416:00 - 19:00complang-Labor VO
Wed12.06.202415:00 - 18:00complang-Labor VO
Wed19.06.202415:00 - 18:00complang-Labor VO
Wed26.06.202415:00 - 18:00complang-Labor VO
Course is held blocked

Examination modalities

Oral exam and solved exercises

Course registration

Not necessary


Study CodeObligationSemesterPrecon.Info
066 937 Software Engineering & Internet Computing Mandatory elective


No lecture notes are available.

Previous knowledge

Grundkenntnisse der Logikprogrammierung aus "Logikprogrammierung und Constraints".

Preceding courses



if required in English