Logik in der Informatik Prof. Dr. Nicole Schweikardt

Aktuelles

• Am 08.02.2018 findet (planmäßig) keine Prolog-Übung statt.
• Achtung: Am Wochenende 03/04.02 stehen am Institut verschiedene Rechner nicht zur Verfügung (u.a. Referenzrechner Prolog). Deshalb ist die Abgabe von Aufgabe 4 Blatt 13 (und nur für diese Aufgabe) bis Donnerstag, 08.02. 11:10 Uhr, per moodle möglich.
• Der Download für die Datei al.pl (Bearbeitung Übungsblatt 7) wurde zugefügt.
• Bei den Programmen der ersten Woche wurde eine vorläufige Definition für Suchbäume hinzugefügt.
• Achtung der Referenzrechner ist jetzt (wegen der Erreichbarkeit) gruenau6.
• Am 2.11.2017 findet keine Prolog-Übung statt.
• Die Prolog-Übung findet erstmalig in der zweiten Vorlesungswoche, also am 26.10.2017, statt.

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

Programmierresourcen

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