終了、中断、デバッグのためのスリープ？

Question

Prologでは、デバッグのためにトレースモードを有効にすることができます。明らかに、MLにはそのようなものはありません。少なくともexit()またはabort()はありますか？ A sleep()は、デバッグ・プリント・ステートメントと組み合わせると、Prologからのトレース・モードを近似するのにも役立ちます。

Answer 1

終了を強制するには、OS.Process構造を使用することができます。

OS.Process.exit OS.Process.success; 

はまた、ポリ/ MLは良いdebuggerを持っていることに注意してください。