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. |