Die Raumangabe im Vorlesungsverzeichnis stimmen nicht mehr! Dienstags sind wir im Rechnerraum Z36 der Informatik und in Z11 (Keller), Donnerstags in 1.27.
Zeit | Raum | |
Vorlesung | Do, 15-17 | 1.27, Oettingenstr.67 |
Tutorium | Di, 11-13 | Z36, Oettingenstr.67 |
Beginn | Di, 23.4. | 1.14 (an diesem Tag im Raum wie im Vorlesungsverzeichnis!) |
Bei Fragen außerhalb der Veranstaltungszeiten können Sie eine Nachricht schicken an mich oder Simone Leonardi
leiss@cis.uni-muenchen.de bzw. simone@cis.uni-muenchen.de
oder in meine
Mentorenstunde | Do, 14-15 | Raum B 107, Oettingenstr.67 |
kommen. (Der Termin ist gegenüber dem Vorlesungsverzeichnis und den Informationsbroschüren verschoben, weil er sich in diesem Semester mit dem PROLOG-Tutorium überscheidet.)
http://www.cis.uni-muenchen.de/~leiss/symbolischesProgrammieren-01/prologfolien.ps
zur Verfügung gestellt. Markieren Sie die Seiten, die Sie noch nicht haben, und drucken Sie jeweils nur die aus.
Anwesenheitsaufgabe 1, Di 29.5. |
Anwesenheitsaufgabe 2, Di 29.5. |
Anwesenheitsaufgabe 3, Di 29.5. |
Aufgabe
5 + 6, Abgabe Donnerstag, 7.6.01, (in der Vorlesung)
Abgabetermin verlängert auf Dienstag, 12.6.01 (im Tutorium)
Aufgabe 10+11, Abgabe Donnerstag, 28.6.01, (in der Vorlesung)
*Aufgabe 11 korrigiert!* (25.6.)
Anwesenheitsaufgabe 1, Di 26.6. blaetter.pro |
Anwesenheitsaufgabe 2, Di 26.6. dottree.pro |
wo man sich eine Kopie von SWI-Prolog besorgen kann, um es auf dem eigenen PC zu installieren. Auf dieser Seite findet man im Abschnitt Documentation eine WWW-Version des Handbuchs für SWI-Prolog.
Schneller ist es, wenn man die Kopie der Dokumentation am CIS benutzt; sie befindet sich unter der Adresse
Man sucht in der Dokumentation durch Anklicken der 4 Bilder in der ersten Zeile.
Man kann SWI-Prolog auf den Rechnern in Z11 auf drei Arten benutzen:
In einem X-Terminal (oder auch ohne Fensterumgebung) gibt man auf der Unix-Shell den Befehl
pl
ein; dann startet SWI-Prolog 4.0.2 (wenn nicht, bitte beim Superuser oder bei mir melden!). Es hat ein integriertes graphisches Hilfesystem, einen graphischen Tracer zur Fehlersuche, und eine schlanke Version des Emacs-Editors geladen. Mit dem SWI-Prolog-Befehl
help(Befehl). oder apropos(Thema).
kann man dann über ein Hilfsfenster Information über einen PROLOG-Befehl oder ein Thema im Handbuch suchen lassen. Mit dem SWI-Prolog-Befehl
emacs.
kann man eine Nachahmung des Emacs-Editors (s.u.) aufrufen, der in einem eigenen Fenster startet. (- vorausgesetzt, daß man Prolog unter der X-Bedienoberfläche gestartet hat). Mit dem SWI-Prolog-Befehl
guitracer.
kann man den graphischen oder ,,symbolischen'' Tracer aufrufen, der dazu benutzt werden kann, die Abarbeitung eines Programms schrittweise zu verfolgen. (Der Tracer muß aber mit weiteren Befehlen, debug. oder trace. oder spy(Befehl) eingeschaltet werden.) Mit dem SWI-Prolog-Befehl
manpce.
kann man Hilfe über die Programmierung der graphischen Bedienoberfläche bekommen. Es erscheint ein Fenster, wovon wir höchstens brauchen, daß man unter ,,Tools'' u.a. den Emacs-Editor und den graphischen ,,Tracer'' findet.
;;; Emacs-mode fuer SWI-Prolog, am CIS auf Z11-Rechnen 22.4.2001 (if (equal (getenv "OSTYPE") "linux") (load-file "/usr/local/lib/emacs/site-lisp/.emacs.prolog-kurs.swi") ;; nicht aktuell! t)
Findet man (mit ls ~/.emacs) diese Datei nicht, so speichere man diese hier unter dem Namen ~/.emacs.
;;; ------------------------ Prolog - Unterstuetzung ------------------------------ ;;; Beim Laden von Dateien mit Namen "<Datei>.pro" automatisch in Prolog-mode gehen: (setq auto-mode-alist (cons '("\\.pro$" . prolog-mode) auto-mode-alist)) ;;; Welches Prolog-System? SWI-Prolog 4.0.3 vom April 2001 (setq prolog-system 'swi) ;;; Wo ist der System-Aufruf davon? Es ist installiert unter /soft/bin/pl4: (setq prolog-program-name "pl4") ;;; In welchem Verzeichnis liegt die Datei "prolog.el" des Emacs? (load-file "/soft/share/emacs/site-lisp/.emacs-addon") ;;; Mit "Esc-x run-prolog" im Emacs Prolog starten: (autoload 'run-prolog "prolog" "Run an inferior prolog process" t) ;;; Mit "Esc-x prolog-mode" einen Puffer in Prolog-mode setzen: (autoload 'prolog-mode "prolog" "Mode for editing Prolog programs" t) ;;; --------------------------------------------------------------------------------
emacs oder emacs meineDatei.pro
Dort kann man unter dem Menüpunkt Files eine neue Datei erstellen oder eine vorhandene wie meineDatei.pro in einen Puffer Buffer des Editors laden.
Falls der Dateiname in ".pro" endet, erscheint auf der Menüleiste ein Feld Prolog. Durch Anklicken des Menüs kann man dann bequem z.B.
Falls der Dateiname anders endet, kann man das Prolog-Menü auch durch
Esc-x prolog-mode
bekommen. (Mehr dazu im Tutorium.)
halt. oder ^D d.h. gleichzeitigem Drücken der Ctrl bzw. Strg-Taste und der Taste d.
Wenn sich das Programm in einer Endlosschleife befindet, muß man es durch Eingabe von
^C d.h. gleichzeitigem Drücken der Ctrl bzw. Strg-Taste und der Taste c
stoppen und kann es dann mit
halt. oder ^D
abbrechen.
consult('meineDatei.pro'). oder ['meineDatei.pro'].
eingibt (ggf. mit passenden Pfadnamen).
Dateien mit Prolog-Programmen sollten einen Namen tragen, der mit ,,.pro'' endet. Daran erkennt der Emacs-Editor, daß es sich um PROLOG-Programme handeln soll; er kann dann die Schlüsselwörter von PROLOG farbig markieren und die Programme lesbar formatieren. Außerdem bietet er dann ein Menü Prolog an, in dem man bestimmte Befehle, z.B. das Laden einer Programm-Datei in das laufende PROLOLG-System, durch anklicken mit der Maus aufrufen kann.
zusammengefaßt, die man sich (doppelseitig: mit Druckeroption lpr -Plp) ausdrucken kann. Unter dem Menü Help findet man im Emacs auch ein Tutorium zur Bedienung, wo die Befehle genauer erklärt werden. Es lohnt sich, das frühzeitig zu lernen.
Außerdem findet man im Internet verschiedene Tutorien zu Prolog. Eine gute Suchmaschine findet man unter:
http://www.google.de/