|
Logikprogrammierung
(V4 + Ü2, SS 2006)
|
|
Aktuelles
- Skript zur Vorlesung: Das Skript ist nun als Kopiervorlage im Sekretariat erhältlich. Sofern das Sekretariat nicht besetzt ist, wenden Sie sich bitte an einen der Mitarbeiter.
- Scheine: Diejenigen Studierenden, die einen Schein erhalten haben, können diesen
am Montag, dem 24.7., zwischen
14:00 und 15:00 Uhr im Büro von René Thiemann
abholen. Ansonsten kann der Schein jederzeit im Sekretariat abgeholt werden, welches allerdings momentan wegen Urlaubs nicht besetzt ist.
- Scheinklausur: Die Ergebnisse der Klausur können im
Übungssystem detailliert nachgesehen werden (die Aufgaben 1-5 entsprechen den Übungen 21-25) oder als Übersicht
heruntergeladen werden. Wer nicht bestanden hat, kann am Montag, dem 24.7., zwischen
14:00 und 15:00 Uhr ins Büro von René Thiemann zur Einsicht kommen,
um evtl. Korrekturfehler zu beseitigen. Alle Klausuren
und auch alte Übungen können ebenfalls bei René bis zum 10. August abgeholt werden, danach werden
sie entsorgt.
- Scheinklausur am 14.7.: Am letzten Freitag in der Vorlesungzeit findet anstelle der
Vorlesung die Scheinklausur von 10:00 Uhr bis 11:30 Uhr statt.
Jeder kann an der Klausur teilnehmen, allerdings bekommen
nur die Studierenden den Übungsschein, die sowohl 50 % der Übungspunkte geholt haben,
als auch die Klausur bestehen.
Im Hösaal AH II schreiben alle Studierenden mit einer Matrikelnummer
zwischen 0 und 243000. Die verbleibenden Studierenden schreiben im AH III.
In der Klausur sind weder Unterlagen noch andere Hilfsmittel zugelassen.
- Keine Vorlesung am 4.7.: Am Dienstag, dem 4.7., fällt die
Vorlesung leider aus.
- DIES am 14.6.: Am Mittwoch, den 14.4.06, fällt die
Globalübung wegen DIES Academicus aus. Die bearbeiteten Übungsblätter
können einfach in die entsprechende Box auf dem Flur des Lehr- und
Forschungsgebiets eingeworfen werden. Bitte senden Sie zusätzlich Ihre Prolog-Programme
in elektronischer Form per Mail an den Hiwi.
- Keine Vorlesung am 9.5. und Vorlesung statt Übung am 10.5.:
Aufgrund der Akkreditierung des Bachelor-/Master-Studiengangs am
Dienstag, dem 9.5., muss die Vorlesung an diesem Tag leider
ausfallen. Am Mittwoch, dem 10.5., findet dann anstelle der Übung
eine Vorlesung statt.
- Gruppenabgabe Aus aktuellem Anlass (16 Einzelabgaben in Übung 1) hier
noch mal der Hinweis, das in Gruppen von im Regelfall 2 Personen
abgegeben werden muss!
- DIES am 18.4.: Am Dienstag, den 18.4.06, fällt die
Vorlesung wegen DIES (Fachschaftsvollversammlung von 10-14 Uhr)aus.
- Anmeldung zum Übungsbetrieb: Bitte melden Sie sich hier zur Teilnahme am Übungsbetrieb
elektronisch an.
- Vorlesung statt Übung: Am Mittwoch, dem 5.4.06, findet eine Vorlesung anstelle der
Übung statt.
- Beginn der Vorlesung: Die Vorlesung beginnt am Dienstag, dem 4.4.06.
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.
- M. Hanus: Problemlösen mit Prolog, Teubner, 1987.
- J. W. Lloyd: Foundations of Logic Programming, Springer, 1987.
- 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, Informatik Vertiefung
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 Scheinklausur muss bestanden
werden.
Den Erwerb eines Übungsscheines empfehlen
wir sehr, da dies eine gute Vorbereitung für die
Diplomprüfung
darstellt. Die Übungsblätter sollen in Zweiergruppen
bearbeitet werden und werden jeweils
am Mittwoch vor Beginn der
Übung eingesammelt.
Um am Übungsbetrieb teilnehmen zu können, melden Sie sich bitte hier
elektronisch an.
- Übung 1 (5. April 2006)
ps,
pdf,
ps.gz,
uebung1.pl
/
ps,
pdf,
ps.gz,
loesung1.pl
- Übung 2 (11. April 2006)
ps,
pdf,
ps.gz,
uebung2.pl
/
ps,
pdf,
ps.gz,
loesung2.pl
- Übung 3 (21. April 2006)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz,
(skolem.pl aus der Globalübung)
- Übung 4 (25. April 2006)
ps,
pdf,
ps.gz
uebung4.pl
/
ps,
pdf,
ps.gz,
loesung4.pl
- Übung 5 (2. Mai 2006)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
- Übung 6 (10. Mai 2006)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
- Übung 7 (16. Mai 2006)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
- Übung 8 (23. Mai 2006)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
- Übung 9 (30. Mai 2006)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
- Übung 10 (13. Juni 2006)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
- Übung 11 (20. Juni 2006)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
- Übung 12 (27. Juni 2006)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz
- Übung 13 (5. Juli 2006)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz,
loesung13.pl
- Übung 14 (10. Juli 2006)
ps,
pdf,
ps.gz
/
ps,
pdf,
ps.gz,
loesung14.pl
- Scheinklausur (14. Juli 2006)
ps,
pdf
/
Lösung
ps,
pdf
Folien
Hier sind die in der Vorlesung verwendeten Folien erhältlich.
- Folie 1 (4.4.06) ps, pdf
- Folie 2 (5.4.06) ps, pdf
- Folie 3 (7.4.06) ps, pdf
- Folie 4 (25.4.06) ps, pdf
- Folie 5 (28.4.06) ps, pdf
- Folie 6 (2.5.06) ps, pdf
- Folie 7 (5.5.06) ps, pdf
- Folie 8 (10.5.06) ps, pdf
- Folie 9 (12.5.06) ps, pdf
- Folie 10 (19.5.06) ps, pdf
- Folie 11 (23.5.06) ps, pdf
- Folie 12 (30.5.06) ps, pdf
- Folie 13 (2.6.06) ps, pdf
- Folie 14 (2.6.06) ps, pdf
- Folie 15 (30.6.06) ps, pdf
- Folie 16 (11.7.06) ps, pdf
