!TITLE Exiting From The Interpreter
!KEY
To exit from the Prolog interpreter and return to Emas command level you should
give the directive:

            | ?- halt.

This  can  be  issued either at top-level, or within a break-level, or indeed -
halt could be called from within your program.  The evaluable predicates:

            quit
            stop

are equivalent to halt.

If your program is still executing then  you  should  interrupt  it  and  abort
(typing ESC and then "a") to return to top-level so that you can call halt.

If  you type ^Y to the top-level then this end-of-file from the terminal causes
the system to exit back to EMAS (ie call halt), in a similar way that ^Y  at  a
break-level  causes  the  system  to  exit  that  break-level and return to the
previous one.