[ Operating System | Reference Manual | Alphabetic Index ]
The Prolog session is ended (the same as Control-D at the top-level loop).
Used to exit from the Prolog session. If user_end/0 is defined and
global, it is called. All buffers are flushed, streams are closed and
ECLiPSe exits. Zero as status code is returned to the operating system.
halt is identical with exit(0).
Modes and Determinism
cygnus% echo $status
writeln(debug_output, 'PROBLEM IN RECOVERY PROCEDURE'),
user compiled 132 bytes in 0.02 seconds
PROBLEM IN RECOVERY PROCEDURE
exit / 1, toplevel : break / 0, quintus : break / 0, pause / 0