Übungen zur Vorlesung Logikprogrammierung

Organisatorische Hinweise zum Übungsbetrieb

Um einen Übungsschein zu erwerben muß am Ende des Semesters eine Prüfung bestanden werden. Um zu dieser Prüfung zugelassen zu werden, müssen 50% der Punkte in den Übungen erreicht werden. Zusätzlich muss jeder Teilnehmer einige Aufgaben in den Übungen vorrechnen. Daher wird auf die regelmässige Teilnahme an den Übungsstunden Wert gelegt.
Klausurtermin: Dienstag, den 15.7., 11:45 Uhr bis 14:00 Uhr im Ü1
Als Präsenzaufgaben gekennzeichnete Aufgaben werden in der Übung gemeinsam bearbeitet. Sie dienen als Vorbereitung auf die selbst zu bearbeitenden Aufgaben.
Die Bearbeitung und Abgabe der Übungen soll in Zweiergruppen erfolgen.
Programmtexte sollen sowohl als Ausdruck in der Vorlesung abgegeben als auch per Mail rechtzeitig vor dem Abgabetermin an Klaus Höppner geschickt werden.

Beispiele zur Vorlesung

das Labyrinth Beispiel aus der Vorlesung

Klausurtermin

Die Klausur findet am Dienstag, den 15.7., von 11.45 Uhr bis 14:00 Uhr im Ü1 statt. In der Klausur dürfen Skripte, Mitschriften und beliebige Übungsunterlagen verwendet werden.

Klausur-Ergebnisse

Die Klausur-Ergebnisse hängen jetzt im Hochhaus (CAP4) im 7. Stock am Schwarzen Brett aus. Scheine gibt es Anfang des nächsten Semesters bei Frau Markward.

Aufgabenblätter und Lösungen

Übungsblätter werden jeweils Dienstags in der Vorlesung ausgegeben und sollen genau eine Woche später in der Vorlesung abgegeben werden.

  1. Übung: Abgabe am 15.4.   Übungsblatt
  2. Übung: Abgabe am 22.4.   Übungsblatt
  3. Übung: Abgabe am 29.4.   Übungsblatt
  4. Übung: Abgabe am 6.5.   Übungsblatt
  5. Übung: Abgabe am 13.5.   Übungsblatt
  6. Übung: Abgabe am 20.5.   Übungsblatt
  7. Übung: Abgabe am 27.5.   Übungsblatt
  8. Übung: Abgabe am 3.6.   Übungsblatt
  9. Übung: Abgabe am 17.6.   Übungsblatt
10. Übung: Abgabe am 24.6.   Übungsblatt     Orginaltext von Aufgabe 37;
11. Übung: Abgabe am 1.7.   Übungsblatt
12. Übung: Abgabe am 8.7.   Übungsblatt
13. Übung: keine Abgabe      Übungsblatt

Software

Prolog

In den Übungen soll das SICStus Prolog System verwendet werden. Auf den Uni-Rechnern läßt sich der Interpreter mit /home/prolog/sicstus3.10/bin/sicstus starten.
Es ist natürlich auch möglich, andere Prolog-Systeme, z.B. auf Ihren eigenen Linux- oder Windowsrechnern zu benutzen.
Prolog Programm Dateien sollten mit einem Kleinbuchstaben beginnen und die Endung .pl haben. Sie können im Interpreter mittels ?- [Programmname ohne Endung]. geladen werden.
Dokumentation

Webseite zum Prolog-System im Grundausbildungspool/Lehrstuhl.
Online-Manual für SICStus Prolog 3.10. Download als PDF ist hier möglich.
SWI-Prolog ist ein freier Prolog Compiler für Linux, Windows und MacOs.
Ein weiterer freier Prolog Compiler für Linux und Windows ist GNU-Prolog.

Klaus Höppner