Grundkurs Prolog
WiSe 17/18
Organisatorisches
Dozentin: Wiebke Petersen
Hauptsitzung: Mo. 14:30-16:00 Uhr in Raum 26.11 HS 6C (Beginn: 09.10.2017)
Übungsgruppen: Mo. 16:30-18:00 Uhr (Raum 24.21.03.63.)
Beginn 09.10.2017
Jede/r nimmt an einer Übungsgruppe teil. Die Gruppe am Dienstag von 16:30-18:00 Uhr wurde wegen zu geringer Beteiligung im Laufe des Semesters eingestellt. Falls Nachfrage besteht, wird sie in den Wochen vor der Klausur wieder geöffnet.
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
- Stetig wachsende Sammlung möglicher Klausuraufgaben
- Übungsklausur (Lösung)
- alte Klausur
- 99 Prolog Problems
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
- Unser EtherPad zum schnellen Austausch von Codeschnipseln
- Link zu unserem Moodle zu finden unter dem Kursnamen "Logische Programmierung mit Prolog"
- SWISH - SWI Prolog Online
- Prolog Grundlagen (Video-Tutorial)
- Real World Programming in SWI-Prolog
Folien
- Organisatorisches
- 1. Kapitel
- 2. Kapitel
- 3. Kapitel
- 4. Kapitel
- 5. Kapitel
- clp(fd)
- 6. Kapitel
- 7. Kapitel
- 8. Kapitel
- 9. Kapitel
- 10. Kapitel
- 11./12. Kapitel
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 |
|---|---|---|---|
| 9.10.2017 | Kapitel 1 | Vorbesprechung und Einstieg in Prolog | |
| 16.10.2017 | Kapitel 2 | Beweisstrategien | |
| 23.10.2017 | Kapitel 3 | Rekursion | |
| 30.10.2017 | fällt aus | ||
| 6.11.2017 | Kapitel 4 | Listen | |
| 13.11.2017 | Kapitel 5 | Arithmetik | |
| 20.11.2017 | Kapitel 6 | Listen-Prädikate | |
| 27.11.2017 | Kapitel 7 | DCGs | |
| 4.12.2017 | Kapitel 8 | parametrisierte DCGs | |
| 11.12.2017 | Kapitel 9 | Terme | |
| 18.12.2017 | Kapitel 10 | Cut und Negation | |
| 8.1.2018 | Kapitel 11/12 | fortgeschrittene Prologprädikate | |
| 15.1.2018 | Klausurwiederholung | ||
| 22.1.2018 | BN-Test, AP-Klausur | ||
| 29.1.2018 | Nachbesprechung |
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 22.1.2018 stattfinden.