[ Operating System | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]
exit(+Status)
The Prolog session is ended and the specified status returned to the
operating system.
- +Status
- Integer
Description
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. The specified status code is returned to the operating
system. exit(0) is identical with halt.
Fail Conditions
None.
Resatisfiable
No.
Exceptions
- (4) instantiation fault
- Status is not instantiated.
- (5) type error
- Status is instantiated to a non-integer.
Examples
Success:
[eclipse]: exit(5).
csh% echo $status
5
csh%
See Also
halt / 0, toplevel : break / 0, pause / 0