Logische Programierung
Gegenstände dieser Vorlesung sind die theoretischen Grundlagen der logischen Programmierung, praktische Programmierung in der Sprache Prolog sowie die Anfrageauswertung in deduktiven Datenbanken, die eine vereinfachte Variante von Prolog ("Datalog") zur Formulierung von Anfragen und Intergitätsbedingungen, sowie zur Anwendungsprogrammierung benutzen. Deduktive Datenbanken sind das Haupt-Forschungsthema von Prof. Dr. Stefan Brass. Die Vorlesung wird jedes Sommersemester angeboten. [Modulbeschreibung]
- Webseite der Vorlesung aus dem Wintersemester 2007/08
- Im Wintersemester 2009/10 wurde die Lehrveranstaltung von Dr. Henning Thielemann gehalten.
- Webseite der Vorlesung aus dem Sommersemester 2011
- Webseite der Vorlesung aus dem Wintersemester 2012/13
Nächstes Angebot im Sommersemester 2014.