3.8 Exiting From The Top Level

To exit from the top level and return to the shell, either type ^D at the top level, or call the built-in predicate halt/0, or use the e (exit) command following a ^C interruption.