Logik in der Informatik Prof. Dr. Nicole Schweikardt

Aktuelles

• Am 31.1.19 fand (planmäßig) die letzte Prolog-Übung für diese Semester statt.
• Die Abgabe der Prologaufgabe (Aufgabe 4) vom Blatt 8 ist bis zum 15. Januar möglich.
• Die Prolog-Übung findet erstmalig in der zweiten Vorlesungswoche, also am 25.10.2018, statt.

Abgabehinweise für die -digitale- Abgabe der Prolog-Übungsaufgaben über moodle (ab vsl. Übungsblatt 3).

Bearbeiten Sie die Prolog-Übungsaufgaben in Gruppen von drei (in Ausnahmen von vier) 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 und die Abarbeitung gegebener Beispielanfragen nicht länger als 10 Sekunden dauert!

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

Literatur

Programmierresourcen

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