Übungen zur Vorlesung Deklarative Programmiersprachen

Organisatorische Hinweise zum Übungsbetrieb

• Für das Erwerben eines Übungsscheines 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.
• Für die Aufgaben werden je nach Schwierigkeitsgrad 1 oder 2 Punkte vergeben, wenn die Aufgabe im Prinzip richtig gelöst ist, d.h., ein Rechen- oder Syntaxfehler führt nicht direkt zu einem Punktabzug.
• Als Präsenzaufgaben gekennzeichnete Aufgaben werden in der Übung jeweils eine Woche vor dem Abgabetermin vorgerechnet. Sie dienen als Vorbereitung auf die selbst zu bearbeitenden Aufgaben.
• Die Bearbeitung und Abgabe der Übungen kann in Zweiergruppen erfolgen.
• Programmetexte sollen sowohl als Ausdruck in der Übung abgegeben als auch per Mail rechtzeitig vor dem Abgabetermin an Frank Steiner geschickt werden

Hinweise zur Benutzung der Rechner im Raum 709

• Für die Programmieraufgaben werden Logins an unserem Lehrstuhl zur Verfügung gestellt. Die Logins werden in der ersten Übungsstunde bekanntgegeben.
• Die Rechner können im Prinzip jederzeit benutzt werden. Falls der Raum abgeschlossen ist, wenden Sie sich bitte an die Sekretärin oder einen Assistenten. Das Sekretariat befindet sich auf der anderen Seite des Flurs. Wenn Sie dort niemanden antreffen, klopfen Sie sich einfach durch die Zimmer, bis Sie jemanden finden, der Ihnen aufschliesst :-) Abends können Sie arbeiten, bis Sie jemand rauswirft. Falls Sie nach 19:00 Uhr gehen, beachten Sie bitte, dass sich nur die Tür rechts von den Drehtüren am Haupteingang immer von innen öffnen lässt.
• Programmlistings können Sie durch

  lpr -Phpmh filename

  ausdrucken. Der Drucker steht direkt neben dem Rechnerraum im Flurende.

Aufgabenblätter und Lösungen

Das 2. Übungsblatt wird noch am Donnerstag, den 20.4., ausgegeben und soll am Mittwoch den 26.4. in der Übungsstunde abgegeben werden. Ab Dienstag, dem 25.4., werden die Übungsblätter jeweils Dienstags in der Vorlesung ausgegeben und sollen genau eine Woche später in der Vorlesung abgegeben werden.

•   1. Übung: Abgabe am 19.4.   Übungsblatt     Lösungen
•   2. Übung: Abgabe am 26.4.   Übungsblatt    
•   3. Übung: Abgabe am 02.5.   Übungsblatt     Die Webseite zu Aufgabe 8     Lösungen    
•   4. Übung: Abgabe am 16.5.   Übungsblatt     Lösungen    
•   5. Übung: Abgabe am 23.5.   Übungsblatt     Lösungen    
•   6. Übung: Abgabe am 30.5.   Übungsblatt     Lösungen    
•   7. Übung: Abgabe am 06.6.   Übungsblatt     Lösungen    
•   8. Übung: Abgabe am 13.6.   Übungsblatt     Lösungen    
•   9. Übung: Abgabe am 20.6.   Übungsblatt    
• 10. Übung: Abgabe am 27.6.   Übungsblatt     Lösungen    
• 11. Übung: Abgabe am 04.7.   Übungsblatt     Lösungen    
• 12. Übung: Abgabe am 11.7.   Übungsblatt     Lösungen    
• 13. Übung: Abgabe am 18.7.   Übungsblatt     Lösungen    

Software

Hugs

Hugs ist ein frei verfügbarer Interpreter für die Programmiersprache Haskell. Sie können zur Bearbeitung der Übungsaufgaben entweder die Installation auf den Uni-Rechner verwenden, aber sich Hugs auch auf Ihrem eigenen PC installieren.

Dokumentation

• Webseite zum Hugs-System im Grundausbildungspool/Lehrstuhl (in Arbeit).
• Offizielle Hugs-Homepage.
• Online-Manual für Hugs. Download als HTML oder Postscript ist hier möglich.
• A Gentle Introduction To Haskell ist eine Online-Einführung in die Sprache Haskell. Dort gibts auch Postscript-Versionen zum Runterladen.
• Einen Haskell-Kurs in Deutsch von Ralf Hinze gibts auch.

Software

Vorkompilierte Versionen für Windows, Macintosh und Linux sowie die Sourcen finden Sie hier. Achtung: Das Linux-rpm ist in Bezug auf die Abhängigkeitsanforderungen ziemlich idiotisch gemacht. Wer neuere Versionen als die geforderten installiert hat, kann das Paket mit "rpm -i --nodeps hugs98-Feb2000-1.i386.rpm" trotzdem installieren. Falls es dabei Probleme gibt oder nur ältere Versionen mancher Libraries installiert sind, kann man von der obigen URL auch das Source-RPM runterladen und ein neues Binary-RPM erzeugen. Das funktioniert sehr gut.

PAKCS

PAKCS (Portland Aachen Kiel Curry System) ist ein Interpreter für die logisch-funktionale Programmiersprache Curry. Da PAKCS die Curry-Programme in SICStus Prolog, einen nicht frei verfügbarer Prolog-Compiler, übersetzt, können wir leider keine Version anbieten, die Sie zu Hause auf ihren eigenen Rechnern installieren können. Sie können PAKCS auf den Rechern des Lehrstuhls unter Verwendung ihrer Übungsaccounts ausführen.

Benutzung von PAKCS auf den Lehrstuhlrechnern

PAKCS ist unter dem Login pakcs installiert. Der Aufruf erfolgt durch Eingabe von

/home/pakcs/bin/curry2prolog

Sie können auch /home/pakcs/bin/ in ihren Pfad aufnehmen und PAKCS dann durch Eingabe von curry2prolog starten. Der erste Start kann ein bisschen länger dauern, weil erst ein Java-Parser im Hintergrund geladen wird, also nicht wundern ;-) Nach dem Start steht eine interaktive Umgebung zur Verfügung, die der von Hugs gleicht. Durch Eingabe von

:h	

erhalten Sie eine Liste mit Befehlen, die Sie in PAKCS eingeben können. Die wichtigsten Befehle sind:

:l prog	Einlesen eines Programms prog.curry
:r	Erneutes Einlesen des zuletzt geladenen Programms
ausdruck	Auswertung eines Ausdrucks. Hierbei gibt es einen wichtigen Unterschied zu Hugs: Aufgrund des möglichen Nichtdeterminismus in logisch-funktionalen Sprachen können evtl. mehrere Ergebnisse/Lösungen zu einem Ausdruck existieren. Zunächst wird aber immer nur ein Ergebnis berechnet. Durch Eingabe eines Semikolons und Return/Enter können Sie die Berechnung eines weiteren Ergebnisses anfordern. Sollte kein weiteres Ergebnis existieren, antwortet PAKCS mit No more solutions. Wenn Sie statt eines Semikolons direkt Return/Enter drücken, wird die Berechnung sofort beendet.
:t ausdruck	Typ des Ausdrucks anzeigen
:e funktionsname	Auswertungsregeln einer Funktion anzeigen
:q	PAKCS beenden

Dokumentation

• Auf den Webseiten zur Sprache Curry finden Sie eine Menge Informationen über die Sprache selbst sowie über existierende Implementierungen., insbesondere auch über PAKCS.
• Der Curry-Report beschreibt ausführlich die Sprache Curry.
• Manual zum PAKCS-System
• Doku-Raum Nr. 704 (Büro des Assistenten)  ;-)
• Einige Beispielprogramme finden Sie unter /home/pakcs/pakcs/examples.

Eingabe von Programmtexten

Achten Sie bei der Eingabe von Curry-Programmen darauf, keine Tabulatoren zu verwenden, sondern die Einrückungen nur durch Leerzeichen zu erreichen. Der Parser von PAKCS kommt mit Tabulatoren nicht zurecht. Wenn Sie aus Versehen doch einen Tabulator verwenden, wird PAKCS einen Syntaxerror melden oder ungefähr folgende Fehlermeldung ausgeben:

Lexical error at line 16, column 8.  Encountered: "\t" (9), after : ""

Falls Sie zur Eingabe den den (X)Emacs verwenden wollen, können Sie einen speziellen Curry-Modus verwenden, bei dem z.B. die Schlüsselwörter eingefärbt werden. Legen Sie dazu eine Datei mit dem Namen .emacs (den Punkt nicht vergessen!) in ihrem Home-Verzeichnis an und fügen Sie dort folgende Zeilen ein:

(setq load-path (cons "/home/curry/lib/" load-path))

(setq auto-mode-alist
      (append auto-mode-alist
              '(("\\.curry$"  . curry-mode)
                ("\\.lcurry$"  . literate-curry-mode))))

(autoload 'curry-mode "curry-mode"
  "Major mode for editing Curry programs." t)
(autoload 'literate-curry-mode "curry-mode"
  "Major mode for editing literate Curry programs." t)

(add-hook 'curry-mode-hook 'turn-on-curry-font-lock)
(add-hook 'curry-mode-hook 'turn-on-curry-decl-scan)
(add-hook 'curry-mode-hook 'turn-on-curry-indent)
(add-hook 'curry-mode-hook 'turn-on-curry-hugs)