CL Programmierung III: Prolog
WiSe 20/21
Organisatorisches
Dozentin: Wiebke Petersen
Veranstaltungsbeginn 02.11.2020
Hauptsitzung: Mo. 14:30-16:00 Uhr (digital)
Übungsgruppen: Mo. 16:30-18:00 Uhr (digital) oder Di. 12:30-14:00 Uhr (präsenz oder digital, wird noch festgelegt)
Jede/r nimmt an einer Übungsgruppe teil.
Die digitalen Sitzungen finden über Webex statt. Die Zugangsdaten findet man im Rocketchat #Prolog2020/21
Wichtige Links
- eLearning Plattform
- SWISH - SWI Prolog Online
- Unser EtherPad zum schnellen Austausch von Codeschnipseln
Folien
- 1. Kapitel: Fakten, Regeln und Anfragen
- 2. Kapitel: Matching und Beweisführung
- 3. Kapitel: Rekursion
- 4. Kapitel: Listen
- 5. Kapitel: Arithmetik
- 6. Kapitel: Listenprädikate
- 7. Kapitel: DCGs
- 8. Kapitel: parametrisierte DCGs
- 9. Kapitel: Terme
- 10. Kapitel: Cut und Negation
- 11. / 12. Kapitel: fortgeschrittene Prologprädikate
Zusätzliches
- Prolog Grundlagen (Video-Tutorial)
- Real World Programming in SWI-Prolog
- Sammlung möglicher Klausuraufgaben
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
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)