Einführung in Prolog
WiSe 25/26
Organisatorisches
Dozentin: Wiebke Petersen
Hauptsitzung: Di. 12:30-14:00 Uhr, Raum 03.84 (Gebäude 24.21)
Übungsgruppen: Di. 14:30-16:00 Uhr oder Do. 16:30-18:00 Uhr (CIP-Raum 23.21.00.99)
Jede/r nimmt an einer Übungsgruppe teil.
Abschlusstest: 27. Januar 2026, Di. 12:30
Wichtige Links
- eLearning Plattform
- SWISH - SWI Prolog Online
- Hauptliteratur zum Kurs: Patrick Blackburn, Johan Bos, and Kristina Striegnitz. Learn Prolog Now! (klassische Onlineversion)(experimentelle interaktive Onlineversion)
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)