Ich hoffe, daß wir am Anfang des Semesters an den Freitag-Terminen einen Rechnerraum der Informatik (Z11 im Keller) nutzen können.
Zeit | Raum | |
Vorlesung | Mi, 14-16 | 1.14 Oettingenstr.67 |
Tutorium | Fr, 8-10 | 1.05 Oettingenstr.67 (ggf. Rechnerraum Z11) |
Beginn | Do, 17.4.02 | 1.14 |
Bei Fragen außerhalb der Veranstaltungszeiten können Sie mir eine Nachricht schicken an
leiss@cis.uni-muenchen.de
oder in meine
Mentorenstunde | Di, 14-15 | Raum B 107, Oettingenstr.67 |
kommen.
http://www.cis.uni-muenchen.de/~leiss/symbolischesProgrammieren-02/prologfolien.ps
zur Verfügung gestellt. Markieren Sie die Seiten, die Sie noch nicht haben, und drucken Sie jeweils nur die aus.
Aufgabe
9+10, Abgabe Mi, 05.6.2002
Abgabetermin verlängert bis Fr. 7.6.2002, in der Übungsstunde
Aufgabe 15+16, Abgabe Mi, 03.07.2002 Freiwillig: tokenizer.mini.pro
Aufgabe 17+18, Abgabe Mi, 10.07.2002
dcg-uebersetzer.pro
Anwesenheitsaufgabe: displayTree, Fr 04.07.02
dottree.pro
Testklausur (= Klausur vom letzten Jahr) zum freiwilligen Selbsttest/Ueben
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.
http://www.uni-hildesheim.de/%7Echlehn/frames_prolog.html
Außerdem findet man im Internet verschiedene Tutorien zu Prolog. Eine gute Suchmaschine findet man unter:
http://www.google.de/