|
Logikprogrammierung
(V3 bzw. 4 + Ü2, WS 2010/11)
|
|
Details und aktuelle Informationen finden Sie auf der englischen Seite zur Vorlesung.
Die Vorlesung findet 3-stündig für Studierende der Studiengänge
Bachelor Informatik, Master Informatik, und Master Mathematik statt. Sie findet
4-stündig für Diplom-Studierende der Informatik und der Mathematik statt.
Für Studierende des Studiengangs SSE ist die Vorlesung normalerweise
3-stündig (6 ECTS Credits), sie können jedoch auch die
4-stündige Version hören (8 ECTS Credits).
Wenden Sie sich bei Fragen bitte an die Sammeladresse lp10@i2.informatik.rwth-aachen.de,
die von den drei Assistenten gelesen wird. Weitere Kontaktdaten finden Sie auf
der Homepage des LuFG I2.
Skript
Das Skript zur Vorlesung ist hier erhältlich: Skript (Fassung vom 11.10.2010)
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
Verschiedene Versionen der Vorlesung
Für verschiedene Studiengänge sind unterschiedliche Teile der Vorlesung relevant. Insgesamt gibt es drei Versionen der Vorlesung:
- V4 Dies ist die gesamte Vorlesung (mit 4 Vorlesungsstunden pro Woche). Diese
Fassung der Vorlesung ist für Studierende der Studiengänge Diplom Informatik und Diplom Mathematik relevant. Auch Studierende des Studiengangs Master SSE können diese Version anstelle der Version V3M hören.
- V3B Diese Version besteht nur aus einem Teil der Vorlesung (mit durchschnittlich 3 Vorlesungsstunden pro Woche). Diese Fassung ist relevant für Studierende der Studiengänge Bachelor Informatik und Master Mathematik.
- V3M Diese Version besteht nur aus einem Teil der Vorlesung (mit durchschnittlich 3 Vorlesungsstunden pro Woche). Diese Fassung ist relevant für Studierende der Studiengänge Master Informatik und Master SSE. Dies ist auch die Version der Vorlesung, die diejenigen
Bachelor Studierenden hören sollten, die bereits Master-Vorlesungen besuchen wollen. Für diese Studierenden ist es dann möglich, die Prüfung bereits während ihres Bachelor-Studiums abzulegen und diese dann später für ihr Master-Studium anerkennen zu lassen.
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ühwirth, 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
Wahlpflichtfach Theorie (für Bachelor),
Theoretische Informatik (für Master),
Theoretische Informatik und Informatik Vertiefung (für Diplom und Master SSE)
Software
Um Prolog-Programme zu erstellen, kann das SWI Prolog System
verwendet werden:
Eine Alternative zu SWI-Prolog ist GNU
Prolog:
Übungen
Studierende im Studiengang Diplom Informatik können den Übungsschein
zur Vorlesung durch Erreichen von 50% der Punkte in den Übungen erlangen.
Den Erwerb eines Übungsscheines empfehlen wir sehr, da dies eine gute
Vorbereitung für die Diplomprüfung darstellt.
Für Studierende anderer Studiengänge wird am Ende des Semesters eine
Klausur angeboten. Um an diese Klausur teilnehmen zu dürfen, müssen
50% der Punkte in den Übungsblättern erreicht werden.
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.
