exit, abort, sleep for debugging?
<p>In Prolog you can activate trace mode for debugging. Apparently there is no such thing in ML. Is there at least a <code>exit()</code> or <code>abort()</code>? A <code>sleep()</code> would also be useful to approximate trace mode from Prolog, when combined with debug print statements.</p>