|
Logikprogrammierung
(V3 bzw. 4 + Ü2, SS 2008)
|
|
Die Vorlesung findet 4-stündig für Diplom-Studierende
(im Hauptdiplom) und 3-stündig für Bachelor-Studierende
(als Wahlpflichtfach) statt.
Aktuelles
- 22. 7. 08: Die Einsicht zur Präsenzübung findet am Donnerstag den 24. 7. 08 um 11 Uhr im Seminarraum (4201b) des Lehrstuhls statt.
- 22. 7. 08: Ergebnisse der Präsenzübung vom 18. 7. 08.
- Am 18. 7. 08 findet anstelle der Vorlesung die Präsenzübung statt (für alle Studiengänge, auch für Bachelor-Studierende).
- Die Vorlesung am 14. 7. 08 fällt aus.
- Das letzte Kapitel des Skripts (Logikprogrammierung mit Constraints)
ist in einer Vorversion hier erhältlich: ps, pdf (neue Version vom 11. 7. 08)
- Die Vorlesung am Freitag 20. 6. 08 ist die letzte, die für
Studierende des Studiengangs Bachelor Informatik prüfungsrelevant ist. Für Studierende in Diplom- oder Master-Studiengängen sind hingegen alle Vorlesungen prüfungsrelevant.
Inhalt
Neben einer kurzen Einführung in die Sprache Prolog behandelt diese Vorlesung
die Grundlagen der logischen Programmierung, logische
Programmiertechniken, die Implementierung von Logiksprachen sowie den
Einsatz logischer Programmiersprachen in verschiedenen Anwendungsbereichen.
Im Einzelnen werden folgende Themen besprochen:
- Prädikatenlogische Grundlagen
- Unifikation
- Resolution
- Horn-Klauseln und SLD-Resolution
-
Logikprogramme
- Operationelle und denotationelle Semantik
- Auswertungsstrategien
-
Die Programmiersprache Prolog
- Syntax und Semantik
- Negation as Failure
- Nicht-logische Bestandteile von Prolog
- Programmiertechniken
- Anwendungen und Erweiterungen der Logikprogrammierung
Sprache
deutsch
Literatur
- K. R. Apt: From logic programming to Prolog, Prentice Hall, 1997.
- I. Bratko: Prolog Programming for Artificial Intelligence, Addison-Wesley, 2001.
- W. F. Clocksin, C. S. Mellish: Programming in Prolog, Springer, 2003.
- T. Früwirth, S. Abdennadher:
Essentials of Constraint Programming, Springer, 2003.
- M. Hanus: Problemlösen mit Prolog, Teubner, 1987.
- J. W. Lloyd: Foundations of Logic Programming, Springer, 1987.
- K. Marriott, P. J. Stuckey:
Programming with Constraints, MIT Press, 1998.
- P. H. Schmitt: Theorie der logischen Programmierung, Springer, 1992.
- U. Schöning: Logik für Informatiker, Spektrum Akademischer Verlag, 2000.
- L. Sterling, E. Shapiro: The art of Prolog, MIT Press, 2000.
Zuordnung
Theoretische Informatik und Informatik Vertiefung (für Diplom), Wahlpflichtfach Theorie (für Bachelor)
Software
Um Prolog-Programme zu erstellen, kann das SWI Prolog System
verwendet werden:
Eine Alternative zu SWI-Prolog ist GNU
Prolog:
Übungen
Für den Übungsschein müssen 50% der Punkte in den
Übungen erreicht werden und die Präsenzübung in der letzten Vorlesung am 18. 7. 08 muss bestanden
werden.
Für Bachelor-Studierende wird der Übungsschein zur
Prüfungszulassung benötigt.
Den Erwerb des Übungsscheines empfehlen
wir aber auch allen anderen Studierenden
sehr, da dies eine gute Vorbereitung für die
eigentliche Prüfung
darstellt.
Um am Übungsbetrieb teilnehmen zu können, melden sie sich bitte
hier an.
Die Übungsblätter sollen in Zweiergruppen
bearbeitet werden und werden jeweils
am Mittwoch vor Beginn der
Übung eingesammelt.
- Übung 1 (17. April 2008)
ps,
pdf,
ps.gz,
uebung1.pl
/
ps,
pdf,
ps.gz,
loesung1.pl
- Übung 2 (21. April 2008)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
- Übung 3 (28. April 2008)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz,
loesung3.pl
- Übung 4 (05. Mai 2008)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
Anders als auf dem Übungsblatt angegeben, muss dieses
Übungsblatt erst am 21.5.08 zu Beginn der Übung abgegeben werden.
- Übung 5 (19. Mai 2008)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
Korrigierte Fassung: In Aufgabe 3 soll der Algorithmus polynomiale Laufzeit in der größe der Klauselmenge haben.
-
- Übung 6 (26. Mai 2008)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
- Übung 7 (02. Juni 2008)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
- Übung 8 (09. Juni 2008)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
- Übung 9 (16. Juni 2008)
ps,
pdf,
ps.gz
/
source
- Übung 10 (23. Juni 2008)
ps,
pdf,
ps.gz
Letzte Übung für Studierende des Studiengangs Bachelor Informatik.
/
loesung10.pl
- Übung 11 (30. Juni 2008)
ps,
pdf,
ps.gz
/
loesung11.pl,
AutomatA
- Übung 12 (07. Juli 2008)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz,
loesung12.pl
Folien
Hier sind die in der Vorlesung verwendeten Folien erhältlich.
- Folie 1 (11.4.08) ps, pdf
- Folie 2 (14.4.08) ps, pdf
- Folie 3 (16.4.08) ps, pdf
- Folie 4 (28.4.08) ps, pdf
- Folie 5 (28.4.08) ps, pdf
- Folie 6 (2.5.08) ps, pdf
- Folie 7 (5.5.08) ps, pdf
- Folie 8 (19.5.08) ps, pdf
- Folie 9 (19.5.08) ps, pdf
- Folie 10 (26.5.08) ps, pdf
- Folie 11 (30.5.08) ps, pdf
- Folie 12 (2.6.08) ps, pdf
- Folie 13 (9.6.08) ps, pdf
- Folie 14 (9.6.08) ps, pdf
- Folie 15 (23.6.08) ps, pdf
- Folie 16 (27.6.08) ps, pdf
- Folie 17 (9.7.08) ps, pdf
- Folie 18 (11.7.08) ps, pdf
