如何在Prolog中停止程序？

Question

如何在prolog中停止程序？就像我想做的那样：

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

Answer 1

您可以使用halt / 0谓词：

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