使用 swi-prolog 编译，而不将交互式 prolog 环境包含到二进制文件中

Question

我正在学习 prolog，我使用 swi-prolog 作为编译器/解释器。我有这个 hello world 文件：

:- initialization(main).
main :- format('Hello, world').

但是当我尝试使用swipl -o hello.exe -c hello.pro 编译它并运行二进制文件hello.exe 时，它首先运行目标（主），然后将我返回到 swi-prolog 交互环境。我如何编译它，使它成为一个没有 prolog 环境的功能程序？ 我还尝试在 main 末尾添加halt，但这根本无法编译。当我尝试这样做时，编译器会打印“Hello, world”，然后停止编译。

Answer 1

我愿意：

• 删除:-initialization 指令
• 编译为：swipl.exe -nodebug -g true -O -q --toplevel=main --stand_alone=true -o hello.exe -c hello.pro

这应该可以解决问题