swipl:如何重新加载文件

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节:"测试 - 编辑 - 重载循环",其中提到了这一点.