Sie haben mit ihrem Account Zugang zu den Maschinen in den Raeumen U 08 bis U 10 ("Metall-Pool") im Geschossbau V (GB V).
Die initiale Konfiguration Ihres Accounts fuer die Veranstaltung Kuenstliche Intelligenz, die Sie sich mit den o.a. Kommandos kopiert haben, brauchen Sie nicht weiter anzupassen. Falls Sie dies dennoch tun moechten, beachten Sie bitte den naechsten Absatz.
Wenn Sie die Konfiguration Ihren eigenen Wuenschen anpassen moechten aendern Sie bitte nicht die Dateien '.cshrc' und '.login' in ihrem Home-Verzeichnis, sondern aendern bzw. erzeugen sie stattdessen bitte gegebenenfalls die entsprechenden Dateien im Unterverzeichnis '~/.environment.privat'. Auf diese Weise koennen Sie sich gegebenenfalls aktualisierte Versionen der Konfigurationsdateien ueberspielen, ohne Ihre eigenen Einstellungen zu ueberschreiben.
Die Shell koennen Sie mit mit dem Befehl 'passwd -r nis -e' aendern.
Mit dem Kommando
muss Quintus-Prolog zunächst in den Pfad aufgenommen werden. Quintus-Prolog kann danach auf verschiedene Weisen gestartet werden:
| Kommando | Beschreibung |
|---|---|
| emacs | Startet den Editor Emacs. Wenn Sie im Emacs die Escape-Taste druecken und gedrueckt halten, die Control-Taste druecken und gedrueckt halten und die Taste 'P' druecken, startet Emacs im aktuellen Buffer (die Kommandozeilenversion von) Quintus Prolog. |
| prolog | Wenn Sie anstelle von Emacs lieber einen anderen Editor verwenden moechten, koennen Sie dies natuerlich auch tun. Dann koennen Sie (die Kommandozeilenversion von) Quintus Prolog in einem Terminalfenster oeffnen, indem Sie 'prolog' eintippen. | qui | Mit diesem Befehl koennen Sie das grafische Quintus User Interface ('qui') starten. Dieses sollte man aber NICHT ZUM EDITIEREN VON PROLOG-DATEIEN VERWENDEN, da diese von 'qui' manchmal veraendert werden. Verwenden Sie stattdessen lieber einen der beiden vorherigen Menue-Eintraege! |
Wenn Sie Quintus Prolog starten, erscheinen zuerst eine Fehlermeldung, die Sie ignorieren koennen:
Am Prolog-Prompt ('?-') koennen Sie jetzt beliebige Prolog-Kommandos eintippen. Beachten Sie hierbei, dass Sie jedes Kommando mit einem Punkt abschliessen muessen und druecken Sie anschliessend die Return-Taste.
Mit 'help.' erhalten Sie eine allgemeine Hilfe, mit 'help(Topic).' Hilfe zu einem bestimmten Thema 'Topic', wobei 'Topic' ein Atom sein muss (z.B. 'help(file).' fuer Informationen ueber Dateikommandos). Mit 'manual(manual)' erhalten Sie Informationen ueber das Online-Manual und mit 'manual(Predicate)' erhalten Sie Informationen ueber das Praedikat 'Predicate' (z.B. 'manual(consult).'). In einem Manual- Eintrag kann man mit 'Return' eine Zeile und mit 'Leertaste' gefolgt von 'Return' eine Seite weiterblaettern. In einem Manual-Menue waehlt man einen Menue-Punkt, indem man das hinter diesem Punkt stehende Praedikat (mit dem angegebenem Argument) aufruft.
Mit "consult('my_prolog_file.pl')" oder einfach "consult(my_prolog_file)" koennen Sie die Prolog-Datei "my_prolog_file.pl" einladen. Beachten Sie hierzu bitte die Hinweise im Skript zur Vorlesung bezueglich des Kommandos "consult". Das gleiche kann man mit "[my_prolog_file]." erreichen.
Stellt man eine Anfrage an Prolog (z.B. 'p(X).' = 'Gibt es ein X, fuer das p(X) gilt ?'), so sucht Prolog zunaechst nur die erste Loesung (z.B. 'X = a'), falls es eine Loesung gibt. Mit ';' (Semikolon) erhaelt man die jeweils naechste Loesung (z.B. 'X = b'), falls es eine solche gibt, bzw. 'no' sonst.
Mit 'halt.' koennen Sie Prolog beenden. Emacs koennen Sie mit 'Ctrl + X + C' beenden (oder ueber das Menue 'File', Eintrag 'Exit Emacs'). Mit 'Ctrl + X' und dann 'S', kann man die Datei im aktuellen Buffer von Emacs speichern. Hierzu kann man wiederum auch das Menue verwenden.