Student-Self-Service availability is currently restricted due to technical difficulties. Please accept our apologies for any inconvenience.

185.A12 Logic programming and constraints
This course is in all assigned curricula part of the STEOP.
This course is in at least 1 assigned curriculum part of the STEOP.

2021S, VU, 4.0h, 6.0EC, to be held in blocked form


  • Semester hours: 4.0
  • Credits: 6.0
  • Type: VU Lecture and Exercise
  • Format: Hybrid

Learning outcomes

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

  1. write simple programs in the pure and monotonic subset of ISO Prolog with constraints,
  2. explain the basic readings and apply them onto actual programs, and
  3. relate declarative and procedural properties of a program, in particular w.r.t termination and non-termination.

Subject of course


Teaching methods

  • Lecture and discussions
  • Exercises
  • Solving exercises in a programming enviroment with the help of tas
  • Exercise interview

Mode of examination




Course dates

Wed15:00 - 16:0024.02.2021complang-Labor Sprechstunde
Wed15:00 - 16:0003.03.2021 - 30.06.2021complang-Labor Sprechstunde
Logic programming and constraints - Single appointments
Wed24.02.202115:00 - 16:00complang-Labor Sprechstunde
Wed03.03.202115:00 - 16:00complang-Labor Sprechstunde
Wed10.03.202115:00 - 16:00complang-Labor Sprechstunde
Wed17.03.202115:00 - 16:00complang-Labor Sprechstunde
Wed24.03.202115:00 - 16:00complang-Labor Sprechstunde
Wed14.04.202115:00 - 16:00complang-Labor Sprechstunde
Wed21.04.202115:00 - 16:00complang-Labor Sprechstunde
Wed28.04.202115:00 - 16:00complang-Labor Sprechstunde
Wed12.05.202115:00 - 16:00complang-Labor Sprechstunde
Wed19.05.202115:00 - 16:00complang-Labor Sprechstunde
Wed26.05.202115:00 - 16:00complang-Labor Sprechstunde
Wed09.06.202115:00 - 16:00complang-Labor Sprechstunde
Wed16.06.202115:00 - 16:00complang-Labor Sprechstunde
Wed23.06.202115:00 - 16:00complang-Labor Sprechstunde
Wed30.06.202115:00 - 16:00complang-Labor Sprechstunde
Course is held blocked

Examination modalities

ECTS Breakdown: Lecture 2 ECTS, Exercise 4 ECTS (total of about 80 exercises with up to 100 points for each exercise)

Marking according to total points: >= 2900 4, >= 4500 3, >= 5500 2, >= 7000  + successful interview 1.


DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Thu09:00 - 13:0003.11.2022complang-Labor oral31.10.2022 08:00 - 02.11.2022 23:59on institute(Freiwilliges) Abgabegespräch - Anmeldung in GUPU
Wed09:00 - 13:0029.03.2023complang-Labor oral27.03.2023 09:00 - 01.04.2023 00:00on instituteFreiwilliges Abgabegespräch, Anmeldung in GUPU
Tue09:00 - 13:0004.04.2023complang-Labor oral27.03.2023 09:00 - 01.04.2023 00:00on instituteFreiwilliges Abgabegespräch, Anmeldung in GUPU

Group dates

Betreute ZeitenTue15:00 - 19:0002.03.2021 - 22.06.2021complang-Labor -
Betreute ZeitenThu15:00 - 19:0004.03.2021 - 24.06.2021complang-Labor -
Betreute Zeiten uWed15:00 - 18:0024.02.2021complang-Labor u
Betreute Zeiten uWed15:00 - 18:0003.03.2021 - 23.06.2021complang-Labor u

Course registration

Begin End Deregistration end
24.02.2021 15:00 10.03.2021 15:00

Registration modalities

Persönliche Anmeldung im Labor, Argentinierstraße 8, EG - EAEG19. Erste Anmeldung schon im Feber.

Sämtliche Anmeldungstermine finden sich auf der HP der LVA!

Group Registration

GroupRegistration FromTo
Betreute Zeiten04.03.2021 15:00
Betreute Zeiten f24.02.2021 15:00
Betreute Zeiten u24.02.2021 15:00


Study CodeSemesterPrecon.Info
033 533 Medical Informatics STEOP
Course requires the completion of the introductory and orientation phase
033 534 Software & Information Engineering STEOP
Course requires the completion of the introductory and orientation phase
860 GW Optional Courses - Technical Mathematics STEOP
Course requires the completion of the introductory and orientation phase


No lecture notes are available.

Continuative courses