Entering Prolog and Emacs

To run Prolog under the Emacs interface, type a command such as

     % prolog +
     
     % prolog + command-line-arguments
     

at the operating system prompt. GNU Emacs processes command line arguments in two lots, described in two tables in the GNU Emacs Manual. Under the Quintus Prolog GNU Emacs interface, only switches from the first table can be used, and the most commonly used one is file-to-be-edited. (See ref-pro for full details of starting up Prolog.) Note however that the prolog buffer will not be displayed if the command-line-arguments includes files to be edited. In this case the last file specified on the command line is the one displayed. You can however switch to the prolog buffer by invoking the key binding to switch buffers (usually ^x b) and specifying the prolog buffer name *prolog*.

Another way to start up the interface is from a QUI menu. See qui-ied-ige for how to do this.

A third alternative is to start up Quintus Prolog from within GNU Emacs by typing <ESC> x run-prolog (see ema-ove-eva for a description of how to set the environment variable QUINTUS_PROLOG_PATH, which should be set to the filename of a Prolog executable before you invoke this command. In addition you must specify the directories where the Emacs lisp files in the interface live and load them. Refer to quintus-directory/editor3.5/gnu/README for details.) This should load in a specific set of .el or .elc files. These .elc files are part of the editor subdirectory of the Quintus distribution. (int-dir explains the structure of the Quintus directory.)