# 185.A12 Logic programming and constraints This course is in all assigned curricula part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_21",{id:"j_id_21",showEffect:"fade",hideEffect:"fade",target:"isAllSteop"});});This course is in at least 1 assigned curriculum part of the STEOP.\$(function(){PrimeFaces.cw("Tooltip","widget_j_id_23",{id:"j_id_23",showEffect:"fade",hideEffect:"fade",target:"isAnySteop"});}); 2025S 2024W 2024S 2023W 2023S 2022W 2022S 2021W 2021S 2020W 2020S 2019W 2019S 2018W 2018S 2017W 2017S 2016W 2016S 2015W 2015S 2014W 2014S 2013W 2013S 2012W 2012S 2011W

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

## Properties

• 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

• declarative diagnosis
• termination
• grammars
• constraints
• higher order programming
• lambda expressions
• pure I/O

## Teaching methods

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

## Mode of examination

Immanent

• Vorlesungstermine real, sowie zur Not als Screencast
• Anmeldung real im Labor
• Nach den ersten sieben Beispielen im Labor können die restlichen ca. 80 Beispiele auch online gelöst werden
• Abgabegespräch real im Labor

Die konkreten Anmeldungstermine und Laborzeiten finden sich auf der Homepage.

## Course dates

DayTimeDateLocationDescription
Wed15:00 - 16:0022.02.2023complang-Labor Sprechstunde
Wed15:00 - 16:0001.03.2023 - 28.06.2023complang-Labor Sprechstunde
Wed16:00 - 19:0001.03.2023 - 24.05.2023EI 2 Pichelmayer HS - ETIT Vorlesung
Logic programming and constraints - Single appointments
DayDateTimeLocationDescription
Wed22.02.202315:00 - 16:00complang-Labor Sprechstunde
Wed01.03.202315:00 - 16:00complang-Labor Sprechstunde
Wed01.03.202316:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed08.03.202315:00 - 16:00complang-Labor Sprechstunde
Wed08.03.202316:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed15.03.202315:00 - 16:00complang-Labor Sprechstunde
Wed15.03.202316:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed22.03.202315:00 - 16:00complang-Labor Sprechstunde
Wed22.03.202316:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed29.03.202315:00 - 16:00complang-Labor Sprechstunde
Wed29.03.202316:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed19.04.202315:00 - 16:00complang-Labor Sprechstunde
Wed19.04.202316:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed26.04.202315:00 - 16:00complang-Labor Sprechstunde
Wed26.04.202316:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed03.05.202315:00 - 16:00complang-Labor Sprechstunde
Wed03.05.202316:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed10.05.202315:00 - 16:00complang-Labor Sprechstunde
Wed10.05.202316:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
Wed17.05.202316:00 - 19:00EI 2 Pichelmayer HS - ETIT Vorlesung
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.

## Exams

DayTimeDateRoomMode of examinationApplication timeApplication modeExam
Tue15:00 - 19:0005.11.2024complang-Labor oral28.10.2024 08:00 - 03.11.2024 23:59on institute(Freiwilliges) Abgabegespräch - Anmeldung in GUPU nur mit den ersten 29 Beispielen fehlerfrei
Thu09:00 - 13:0017.04.2025complang-Labor oral19.03.2025 19:00 - 23.03.2025 23:59on instituteFreiwilliges Abgabegespräch, Anmeldung in GUPU nur mit den ersten 29 Beispielen fehlerfrei

## Group dates

GroupDayTimeDateLocationDescription
Betreute ZeitenThu11:00 - 15:0002.03.2023 - 09.03.2023complang-Labor -
Betreute ZeitenTue15:00 - 19:0007.03.2023 - 27.06.2023complang-Labor -
Betreute ZeitenThu15:00 - 19:0016.03.2023 - 29.06.2023complang-Labor -

## Course registration

Begin End Deregistration end
22.02.2023 15:00 08.03.2023 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 Zeiten22.02.2023 15:00
Betreute Zeiten f22.02.2023 15:00
Betreute Zeiten u22.02.2023 15:00

## Curricula

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

## Literature

Skriptum bei Anmeldung

German