MLU
INF.01085.07 - Logische Programmierung und Deduktive Datenbanken (Complete module description)
Original version English
INF.01085.07 5 CP
Module label Logische Programmierung und Deduktive Datenbanken
Module code INF.01085.07
Semester of first implementation
Faculty/Institute Institut für Informatik
Module used in courses of study / semesters
  • Bioinformatik (MA120 LP) (Master) > Bioinformatik BioinformatikMA120, Version of accreditation valid from SoSe 2023 > Datenbanken und Informationssysteme (Anteil gem. § 5 Abs. 4-6, Anlage 2)
  • Bioinformatik (MA120 LP) (Master) > Bioinformatik BioinformatikMA120, Version of accreditation (WS 2009/10 - SS 2016) > Datenbanken und Informationssysteme
  • Bioinformatik (MA120 LP) (Master) > Bioinformatik BioinformatikMA120, Version of accreditation (WS 2016/17 - WS 2022/23) > Datenbanken und Informationssysteme
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Version of accreditation valid from SoSe 2023 > Basismodule der Vertiefungsrichtung `Datenbanken und Informationssysteme`
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Version of accreditation (WS 2006/07 - SS 2013) > Primärmodule
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Version of accreditation (WS 2013/14 - SS 2016) > Basismodule der Vertiefungsrichtung `Datenbanken und Data Mining`
  • Informatik (MA120 LP) (Master) > Informatik InformatikMA120, Version of accreditation (WS 2016/17 - WS 2022/23) > Basismodule der Vertiefungsrichtung `Datenbanken und Informationssysteme`
  • Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Version of accreditation (SS 2016 - SS 2020) > II. Wahlbereich Informatik
  • Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Version of accreditation valid from WS 2020/21 > 2.2 Informatik
  • Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Version of accreditation (WS 2008/09 - WS 2015/16) > II. Informatik
  • Wirtschaftsinformatik (Business Information Systems) (MA120 LP) (Master) > Wirtschaftsinformatik WirtschaftsinformatMA120, Version of accreditation (WS 2008/09 - WS 2015/16) > Informatik (W)
Responsible person for this module
Further responsible persons
Prof. Dr. Stefan Brass
Prerequisites
Skills to be acquired in this module
Nach Abschluss dieses Moduls sollen die Teilnehmenden folgendes können:
  • Die logischen und konzeptuellen Grundlagen der logischen Programmierung erklären.
  • In der Sprache Prolog programmieren.
  • Weitere logische Programmiersprachen nutzen, insbesondere die Sprache Datalog, aber auch Sprachen des "Constraint Logic Programming".
  • Die Ausführung von Programmen und Anfragen in Prolog bzw. deduktiven Datenbanken erklären und ggf. selbst Teile eines logischen Programmiersystems entwickeln.
Module contents
  • Einleitung (Motivation, Historische Entwicklung, Einordnung)
  • Logische Grundlagen: Horn-Klauseln, Herbrand Modelle, Minimales Modell
  • Datenbank-Anfragen und Programmierung in Datalog
  • Eingebaute Prädikate
  • Anfrage-Auswertung I: Naiv, Seminaiv
  • Pure Prolog (mit Funktionssymbolen)
  • Programm-Ausführung: SLD-Resolution, Warren Abstract Machine (sehr kurz)
  • Praktische Prolog-Programmierung
  • Anfrage-Auswertung II: Magische Mengen
  • Nichtmonotone Negation
  • Ausblick (z.B. Integritätsüberwachung, Constraint Logic Programming, neuere logische Programmiersprachen)
Forms of instruction Course (2 SWS)
Course
Course (2 SWS)
Course (1 SWS)
Course (1 SWS)
Course
Course
Languages of instruction German, English
Duration (semesters) 1 Semester Semester
Module frequency jedes Sommersemester
Module capacity unlimited
Time of examination
Credit points 5 CP
Share on module final degree Course 1: %; Course 2: %; Course 3: %; Course 3: %; Course 4: %; Course 4: %; Course 5: %.
Share of module grade on the course of study's final grade 1
Reference text
Basismodul für die Vertiefungsrichtung "Datenbanken und Informationssysteme"
Module course label Course type Course title SWS Workload of compulsory attendance Workload of preparation / homework etc Workload of independent learning Workload (examination and preparation) Sum workload
Course 1 Course Seminar 2 0
Course 2 Course Selbststudium 0
Course 3 Course Übung 2 0
Course 3 Course Tafelübung 1 0
Course 4 Course Praktische Übung 1 0
Course 4 Course Vorbereitung eines Seminarvortrages 0
Course 5 Course Lösen von Hausaufgaben 0
Workload by module 150 150
Total module workload 150
Examination Exam prerequisites Type of examination
Course 1
Course 2
Course 3
Course 3
Course 4
Course 4
Course 5
Final exam of module
Korrekte Bearbeitung der Hausaufgaben, wobei ein gewisser Prozentsatz der Punkte erreicht werden muss, eine weitere Präzisierung findet sich in der konkreten Modulbeschreibung., Regelmäßige Teilnahme an den Tafelübungen, aktive Beteiligung (z.B. Beantwortung von Fragen, Vorrechnen von Aufgaben)., In Einzelfällen (begründete Ausnahmen) kann der Modulverantwortliche eine mündliche Kurzprüfung als Alternative anbieten.
mündl. Prüfung oder Klausur oder Hausarbeit (20-30 Seiten) oder Präsentation
Exam repetition information
Prerequisites and conditions Prerequisites Frequency Compulsory attendance Share on module grade in percent
Course 1 Summer semester No %
Course 2 Summer semester No %
Course 3 Summer semester No %
Course 3 Summer semester No %
Course 4 Summer semester No %
Course 4 Summer semester No %
Course 5 Summer semester No %