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.)