KI-Ü SoSe 95
Diese Hinweise wurden zusammen mit der Rechnernummer
ausgegeben.
Hinweise zum KI-Ü Rechnerzugang
- Standort der Rechner: GB V, Raum 8 bis 10. Circa
25 Sun Workstations benannt nach
chemischen Elementen (Metalle, Halbleiter, Edelgase).
- Einrichten des eigenen Accounts:
Nach dem erstmaligen Einloggen sollten Sie sich die vorbereiteten
Konfigurationsdateien in Ihr Heimatverzeichnis kopieren:
tar xf ~ki000/account.tar
- Drucken mit dem lpr-Kommando auf den
zentralen Laserdrucker.
Budgetierung: Es können maximal 90 physikalische Seiten gedruckt
werden, d.h. mit der Standardeinstellung des nd50 Drucksystems (4 logische
Seiten verkleinert auf eine physikalische) bis zu 360 Seiten.
Außerdem stehen die beiden Pool-Drucker ax21 und
ax31 zur Verfügung - dort zählt allerdings eine
logische wie eine physikalische Seite.
- Auf die Web-Information zur KI-Übung
kann mit Mosaic http://ls4-www.cs.tu-dortmund.de/Lehre/95-41066.html
zugegriffen werden. Sie enthält online-Versionen dieser
Rechnerhinweise, des Organisatorischen und der Übungszettel.
Hinweise zu Quintus Prolog
- Für Prolog-Sitzungen am Grafikterminal sollte nach dem Einloggen
OpenWindows gewählt werden.
- Starten des Prolog-Systems
- prolog (Textterminal-Variante)
- qui (Grafikterminal-Variante)
Letztere ist auch mit der Maus über Workspace/Commands/prolog
startbar.
- Nutzen Sie die themen- und stichwortbezogene Online-Hilfe des
Prolog-Systems.
Start des Hilfesystems in der Grafikvariante über den Help
Eintrag der Menüleiste, in der Textvariante durch Eingabe von
help.
- Debuggen von Prolog-Programmen:
Kapitel E der Online-Hilfe erklärt die Analysemöglichkeiten für
den Programmablauf. Dort ist auch zum Schnellstart ein kleines Beispiel
zum Nachvollziehen enthalten.
In der Grafikvariante sind über den Debug Eintrag der
Menüleiste die Debug-Startoptionen wählbar und triggern das
Erscheinen eines Debugger-Fensters.
Tips
- Wer das lästige piepsen vom emacs leid ist, fügt einfach
folgende Zeile zu ~/.emacs hinzu:
(setq visible-bell t)
- Wer nicht diese fitzelig kleinen Buchstaben von qui will,
legt eine Datei ~/Qui3.2 an, mit dem Inhalt:
qui*font: 9x15bold
qui*fontList: 9x15bold
Oder mit anderen ansprechenden Zeichensätzen (siehe xlsfonts(1)).
Ralf Lübeck,
Arnulf Mester,
1995-04-25