Die Klausurergebnisse hängen im 7. Stock des Uni Hochhauses.

Die Übungen zur Vorlesung Logikprogrammierung finden Donnerstags von 14-16 Uhr im Raum Ü2 statt.


Die Übungszettel werden auf dieser Seite bereitgestellt und Mittwochs in der Vorlesung ausgegeben. Sie müssen am darauf folgenden Mittwoch in der Vorlesung abgegeben werden. Präsenzaufgaben werden in den Übungen gemeinsam bearbeitet und dienen als Vorbereitung auf die selbst zu lösenden Aufgaben. Die Bearbeitung und Abgabe der Aufgaben soll in Zweiergruppen erfolgen.

Prüfungsmodalitäten

Für Bachelorstudierende wird am Ende des Semesters eine Modulprüfung angeboten. Diplom- und Nebenfachstudierende müssen, um einen Leistungsnachweis zu erwerben, ebenfalls eine Prüfung am Vorlesungsende bestehen. Sie müssen sich im Gegensatz zu den Bachelorstudierenden für diese Prüfung qualifizieren, indem sie mindestens 50% der Übungspunkte erreichen.

Prolog

Die Programmieraufgaben sollen in der Programmiersprache Prolog bearbeitet werden. Die Programmdateien sollten klein geschrieben sein und die Endung .pl haben. Sie können dann mittels

?- [Programmname ohne Endung].

im Interpreter geladen werden. Auf den Uni-Rechnern steht ihnen dazu das SICStus Prolog System zur Verfügung, dass Sie mit

/home/prolog/sicstus3.10/bin/sicstus

aufrufen können. Weitere Informationen finden Sie auf der Prolog Seite der Uni. SICStus Prolog ist leider nicht Open Source. Wenn Sie Prolog auf Ihrem eigenen Rechner installieren möchten, können Sie SWI Prolog oder GNU Prolog verwenden.