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.

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

Properties

  • 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

Immanent

Additional information

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

Lecturers

Institute

Course dates

DayTimeDateLocationDescription
Wed16:00 - 19:0001.06.2022 - 29.06.2022complang-Labor Vorlesung
Advanced logic programming - Single appointments
DayDateTimeLocationDescription
Wed01.06.202216:00 - 19:00complang-Labor Vorbesprechung, Vorlesung
Wed08.06.202216:00 - 19:00complang-Labor Vorlesung
Wed15.06.202216:00 - 19:00complang-Labor Vorlesung
Wed22.06.202216:00 - 19:00complang-Labor Vorlesung
Wed29.06.202216:00 - 19:00complang-Labor Vorlesung
Course is held blocked

Examination modalities

Oral exam and solved exercises

Course registration

Not necessary

Curricula

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

Literature

No lecture notes are available.

Previous knowledge

Grundkenntnisse der Logikprogrammierung aus "Logikprogrammierung und Constraints".

Preceding courses

Miscellaneous

Language

if required in English