Instituts-Logo Logik in der Informatik
Prof. Dr. Nicole Schweikardt
Humboldt-Logo

Prolog-Übung

zur Vorlesung
Logik in der Informatik

Aktuelles   Abgabehinweise   Downloads   Beispiele aus der Übung    Literatur   Programmierresourcen


Aktuelles


Abgabehinweise für die digitale Abgabe der Prolog-Übungsaufgaben über moodle.

Bearbeiten Sie die Prolog-Übungsaufgaben in Gruppen von zwei bis drei Studierenden. Jede/r Studierende/r darf nur in einer Gruppe vertreten sein, die in der nächsten Woche gern gewechselt werden darf.

Die Abgabe ist immer eine Datei als Prolog-Quellcode mit dem Namen blattx.pl, wobei x durch die aktuelle Blattnummer ersetzt wird. So sollte die Datei für die Abgabe von Aufgabe 4 von Blatt 3 den Namen blatt3.pl tragen.

In jeder Abgabe soll das Prädikat matnr/1 exakt für die Matrikelnummern der an der Bearbeitung beteiligten Studierenden der Gruppe gelten. Wird eine Datei über einen moodle-Account abgegeben, werden frühere Abgaben für diese Aufgabe überschrieben. Wählen Sie eine/n Studierende/n Ihrer Gruppe für die Abgabe über moodle aus. Werden durch mehrere Studierende einer Gruppe Dateien abgegeben, wird nur eine (zufällig gewählte) bewertet.

Beachten Sie, dass wir Ihre Bearbeitung dieser Aufgaben nur dann bewerten, wenn sich der abgegebene Prolog-Quellcode von SWI-Prolog auf gruenau6 ohne Fehlermeldungen laden lässt!

Korrekturanmerkungen zu Ihren Prolog-Abgaben können in Moodle unter Bewertungen (in der Navigationsleiste) eingesehen werden.


Downloads

Hier finden Sie die für die Lösung einzelner Aufgaben benötigten Dateien:


Beispiele aus der Übung

Hier finden Sie zu gegebener Zeit den Quellcode der in der Prolog-Übung verwendeten Beispiele. Ein Großteil dieser Beispiele geht auf das Buch Learn Prolog Now! [BBS] von Patrick Blackburn, Johan Bos und Kristina Striegnitz zurück.


Literatur

[BBS] Patrick Blackburn, Johan Bos, Kristina Striegnitz, Learn PROLOG Now!. Kings College Publications, 2006. Online version.
[SS] Ehud Shapiro, Leon Sterling, The Art of PROLOG: Advanced Programming Techniques. 2nd Edition, MIT Press, 1994.


Programmierresourcen

Wir verwenden SWI-Prolog. Ein Kurzanleitung für den Einstieg in SWI-Prolog finden Sie hier.


Last Modified: 18.07.2018
André Frochaux