ДМИ*_*КОВ 4 prolog
有没有办法定义自动运行谓词,它将在加载文件后运行？
是的,我知道swipl -s file.pl -g "main.",但仍在寻找可以放在源文件中的东西file.pl
swipl -s file.pl -g "main."
file.pl
Fre*_*Foo 6
:- initialization(main).
确保main指令始终调用halt/0,否则在失败时会得到一个顶层.或无条件致电halt/0:
main
halt/0
:- initialization(once(((main ; true), halt))).
归档时间：
14 年，10 月 前
查看次数：
474 次
最近记录：
11 年，6 月 前