[Themen]
[Dozent]
[Termine]
[Materialien]
[Übung]
[Voraus.]
[Scheine]
[Punkte-DB]
[Bücher]
[Links]
MARTIN-LUTHER-UNIVERSITÄT HALLE-WITTENBERG
Institut für Informatik
Prof. Dr. Stefan Brass
Deduktive Datenbanken und Logische Programmierung
(Winter 2003/2004)
Die Klausur findet am 05.02.2004, 8:15-9:45,
in Raum 509 (Von Seckendorff-Platz 1) statt.
Die Hausaufgaben-Punkte stehen jetzt in der
Online-Datenbank:
[Punkte anzeigen].
Bitte kontrollieren Sie die Korrektheit.
Anfang des fünften Kapitels
(frühere Kapitel siehe unten):
[PDF]
[Postscript verkleinert]
Informationen zu den Übungen
Geplante Themen
- Logische Grundlagen:
Horn-Klauseln, Herbrand Modelle
- Datenbank-Anfragen und Programmierung in Datalog
- Programmierung in Prolog
- Anfrage-Auswertung: Naiv, Seminaiv, Magische Mengen
- Programm-Ausführung: SLD-Resolution,
eventuell kurze Einführung in die Warren Abstract Machine (WAM)
- Nichtmonotone Negation
- Eventuell Integritätsüberwachung.
- Eventuell Constraint Logic Programming.
- Ausblick auf neuere logische Programmiersprachen
Dozent
Prof. Dr. Stefan Brass
- Büro:
-
Raum 313 (Institut für Informatik, Von-Seckendorff-Platz 1)
- Sprechstunde:
-
Nach Vereinbarung.
- Email:
-
brass@acm.org
- Telefon:
-
0345/55-24740 (Büro),
0641/9609992 (zu Hause, möglichst nur 8-13, 16-21)
- Fax:
-
0345/55-27333 (im Sekretariat)
- Sekretariat:
-
Frau Vahrenhold, Telefon 0345/55-24750, Zimmer 324
Übungsleiter
Dr. Alexander Hinneburg
- Büro:
-
Raum 314 (Institut für Informatik, Von-Seckendorff-Platz 1)
- Sprechstunde:
-
Nach Vereinbarung.
- Email:
-
hinneburg@informatik.uni-halle.de
- Telefon:
-
0345/55-24732
Termine
Vorlesung:
- Donnerstags, 8:15-9:45, Raum 3.07 (Von-Seckendorff-Platz 1)
Theoretische Übung und
Praktische Übung am Rechner:
- Donnerstags, 10:15-11:45, Raum 3.04 (Von-Seckendorff-Platz 1)
Vorlesungs-Materialien
Informationen zur Vorlesung
Folien
Die Vorlesungsmaterialien werden hier ins Internet gestellt,
sobald sie fertig sind.
- Introduction (85 Folien)
[Postscript, S/W, verkleinert]
[PDF, farbig, gross]
- Basic Notions of Predicate Logic (73 Folien)
[Postscript, S/W, verkleinert]
[PDF, farbig, gross]
- Pure Prolog (146 Folien)
[Postscript, S/W, verkleinert]
[PDF, farbig, gross]
- Built-In Predicates (82 Folien)
[Postscript, S/W, verkleinert]
[PDF, farbig, gross]
- Practical Prolog Programming
- Bottom-Up Evaluation
- Magic Sets
- Negation
- Integrity Constraints
- Constraint Logic Programming
Folien meiner Vorlesung `Deduktive Datenbanken'
im Sommer 1998:
[Homepage der Vorlesung]
Folien meiner Vorlesung `Logische Programmierung'
vom WS 1993/94:
(Die Folien lagen in einer nicht mehr unterstützten
LaTeX-Version vor. Es gibt daher kleinere Abweichungen von den
Originalen.)
- Vorbemerkungen:
[Postscript]
[PDF]
- Prolog in Beispielen:
[Postscript]
[PDF]
- Prolog Syntax:
[Postscript]
[PDF]
- Prolog Ausführung:
[Postscript]
[PDF]
- Eingebaute Prädikate:
[Postscript]
[PDF]
- Prolog vs. Pascal:
[Postscript]
[PDF]
- Deklarative Semantik:
[Postscript]
[PDF]
- Korrektheit und Vollständigkeit der SLD-Resolution:
[Postscript]
[PDF]
- Negation as Failure:
[Postscript]
[PDF]
- Standard-Algorithmen:
[Postscript]
[PDF]
- Programmierstil:
[Postscript]
[PDF]
- Grammatiken in Prolog:
[Postscript]
[PDF]
- Prolog Implementierung (Interpreter):
[Postscript]
[PDF]
- Prolog Implementierung (Compiler):
[Postscript]
[PDF]
- Zusammenfassung (Beispiele für Prüfungsfragen):
[Postscript]
[PDF]
Software-Links
Andere Kurse, Tutorials (im Aufbau)
Voraussetzungen zur Teilnahme
- (nur Informatik-Grundkenntnisse)
- Natürlich wäen Kenntnisse über Datenbanken,
mindestens eine Programmiersprache,
und mathematische Logik von Vorteil.
Übungsscheine
Bei Interesse besteht die Möglichkeit
zum Erwerb eines Übungsscheins.
Die genauen Modalitäten hängen von der Anzahl
der Interessenten ab und werden in der Vorlesung bekanntgegeben.
Voraussichtlich wird es Hausaufgaben und zwei Klausuren geben.
Punkte Datenbank
Es wird die Möglicht geben,
Ihren Punktestand für Hausaufgaben und Klausur online abzufragen.
Sie müssen sich dazu in der ersten Semesterwoche
als Benutzer der Datenbank registrieren.
Wenn Sie von dieser Möglichkeit keinen Gebrauch machen wollen,
melden Sie sich bitte beim Dozenten,
da sich sonst jemand anderes unter Ihrem Namen registrieren kann.
Achten Sie bitte auf weitere Ansagen in der Vorlesung.
Literatur (Bücher)
Weitere Informationsquellen im WWW
Weitere Informationsquellen:
Stefan Brass
(brass@acm.org),
17. Juli 2003
Original URL:
http://www.informatik.uni-halle.de/~brass/lp03/
[HTML 3.2 Checked]
[Links Geprüft]