Quintus Prolog Manual

c-1: Quintus User Interface

The Quintus User Interface (QUI) is a Motif-based window interface to the Quintus Prolog development system. It includes the following,

• Main Window: Query interpreter window with history menu
• Debug window: See {manual(e-2)}
• Edit windows
• Interface to external editors, such as GNU Emacs
• Error dialogue windows
• Help window

All these windows facilitate rapid program development by making common Prolog commands available using the mouse. For more information about Motif widgets such as the file browser, see the "OSF/Motif Series" and other references cited in {manual(a-1-4)}.

c-1-1: Starting Up QUI

Before starting up QUI, you must be running an X-windows server process on the machine upon which you want QUI windows to be displayed. This server process must be compatible with either MIT's X11 Release 3 or 4. QUI works best when run under the Motif Window Manager (mwm) but will work when run under other window managers (e.g. olwm, twm, uwm). The various dialogues displayed by QUI will be modal only if QUI is run under mwm or an X11 Release 4 Window Manager. See your system manager if these prerequisites are a problem.

To access the QUI facilities, you must invoke a Quintus Prolog Development System executable which has the QUI libraries included in it. See the Quintus Prolog Development System installation instructions for more details on how to install such an executable.

Assuming a Quintus Prolog Development System executable which includes QUI is installed under the name 'qui', you invoke it by typing,

% qui

The QUI main window will be displayed on your screen.

To run QUI across local network on a machine called remote and have QUI displayed on a machine called host, you should first issue the command

% xhost +remote

 

on the machine host, and do either of the following commands on the machine remote when running under 'csh' type,

(1)  % qui -display host:0.0

(2)  % setenv DISPLAY host:0.0
     % qui

 

You can also type,

%  setenv DISPLAY host:0.0 ; qui

 

if you don't want subsequent X-windows applications to display their windows on the console of the machine called host.

Apart from those X resources which you can specify in environment variables you can set X resources in the various X resource database files which are referenced by this Motif application. See {manual(c-7)} for more information.

c-1-2: Exiting QUI

To exit QUI, select the 'Quit' option from the 'File' menu. Alternatively, type 'halt.', '^D' (Control-Parm(text) is the end of file character), '^C' (Control-Parm(text) is the interrupt key) and exit option, or type 'end_of_file.' at the Prolog toplevel prompt '|?-' when you are not inside a break level. In any of these cases, a dialogue window will pop-up asking for confirmation. Choosing the 'Exit' button in the dialogue window will exit QUI while choosing the 'Cancel' button will return to the '|?-' prompt.

contact: product support sales information