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 2017. 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 Vorlesung am 13. Juli fällt aus, ebenso die Übung in dieser letzten Semesterwoche. Wegen der ausgefallenen Vorlesungen gibt es noch zwei zusätzliche Vorlesungen am 24. Juli (über Magische Mengen) und am 07. August (über Negation), jeweils 10-12. Der Raum wird voraussichtlich 3.04 sein, eventuelle Änderungen werden noch bekanntgegeben. Beide Vorlesungen werden aufgezeichnet. Für die Prüfung können Sie sich eins der Themen aussuchen, das andere ist dann nicht prüfungsrelevenat. Es ist auch geplant, dass es noch einen freiwilligen Übungszettel gibt.

Aktuelles Übungsblatt: [h8_minmo.pdf] (Abgabe bis 12.6.2017 bzw. 14.6.2017).
[h9_bltin.pdf] (Abgabe bis 19.6.2017 bzw. 21.6.2017).

Wegen der zahlreichen Terminprobleme gibt es eine zweite Übungsgruppe Dienstags, 8-10.

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), 31. März 2017

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