Grundkurs Prolog
WiSe 18/19
Organisatorisches
Dozentin: Wiebke Petersen
Hauptsitzung: Mo. 14:30-16:00 Uhr in Raum 26.11 HS 6C (Beginn: 08.10.2018)
Übungsgruppen: Mo. 16:30-18:00 Uhr (24.21.03.62) oder Di. 16:30-18:00 Uhr (24.21.03.61)
Beginn 08.10.2018
Jede/r nimmt an einer Übungsgruppe teil (die Dienstaggruppe wird bei geringer Beteiligung im Laufe des Semesters eingestellt werden)
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
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 |
|---|---|---|---|
| 8.10.2018 | Kapitel 1 | Vorbesprechung und Einstieg in Prolog | |
| 15.10.2018 | Kapitel 2 | Beweisstrategien | |
| 22.10.2018 | Kapitel 3 | Rekursion | |
| 29.10.2018 | Kapitel 4 | Listen | |
| 5.11.2018 | Kapitel 5 | Arithmetik | |
| 12.11.2018 | Kapitel 6 | Listen-Prädikate | |
| 19.11.2018 | Kapitel 7 | DCGs | |
| 26.11.2018 | Kapitel 8 | parametrisierte DCGs | |
| 3.12.2018 | Kapitel 9 | Terme | |
| 10.12.2018 | Kapitel 10 | Cut und Negation | |
| 17.12.2018 | Kapitel 11/12 | fortgeschrittene Prologprädikate | |
| 7.1.2019 | Prologerweiterungen | ||
| 14.1.2019 | Klausurwiederholung | ||
| 21.1.2019 | BN-Test 14:30 und 15:30 (25.41.00.65 und 25.41.00.67), AP-Klausur 14:30 (25.41.00.41). Details siehe Email | ||
| 28.1.2019 | 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 21.1.2019 stattfinden.