swipl：如何重新加载文件
swipl: how to reload file
首先我用 SWI-Prolog
加载文件
$ swipl file.pl
然后我修改文件并保存
现在我该如何重新加载文件
?- reload
为此修改file.pl?
SWI-Prolog 有一个谓词 make/0 用于此目的：
?- make.
请注意，SWI-Prolog 有一个方便的功能，可以在手册中搜索关键字：
?- apropos(reload).
将您（除其他外）指向手册的第 3.3 节："The test-edit-reload cycle"，其中提到了这一点。
Make will reload all source files that have been changed since they were loaded, but if you need to reload an specific file you can use reload_file:
?- make:reload_file(source_file).
我一直回到这里寻找的答案是在 SWI Prolog 的 Windows/Emacs 环境中，在编辑文件后 Ctrl-S 保存它并在编辑器中 Ctrl-C Ctrl-M 触发重新加载。
注意。它在顶层不起作用，Ctrl-C 触发中断。
来自 Isabella Newbie 的回答中提到的手册中的 editreload 部分。
首先我用 SWI-Prolog
$ swipl file.pl
然后我修改文件并保存
现在我该如何重新加载文件
?- reload
为此修改file.pl?
SWI-Prolog 有一个谓词 make/0 用于此目的：
?- make.
请注意，SWI-Prolog 有一个方便的功能，可以在手册中搜索关键字：
?- apropos(reload).
将您（除其他外）指向手册的第 3.3 节："The test-edit-reload cycle"，其中提到了这一点。
Make will reload all source files that have been changed since they were loaded, but if you need to reload an specific file you can use reload_file:
?- make:reload_file(source_file).
我一直回到这里寻找的答案是在 SWI Prolog 的 Windows/Emacs 环境中，在编辑文件后 Ctrl-S 保存它并在编辑器中 Ctrl-C Ctrl-M 触发重新加载。
注意。它在顶层不起作用，Ctrl-C 触发中断。
来自 Isabella Newbie 的回答中提到的手册中的 editreload 部分。