The ECLiPSe system may be exited by typing ^D (``control-D'' holding the control key and pressing ``d'') at the top level prompt, or by calling the predicate halt/0 or exit/1.
