[ 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.

Modes and Determinism

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