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 2014. 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 10.04.2014, 10:15-11:45 im Raum 3.04 im Von-Seckendorff-Platz 1 (Gebäude 38 auf dieser Karte). Die Übung am 10.04.2014 findet statt (14:15-15:45 in Raum 1.03).

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), 09. April 2014

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