Exiting Prolog

To exit from the Prolog system, either type

     | ?- halt.
     

or your end-of-file character. The end-of-file character is ^d by default. You will use a different command set to exit Prolog running under Emacs; see ema-emi-key. The commands for exiting are as follows:

without Emacs:

type ^d (or ^C e). You may also execute the goal halt/0.

with GNU Emacs:

type ^c ^d (or <ESC> X exit-emacs).

with QUI:

Use Interrupt button in main window. Select Exit.

If you would like to pause Prolog while keeping the job in the background:

without Emacs:

type ^Z.

with GNU Emacs:

type ^X^Z.

with QUI:

iconify the main window