Logikprogrammierung [LP]

Wintersemester 03/04
Lehrstuhl für Informatik II
Hauptstudium

Termine

Scheinklausur

Die Klausurergebnisse hängen am Lehrstuhl aus. Scheine können ab Mitte Februar im Sekretariat abgeholt werden.

Alte Übungen

Die korrigierten Übungen können am Lehrstuhl abgeholt werden (Raum 4208). Nicht abgeholte Übungen werden am Ende des Semesters vernichtet.

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
• Constraints
• Meta-Programmierung

Prolog-Systeme

• SWI-Prolog
• Sicstus Prolog mit Constraint-Löser (im CIP-Pool. z.B. auf Rechner "ballauf")
• GNU Prolog (FD Constraint Solver)
• The YAP Prolog System
• XSB, A tabled Logic Programming and Deductive Database system
• Alles rund um Prolog

Folien zur Vorlesung

• Kap. 0: Einführung
• Kap. 1: Einführung
• Kap. 2: Logikprogrammierung
• Kap. 3: Prolog
• Kap. 4: Programmiertechniken
• Kap. 5: Datalog
• Kap. 6 & 7

Übungen

• 1. Übung
• 2. Übung
• 3. Übung
• 4. Übung
• 5. Übung
• 6. Übung
• 7. Übung
• 8. Übung
• 9. Übung
  • Lösung Aufg. 1
  • Lösung Aufg. 2
• 10. Übung
• 11. Übung
• 12. Übung
• 13. Übung (Tippfehler: Im Beispiel zu Aufgabe 3 muß es im Test natürlich <title>,Test,</title> heißen)

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, 2001.
• Marriott, Stuckey: Programming with constraints - An introduction. MIT Press, 1998.
• Abdennadher, Frühwirth: Essentials of constraint programming. Springer, 2003.

Zuordnung

Theoretische Informatik, Informatik Vertiefung

Nachfolgeveranstaltungen

• Seminar Logikprogrammierung