INF.01085.07 - Logische Programmierung und Deduktive Datenbanken (Veranstaltungsübersicht)
INF.01085.07 - Logische Programmierung und Deduktive Datenbanken (Veranstaltungsübersicht)
INF.01085.07
Institut für Informatik
5 CP
Logische Programmierung und Deduktive Datenbanken
Lehrveranstaltungen SoSe 2024
Hinweise
Basismodul für die Vertiefungsrichtung "Datenbanken und Informationssysteme"
Prüfungsvorleistung Modul
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.
Prüfungsleistung Modul
mündl. Prüfung oder Klausur oder Hausarbeit (20-30 Seiten) oder Präsentation
Kompetenzziele
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.
