自動運行謂詞

Question

有沒有一種方法來定義自動運行謂詞，它會在加載文件後運行？

是啊，我知道swipl -s file.pl -g "main."，但仍然在尋找的東西，它可以把源文件file.pl

Answer 1

:- initialization(main). 

確保main指令總是調用halt/0，否則當它失敗，你會得到一個頂層。或者放在一個無條件調用halt/0：

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