qui
-- Quintus User Interfacequi [ +f ] [ +l file ] [ +L file ]
[ +p [path-name] ] [ +P [path-name] ] [ X-window arguments ] [ +z users arguments ]
The Quintus User Interface (QUI) is a Motif-based window interface to the Quintus Prolog Development System. It includes a query interpreter window with history menu, a source linked debugger, a help window for accessing the on-line manuals and an edit window as well as an interface to the GNU Emacs editor.
Any argument that does not match options
described in this section and does not start with a +
is regarded as a
user's argument. The user's arguments may be obtained using the
prolog command unix(argv(ListOfArgs)). If a user's argument needs to
begin with a +
, it should be issued as ++
instead or given after the
+z
option. Double pluses will be translated into a single plus, so the
user's code will not see the ++
.
Arguments beginning with +
are reserved for Prolog, and
an unrecognized argument starting with a +
is treated as an error.
+f
prolog.ini
will
not be read upon startup.
+l
file
file
, ~/prolog/file.pl
) or as a file search path specification
(e.g. library(file)
, home(language(file))
). Note, however, that the
latter needs to be quoted to escape
the shell interpretation of the parentheses. Giving the extension is not
necessary; if both source (.pl
) and QOF (.qof
) files exist, the
more recent of the two will be loaded.
+L
file
+l
but the user's
environment variable PATH
will be searched for the specified file.
+p [
path-name]
library
if
+p lib
is specified); path-name is optional, and if not given,
all file search path definitions are printed; QUI exits
after producing the required output to stdout
.
+P [
path-name]
+p
, but the absolutized versions of
the file search path definitions are printed.
-display
displayname
, -fg
color
, -bg
color
.
+z
user's-arguments
+z
are taken as
user's arguments. User's arguments can then be obtained through
unix(argv(ListOfArgs))
.
QUINTUS_EDITOR_PATH
QUINTUS_LISP_PATH
quintus-directory/editor3.5/gnu
.
prolog(1)
qui-qui