Die Übungsblätter werden jeweils vor der Vorlesung hier ins Netz gestellt. Die Abgabe muss bis zum Donnerstag der nächsten Woche, ebenfalls vor der Vorlesung, erfolgen.
Aktuelle Übungsblätter (Sommersemester 2019):
- 1.Übungsblatt: Einführung (10.04.2019):
PDF ps. verkleinert family.pl family.pro - 2. Übungsblatt: Vergleich mit SQL (17.04.2019):
PDF ps. verkleinert empdept.pl empdept.pro cd.pl cd.pro - 3. Übungsblatt: Vergleich mit SQL (24.04.2019):
PDF ps. verkleinert doctorate.facts advisor.facts - Hausaufgabe 3b: Aufgaben e) Primzahl-Test und f) ggT-Berechnung vom Blatt 3 (08.05.2019)
- 4. Übungsblatt: Terme, Operatorsyntax (15.05.2019):
PDF ps. verkleinert - 5. Übungsblatt: Listen (22.05.2019):
PDF ps. verkleinert - 6. Übungsblatt: Unifikation (29.05.2019):
PDF ps. verkleinert - 7. Übungsblatt: SLD-Resolution (18.06.2019):
PDF ps. verkleinert - 8. Übungsblatt: Minimales Herbrandmodell (26.06.2019):
PDF ps. verkleinert tp0.pl sld.pl - 9. Übungsblatt: Eingebaute Prädikate (03.07.2019):
PDF ps. verkleinert - 10. Übungsblatt (10.07.2019):
PDF ps. verkleinert viergew.pl (das sollten Sie schlagen) - 11. Übungsblatt (Bonus-Aufgabe bis 22.07.2019):
PDF ps. verkleinert - ...
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 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)
- cd.pro (Komponisten und CDs)
- empdept.pro (Oracle's EMP-DEPT Beispiel-Datenbank)
- doctorate.facts (Doktorvater-Beziehungen: Wissenschaftlicher Stammbaum)
Prof. Dr. Stefan Brass | Impressum |