Rah*_*ahn 15 prolog swi-prolog
首先我加载文件 SWI-Prolog
$ swipl file.pl
Run Code Online (Sandbox Code Playgroud)
然后我修改文件并保存.
现在我如何重新加载文件
?- reload
Run Code Online (Sandbox Code Playgroud)
为此修改file.pl?
Isa*_*bie 23
SWI-Prolog有一个make/0用于此目的的谓词:
?- make.
Run Code Online (Sandbox Code Playgroud)
请注意,SWI-Prolog有一个方便的功能,可以在手册中搜索关键字:
?- apropos(reload).
Run Code Online (Sandbox Code Playgroud)
将您(以及其他内容)指向手册的第3.3节:"测试 - 编辑 - 重载循环",其中提到了这一点.