Neue Vorlesung "Logikprogrammierung" im Wintersemester 2018/19
09.09.2018Im anstehenden Wintersemester bietet unser Lehrstuhl um Professor Seipel erstmals die Vorlesung "Logikprogrammierung" an.
Die Vorlesung Logikprogrammierung führt in das alternative, logisch-relationale Programmierparadigma der logischen Programmiersprachen ein. Hier werden Berechnungen durch Regeln definiert. Ihre Top-Down-Abarbeitung mit Hilfe der SLD-Resolution ist Basis für den populärsten Vertreter Prolog, das als Teil der Vorlesung vorgestellt wird. Sie bildet so das Gegenstück zur Vorlesung Deduktive Datenbanken, die die Bottom-Up-Anwendung von Hornklauseln in deduktiven Datenbanksystemen beleuchtet.
Die Vorlesung deckt sowohl formale als auch praktische Aspekte ab und richtet sich vorwiegend an Masterstudierende der Informatik (5 ECTS). Sie ging aus der ehemals 8 ECTS umfassenden Vorlesung Deduktive Datenbanken hervor, die im zurückliegenden Sommersemester dafür erstmals als 5-ECTS-Vorlesung abgehalten wurde. Die Vorlesung von Prof. Seipel findet dienstags 14 Uhr im SE 10 (ehemalige TB Physik) statt.
Die Übungen ermöglichen es, praktische Erfahrungen mit einer der wichtigsten deklarativen Programmiersprachen zu sammeln. Die Übungen beinhalten sowohl theoretische als auch programmier-praktische Aufgaben. Sie werden von Falco Nogatz betreut und finden voraussichtlich donnerstags 10 Uhr im SE 10 statt. Neben Prolog werden auch weitergehende Konzepte wie Constraint Logic Programming (CLP) und Constraint Handling Rules (CHR) eingeführt.
