自动运行谓词

Question

有没有办法定义自动运行谓词，它会在加载文件后运行？

是的，我知道swipl -s file.pl -g "main."，但仍在寻找可以放入源文件file.pl

的内容

Answer 1

:- initialization(main).

确保main指令始终调用halt/0，否则在失败时会得到一个顶层。或者无条件地拨打halt/0：

:- initialization(once(((main ; true), halt))).