prolog - 有没有办法让 SWI 序言永远不会掉到交互式提示？

Question

我正在尝试编写一个 Prolog 脚本，它可能会遇到某些错误，导致解释器进入交互式提示。没有可能的情况是一件好事。我该如何关闭它？

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

标签： prolog

Answer 1

您可以使用命令行选项

-t halt

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