CL Programmierung III: Prolog
WiSe 19/20
Organisatorisches
Dozentin: Wiebke Petersen
Hauptsitzung: Mo. 14:30-16:00 Uhr in Raum 24.21.U1.82 (Beginn: 07.10.2019)
Übungsgruppen: Mo. 16:30-18:00 Uhr (24.21.03.62-64)
Veranstaltungsbeginn 07.10.2019
Jede/r nimmt an einer Übungsgruppe teil (die Dienstaggruppe wurde aufgrund von geringer Beteiligung im Laufe des Semesters eingestellt)
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)
zusätzliche Übungsmaterialien
- Unser EtherPad zum schnellen Austausch von Codeschnipseln
- Link zu unserem Moodle zu finden unter dem Kursnamen "Logische Programmierung mit Prolog"
- Sammlung möglicher Klausuraufgaben (wachsend)
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
Links
- SWISH - SWI Prolog Online
- Prolog Grundlagen (Video-Tutorial)
- Real World Programming in SWI-Prolog
- eLearning Plattform
Folien
Folien (Druckversion)
- Organisatorisches
- 1. Kapitel
- 2. Kapitel
- 3. Kapitel
- 4. Kapitel
- 5. Kapitel
- 6. Kapitel
- 7. Kapitel
- 8. Kapitel
- 9. Kapitel
- 10. Kapitel
- 11./12. Kapitel
Vorlesungen
| Datum | Kapitel1 | Thema | Zusatzmaterial |
|---|---|---|---|
| 7.10.2019 | Kapitel 1 | Vorbesprechung und Einstieg in Prolog | |
| 14.10.2018 | Kapitel 2 | Beweisstrategien | |
| 21.10.2018 | Kapitel 3 | Rekursion |
1 Die Kapitel beziehen sich auf das Buch Learn Prolog Now! (unter Literaturempfehlungen). Sie sollten neben der Teilnahme an den Lehrveranstaltungen und Übungssitzungen zusätzlich die Kapitel aus dem Buch lesen.
Die AP-Klausur und der BN-Test werden am 21.1.2019 stattfinden.