如何在Prolog中停止程序？

如何在prolog中停止程序？如果我想做：

stop(X) :- X =:= 0 -> // (stop the program).

---

您可以使用halt/0谓词：

stop(X) :- X =:= 0 -> halt.

问题是“为什么要停止程序？”如果要强制停止程序，听起来好像代码存在设计问题。你到底想干什么？