Home      Termine      Kontakt      Folien      Ablauf      Prüfung      Literatur      Software      Links

Logische Programmierung und deduktive Datenbanken

Folien

Die Folien werden jeweils vor der Vorlesung hier ins Netz gestellt (leichte Verbesserungen/Korrekturen sind auch nach der entsprechenden Vorlesung noch möglich). Im Moment stehen hier größtenteils noch die Folien aus dem Sommersemester 2011. Kapitel, die sich wahrscheinlich stärker ändern werden, sind besonders markiert. Es ist auch geplant, dass noch einige wenige Kapitel hinzu kommen. Alle Kapitel werden voraussichtlich noch leicht überarbeitet. Falls Sie die Folien drucken wollen, empfiehlt sich, das erst kurz vor der jeweiligen Vorlesung zu tun.

Folien im Sommersemester 2017 schon überarbeitet:

• 0. Informationen zur Vorlesung (36 Folien)
       [PDF]      [ps, verkleinert]
• ...

Alte Folien (werden mindestens teilweise noch überarbeitet):

• 1. Einführung (wird noch aktualisiert)
       [PDF]      [ps, verkleinert]
• 2. Basic Notions of Predicate Logic (73 Folien)
       [PDF]      [ps, verkleinert]
• 3. Pure Prolog (148 Folien)
       [PDF]      [ps, verkleinert]
• 4. Builtin Predicates (82 Folien)
       [PDF]      [ps, verkleinert]
• 5. Practical Prolog Programming (80 Folien)
       [PDF]      [ps, verkleinert]
• 6. Bottom-Up Evaluation (79 Folien)
       [PDF]      [ps, verkleinert]
• 7. Magic Sets (105 Folien)
       [PDF]      [ps, verkleinert]
• 8. Negation (74 Folien)
       [PDF]      [ps, verkleinert]    [Vortrag zur WFS (PDF)]
• 9. Constraint Logic Programming (19 Folien)
       [PDF]      [ps, verkleinert]
• ...

Hausaufgaben:

• 1. Übungsblatt: Einführung (11./13.04.2017):
       [PDF] [ps, verkleinert] [family.pl] [family.pro]
• 2. Übungsblatt: Vergleich mit SQL (18./20.04.2017):
       [PDF] [ps, verkleinert] [empdept.pl] [empdept.pro] [cd.pl] [cd.pro]
• 3. Übungsblatt: Logik (25./27.04.2017):
       [PDF] [ps, verkleinert] [logic.pl] [logic.pro]
• 4. Übungsblatt: Terme (02./04.05.2017):
       [PDF] [ps, verkleinert] [arith.pl] [arith.pro]
• 5. Übungsblatt: Listen (09./11.05.2017):
       [PDF] [ps, verkleinert]
• 6. Übungsblatt: Unifikation (16./18.05.2017):
       [PDF] [ps, verkleinert]
• 7. Übungsblatt: SLD-Resolution (30.05./01.06.2017):
       [PDF] [ps, verkleinert]
• 8. Übungsblatt: Minimales Modell (06.06./08.06.2017):
       [PDF] [ps, verkleinert]
• 9. Übungsblatt: EIngebaute Pr"adikate (13.06./15.06.2017):
       [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 Folien haben ein striktes Copyright (C) 2012 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)

Stefan Brass (brass@informatik.uni-halle.de), 31. März 2017

URL: http://www.informatik.uni-halle.de/~brass/lp17/folien.html   [XHTML 1.0 Checked]   [CSS Checked]   [Links Geprüft]   [Impressum]