English Intern
Lehrstuhl für Informatik I - Algorithmen und Komplexität

Logikprogrammierung

Titel: Logikprogrammierung
Typ: Vorlesung mit Übung
Kürzel / Nr: 10-I=LP
SWS / LP: 2V+2Ü / 5LP
Dozent: Dietmar Seipel
Betreuer: Daniel Weidner
Termine: Vorlesung:
Dienstag, 14 bis 16 Uhr, SE 10 (ehemalige TB Physik)
Übung:
siehe WueCampus
Lernplattform: Die Veranstaltung wird mit Hilfe der Lernplattform WueCampus durchgeführt. Bitte registrieren Sie sich hier.
Prüfungstermine: siehe WueCampus
Beschreibung

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. Die Übung ermöglicht es, praktische Erfahrungen mit einer der wichtigsten deklarativen Programmiersprachen zu sammeln. Die Übungen beinhalten sowohl theoretische als auch programmier-praktische Aufgaben. Neben Prolog werden auch weitergehende Konzepte wie Constraint Logic Programming und Constraint Handling Rules eingeführt.

Unterrichtssprache: Deutsch
Turnus: Wintersemester, unregelmäßig
Niveau: Weiterführend
Inhalt: Syntax und Semantik von Logikprogrammen; Auswertungsmethoden für Prolog; Default Negation; Anwendungen von Prolog und anderen logischen Programmiersprachen.
Lernergebnisse: Die Studierenden verfügen über Kompetenzen im Umgang mit Prolog (inklusive Negation) und zugehörigen Bibliotheken.