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.

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

Properties

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

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

Examination modalities

Oral exam and solved exercises

Course registration

Not necessary

Curricula

Study CodeObligationSemesterPrecon.Info
066 937 Software Engineering & Internet Computing Mandatory elective
066 950 Didactic for Informatics 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