有没有办法让SWIprolog永远不会下降到交互式提示?

Question

我正在尝试编写Prolog脚本，并且可能会遇到某些错误，导致解释器下降到交互式提示。在不可能出现这种情况时，这是一件好事。如何关闭它？

编辑：经过一些故障排除，我发现当 Linux 使用 shebang 运算符运行脚本时，它会将空格后的所有内容视为单个参数 (???(，这就是"-t halt"不起作用的原因。仅传递 -s 不会阻止它下降到提示符。

Answer 1

您可以使用命令行选项

-t halt

立即停止而不是返回到顶层。