Grundkurs Prolog
WiSe 15/16
Organisatorisches
Dozentin: Wiebke Petersen
Hauptsitzung: Di. 14:30-16:00 Uhr in Raum 26.11 HS 6E (Beginn: 20.10.2015)
Übungsgruppen: Mo. 12:30-14:00 Uhr oder Mo. 14:30-16:00 Uhr in Raum 23.21.04.87
Di. 12:30-14:00 Uhr in Raum 23.21.04.87 oder Di. 16:30 - 18:00 Uhr in Raum 23.21.00.85
Beginn 26.10. bzw. 27.10.2015
Jede/r nimmt an einer Übungsgruppe teil
Sprechstunde: Terminkalender
Kontaktdaten: 81-15295
Literaturempfehlungen
- Hauptliteratur zum Kurs: Patrick Blackburn, Johan Bos, and Kristina Striegnitz. Learn Prolog Now! (Online)
- Fortgeschrittene Literatur: Leon Sterling, Ehud Y. Shapiro. The Art of Prolog: Advanced Programming Techniques. (Google Books)
Materialien
- Neu: Stetig wachsende Sammlung möglicher Klausuraufgaben
- Neu: Übungsklausur (Lösung)
- Neu: alte Klausur
- Neu: Materialien aus den Tutorien
- Wichtig: Anleitung zur Installation und Konfiguration des SWI-Prolog-Editors
- Einführung in den SWI-Prolog-Interpreter
Links
- Unser EtherPad zum schnellen Austausch von Codeschnipseln
- Download des SWI-Prolog-Interpreters
- Download des SWI-Prolog-Editors
- Download der Konfigurationsdatei für SWI-Prolog (Rechtsklick → "Speichern unter")
- 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 |
|---|---|---|---|
| 20.10.2015 | Kapitel 1 | Vorbesprechung und Einstieg in Prolog | uebung_01.pl |
| 27.10.2015 | Kapitel 2 | Beweisstrategien | uebung_02.pl |
| 03.11.2015 | Kapitel 3 | Rekursion | — |
| 10.11.2015 | Kapitel 4 | Listen | — |
| 17.11.2015 | Kapitel 5 | Arithmetik | — |
| 24.11.2015 | Kapitel 6 | Listen-Prädikate | — |
| 01.12.2015 | Kapitel 7 | DCGs | — |
| 08.12.2015 | Kapitel 8 | Parametrisierte DCGs | — |
| 15.12.2015 | Kapitel 9 | Terme | — |
| 05.01.2016 | Kapitel 10 | Cut und Negation | — |
| 12.01.2016 | Kapitel 11 und 12 | Manipulation der Datenbasis, Dateien | — |
| 19.01.2016 | Wiederholung: Grammatiken | — | |
| 26.01.2016 | — | Wiederholung: Logikprogrammierung | — |
| 02.02.2016 | — | BN-Test in Hörsaal 6E, AP-Klausur in Hörsaal 6H | — |
| 09.02.2016 | — | 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.