如何在 prolog 中编写退出程序的规则

Question

我想写一个规则来退出prolog，但我该怎么做？
我应该怎么做才能退出程序？我尝试过这样的事情 do(exit):-halt，但halt不起作用。

Answer 1

尝试使用 halt（0）。 这也完成了 SWI-PL。