Exiting QUI

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.