To exit QUI, select the Quit
option from the File
menu.
Alternatively, type halt., ^D (^D is the end of
file character), ^C (^C 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.