Logikprogrammierung [LP]

Wintersemester 01/02
Lehrstuhl für Informatik II
Hauptstudium

Termine

Informationen zum Seminar

Inhalt

Im Unterschied zur imperativen Programmierung gestattet die Logikprogrammierung eine deklarative, problemorientierte Vorgehensweise, die von algorithmischen Details abstrahiert. Sie eignet sich für das Rapid Prototyping und wird besonders in der Künstlichen Intelligenz sowie bei deduktiven Datenbanken verwendet.

In der Vorlesung werden sowohl die theoretischen Grundlagen wie auch praktische Anwendungen mit PROLOG behandelt.

• Grundlagen, Resolution, Unifikation
• Logikprogramme und Resolution
• PROLOG: Syntax, Semantik, Implementierung
• Programmiertechniken
• Datalog, Datenbanken

Prolog-Systeme

• Sicstus Prolog mit Constraint-Löser
• Alles rund um Prolog

Folien zur Vorlesung

• Einführung
• Kap. 2: Prozedurale Semantik von Logikprogrammen
• Kap. 3: Auswertung von fact(2,F)
• Kap. 4: flatten_dl, definite clause grammar
• Kap. 7: Basis-Meta-Interpretierer

Übungen

• 1. Übung (.ps)
• 2. Übung (.ps)
• 3. Übung (.ps)
• 4. Übung (.ps)
• 5. Übung (.ps)
• 6. Übung (.ps)
• 7. Übung (.ps)
• 8. Übung (.ps)
• 9. Übung (.ps)
• 10. Übung (.ps)
• 11. Übung (.ps)
• 12. Übung (.ps)
• 13. Übung (.ps)
• 14. Übung (.ps), Fragebogen Qualität der Lehre (.ps)

Literatur

• Schöning: Logik für Informatiker. Spektrum Akademischer Verlag, 2000.
• Lloyd: Foundations of Logic Programming. Springer-Verlag, 1993.
• Sterling, Shapiro: The Art of Prolog. MIT Press, 1999.
• Hanus: Problemlösen mit PROLOG. Teubner Verlag, 1987.
• Bratko: Prolog - Programming for artificial intelligence. Addison-Wesley, 1990.

Zuordnung

Theoretische Informatik, Informatik Vertiefung