Information on Prolog

Date of last revision: 9/22/1993

Prolog is installed on all machines. The command to start the Prolog interperter is "prolog". A brief man page is available on it. Type "man prolog" for more information.

The runtime libraries are installed for SICStus prolog, but the X11 libraries for it are not yet compiled.

There is a prolog editing mode in Emacs that can be used to edit source file. Type "ESC-x prolog-mode" in the buffer you wish to use Prolog editing mode. You can also run Sicstus Prolog from within Emacs by typing "ESC-x run-prolog", which will open another buffer in which will start prolog for you.

Except from installation manual:
Using the emacs interface:

A GNU Emacs mode for SICStus is also included. Inserting the following lines in your ~/.emacs will make the Emacs use this mode automatically when editing files with a .pl extension:

( setq load-path ( cons "/usr/local/lib/sicstus2.1" load -path ) )
( autoload 'run-prolog "prolog"
"Start a Prolog sub-process." t )
( autoload 'prolog-mode "prolog"
"Major mode for editing prolog programs" t )

The Emacs mode will use the value of the environment variable EPROLOG as a shell command to envoke SICStus. This value defaults to "prolog". The Emacs mode provides the following commands:

M-x run-prolog
Run an inferior Prolog process, input and output via buffer *prolog*.

C-c K prolog-compile-buffer
C-c k prolog-compile-region
C-c C-k prolog-compile-predicate
C-c C prolog-consult-buffer
C-c c prolog-consult-region
C-c C-c prolog-consult-predicate

Click here to return to the Helpme menu.