Die Übung ist online, jeweils Donnerstags 10:15–11:45. Wir benutzen den „Meetings”-Tab im StudIP-Eintrag der Übung. Es werden keine Aufzeichnungen angefertigt.
Die Übungsblätter werden jeweils am Freitag hier ins Netz gestellt. Die Abgabe muss bis zum Mittwoch der nächsten Woche erfolgen (über die Übungsplattform in StudIP).
Übungsblätter (Sommersemester 2022):
- 1.Übungsblatt: Einführung
(Termin: 21.04.2022, 10:00):
PDF db.pl - 2.Übungsblatt: Datenbank-Anfragen
(Termin: 28.04.2022, 10:00):
PDF cd.pl - 3.Übungsblatt: Rekursion
(Termin: 05.05.2022, 10:00):
PDF empdept.pl - 4.Übungsblatt: Listen
(Termin: 12.05.2022, 10:00):
PDF - 5.Übungsblatt: Suchbaum
(Termin: 19.05.2022, 10:00):
PDF - 6.Übungsblatt: Ableitung, SLD-Baum, eingebaute Prädikate
(Termin: 02.06.2022, 10:00):
PDF - 7.Übungsblatt: Scanner und Definite Clause Grammar
(Termin: 09.06.2022, 10:00):
PDF - 8.Übungsblatt: SLD-Baum und Zahlenrätsel
(Termin: 16.06.2022, 10:00):
PDF - 9.Übungsblatt: Vier gewinnt
(Termin: 23.06.2022, 10:00):
PDF - 10.Übungsblatt: Einfache Typprüfung
(Termin: 30.06.2022, 10:00):
PDF - 11.Übungsblatt: Bottom-Up Auswertung
(Termin: 07.07.2022, 10:00):
PDF - 12.Übungsblatt: Adventure in Prolog
(Termin: 20.07.2022, 24:00):
PDF - ...
Hinweis:
- Postscript-Dateien können mit Aladdin Ghostscript angezeigt und ausgedruckt werden. Teurere Laserdrucker haben einen Postscript-Interpreter eingebaut.
- PDF-Dateien können mit dem Acrobat Reader angezeigt und gedruckt werden (oder Evince unter Linux).
- Diese Übungsblätter haben ein striktes Copyright (C) 2018–2022 von Stefan Brass. Sie dürfen selbstverständlich verwendet werden, um Logische Programmierung und Datenbanken zu lernen oder eventuell auch zu lehren, aber sie dürfen nicht anders als über diese Webseite verbreitet werden (z.B. nicht an anderer Stelle nochmal ins Internet gestellt werden).
Beispiel-Datensammlungen als Prolog-Fakten:
- family.pro (Verwandschaftsbeziehungen: nur DB)
- fam.pl (Verwandschaftsbeziehungen: mit Regeln)
- cd.pro (Komponisten und CDs)
- empdept.pro (Oracle's EMP-DEPT Beispiel-Datenbank)
- doctorate.facts (Doktorvater-Beziehungen: Wissenschaftlicher Stammbaum)
| Prof. Dr. Stefan Brass | Impressum |