Home      Termine      Kontakt      Folien      Ablauf      Prüfung      Literatur      Software      Links

Logische Programmierung und deduktive Datenbanken

Allgemeine Informationen

Dies ist die Homepage der Vorlesung "Logische Programmierung und deduktive Datenbanken" an der Martin-Luther-Universität Halle-Wittenberg im Sommersemester 2016. Die Vorlesung hat 5 Leistungspunkte und 2+2 SWS. Sie ist u.a. für die Master-Studiengänge Informatik, Bioinformatik und Wirtschaftsinformatik gedacht. Genauere Angaben finden sich in der offiziellen Modulbeschreibung.

Aktuelles:

Die erste Vorlesung ist am Donnerstag, den 07.04.2016, 10:15-11:45 im Raum 3.04 im Von-Seckendorff-Platz 1 [Google Maps] [Orientierungsplan]. Die Übung findet auch schon ab der ersten Woche statt (07.04.2016, 14:15-15:45).

Lernziele:

Dies ist eine Spezialvorlesung zu meinem Haupt-Forschungsthema. Nach erfolgreicher Teilnahme an dieser Vorlesung sollten die Teilnehmenden Folgendes können:

• Die logischen und konzeptuellen Grundlagen der logischen Programmierung erklären.
• In der Sprache Prolog programmieren.
• Mindestens ein ausgewähltes deduktives Datenbanksystem benutzen, d.h. insbesondere Anfragen und Sichtdefinitionen in der Sprache dieses Systems formulieren.
• Die Ausführung von Programmen und Anfragen in Prolog bzw. deduktiven Datenbanken erklären und ggf. selbst Teile eines logischen Programmiersystems entwicklen.
• Durch diese andere Art von Programmierung und Datenbank-Abfragen auch klassische Programmierung und Datenbank-Sprachen besser verstehen.

Inhalte (vorläufige Planung):

• Einleitung (Motivation, Beispiele, Historische Entwicklung, Einordnung)
• Logische Grundlagen: Horn-Klauseln, Herbrand Modelle, Minimales Modell
• Datenbank-Anfragen und Programmierung in Datalog
• Eingebaute Prädikate
• Anfrage-Auswertung I: Naiv, Seminaiv
• Pure Prolog (mit Funktionssymbolen)
• Programm-Ausführung: SLD-Resolution, Warren Abstract Machine (sehr kurz)
• Praktische Prolog-Programmierung
• Anfrage-Auswertung II: Magische Mengen
• Nichtmonotone Negation
• Ausblick (z.B. Integritätsüberwachung, Constraint Logic Programming, Answer Set Programmierung, neuere logische Programmiersprachen).

Stefan Brass (brass@informatik.uni-halle.de), 22. März 2016

Original URL: http://www.informatik.uni-halle.de/~brass/lp16/   [XHTML 1.0 Checked]   [CSS Checked]   [Links Geprüft]   [Impressum]