首先我使用SWI-Prolog
$ swipl file.pl
然后我修改文件并保存。
现在如何重新加载文件
?- reload
对于此修改后的file.pl？
答案 0 :(得分：21)
SWI-Prolog为此目的有一个谓词make/0：
?- make.
请注意，SWI-Prolog有一个方便的功能，可以在手册中搜索关键字：
?- apropos(reload).
将您（以及其他内容）指向手册的第3.3节：“测试 - 编辑 - 重新加载周期”，其中提到了这一点。
答案 1 :(得分：0)
Make将重新加载自加载以来已更改的所有源文件，但如果您需要重新加载特定文件，则可以使用 reload_file ：
?- make:reload_file(source_file).