CL Programmierung III: Prolog
WiSe 24/25
Organisatorisches
Dozentin: Wiebke Petersen
Hauptsitzung: Di. 12:30-14:00 Uhr, Hörsaal 3C (Gebäude 23.01.)
Übungsgruppen: Di. 16:30-18:00 Uhr (Raum 23.21.00.93) oder Mi. 14:30-16:00 (Raum 23.21.00.99)
Jede/r nimmt an einer Übungsgruppe teil.
Abschlusstest: 21. Januar 2025, Di. 12:30 (Gebäude 23.21 - PC-Pool 00.97)
Wichtige Links
- eLearning Plattform
- SWISH - SWI Prolog Online
- Unser Pad zum schnellen Austausch von Codeschnipseln
- Hauptliteratur zum Kurs: Patrick Blackburn, Johan Bos, and Kristina Striegnitz. Learn Prolog Now! (klassische Onlineversion)(experimentelle interaktive Onlineversion)
- RocketChat für Fragen und aktuelle Informationen zum Kurs
Folien
- 1. Kapitel: Fakten, Regeln und Anfragen
- 2. Kapitel: Matching und Beweisführung
- 3. Kapitel: Rekursion
- 4. Kapitel: Listen
- 5. Kapitel: Arithmetik
- 6. Kapitel: Listenprädikate
- 7. Kapitel: DCGs
- 8. Kapitel: parametrisierte DCGs
- 9. Kapitel: Terme
- 10. Kapitel: Cut und Negation
- 11. / 12. Kapitel: fortgeschrittene Prologprädikate
Zusätzliches
- Prolog Grundlagen (Video-Tutorial)
- Real World Programming in SWI-Prolog
- Sammlung möglicher Klausuraufgaben
Installation des SWI-Prologinterpreters
- Windows: Download des SWI-Prolog-Interpreters
- Windows: Download des SWI-Prolog-Editors
- Linux: Installationsanleitung
- MacOS: Installationsanleitung
- Konsultieren von Programmen
- Einführung in den SWI-Prolog-Interpreter
Literaturempfehlungen
- Hauptliteratur zum Kurs: Patrick Blackburn, Johan Bos, and Kristina Striegnitz. Learn Prolog Now! (klassische Onlineversion)(experimentelle interaktive Onlineversion)
- Fortgeschrittene Literatur: Leon Sterling, Ehud Y. Shapiro. The Art of Prolog: Advanced Programming Techniques. (Google Books)