Programmierkurs PROLOG

Konfiguration des Rechnerzugangs

• Computer-Raum für den Rechnerzugang: GB V / Raum U 010 (Rechnernamen natrium, phospor, ...)
• Ändern des Paßworts beim ersten Einloggen mit passwd
• Aufnehmen des Pfades /home/pkpro/pkpro000/bin in die PATH-Systemvariable des Rechnerzugangs durch Einfügen folgender Zeile anm Ende der Datei .cshrc im Home-Verzeichnis (z.B. mit emacs .cshrc /tt>):
        sentenv PATH ${PATH}:/home/pkpro/pkpro000/bin
  Diese Änderung wird es beim nächsten Einloggen bzw. dem nächsten Start einer Shell wirksam.
  
  
• Optional: Ändern der Standard-Shell z.B. in die tcsh mit dem Kommando dtchsh
• Optional: Weiterleiten der E-Mail an eine externe E-Mail-Adresse durch eintragen der gewünschten Ziel-Adresse in eine Zeile in der Datei .forward im Home-Verzeichnis

Konfiguration von Emacs

Tip von Andrea Schweer

Anlegen folgender .emacs Datei im Home-Verzeichnis (unter UNIX bzw. _emacs unter MS Windows), um im Emacs in den Genuß eines Syntax-Highlightings f¨r Prolog zu kommen:

    (custom-set-variables
     '(delete-key-deletes-forward t)
     '(prolog-program-name "pl"))
    (custom-set-faces)
    (global-set-key [f9] 'dabbrev-expand)

    (autoload 'prolog-mode "prolog" "Major mode for editing Prolog programs." t)
    (setq auto-mode-alist (append
                           (list
                            (cons "\\.pl$" 'prolog-mode))
                            auto-mode-alist))

    (add-hook 'prolog-mode-hook 'turn-on-font-lock)

    (add-hook 'prolog-mode-hook '(lambda () (line-number-mode 1)))

Alternativ kann man das Syntax-Highlighting für Prolog einschalten, wenn man eine Prolog-Datei in den Emacs geladen hat, indem man Esc-x prolog-mode und dann Esc-x font-lock-mode in der Emacs-Kommandozeile ausführt.

Starten und Beenden von SWI-Prolog, Laden von Dateien

• Starten von SWI-Prolog: pl
• Anzeigen allgemeiner Hilfe: help.
• Anzeigen von Hilfe zu einem Prolog-Befehl oder Thema: help(Topic).
• Laden einer Prolog-Datei MeinProgramm.pl: [MeinProgramm]. oder ['MeinProgramm.pl'].
• Beenden von SWI-Prolog: halt.

URL dieser Seite:   http://www-ai.cs.uni-dortmund.de/LEHRE/PROLOG/technik.html