Grundkurs Prolog
WiSe 16/17
Organisatorisches
Dozentin: Wiebke Petersen
Hauptsitzung: Mo. 14:30-16:00 Uhr in Raum 26.11 HS 6C (Beginn: 17.10.2016)
Übungsgruppen: Di. 10:30-12:00 Uhr oder Di. 14:30-16:00 Uhr oder Di. 16:30-18:00 Uhr in Raum 23.21.04.87
Beginn 18.10.2016
Jede/r nimmt an einer Übungsgruppe teil
Moodle
Sprechstunde: Terminkalender
Kontaktdaten: 81-15295
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
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
- Prolog Grundlagen (Video-Tutorial)
- Real World Programming in SWI-Prolog
Folien
- Organisatorisches
- 1. Kapitel
- 2. Kapitel
- 3. Kapitel
- 4. Kapitel
- 5. Kapitel
- 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 | Kapitel 1 | Thema | Übungsdateien |
|---|---|---|---|
| 17.10.2016 | Kapitel 1 | Vorbesprechung und Einstieg in Prolog | uebung_01.pl |
| 24.10.2016 | Kapitel 2 | Beweisstrategien | |
| 31.10.2015 | |||
| 07.11.2015 | Kapitel 3 | Rekursion | |
| 14.11.2015 | Kapitel 4 | Listen | |
| 21.11.2015 | Kapitel 5 | Arithmetik | |
| 28.11.2015 | Kapitel 6 | Listen-Prädikate | |
| 05.12.2015 | Kapitel 7 | DCGs | |
| 12.12.2015 | Kapitel 8 | parametrisierte DCGs | |
| 19.12.2015 | Kapitel 9 | Terme | |
| 09.01.2016 | Kapitel 10 | Cut und Negation | |
| 16.01.2017 | Kapitel 11 und 12 | fortgeschrittene Prologprädikate | |
| 23.01.2017 | fortgeschrittene Prologprädikate und Klausurwiederholung | ||
| 30.01.2017 | BN-Test in Hörsaal 6C, AP-Klausur in Hörsaal 6D | ||
| 06.02.2017 | Nachbesprechung | ||
| 09.02.2017 | 14:30 | Nachklausur in Hörsaal 6D | |
| 17.02.2017 | 11:58 | Exkursion zum Arithmeum und zum Haus der Geschichte in Bonn | Anmeldung und Informationen |
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.