swipl：如何重新加载文件

Question

首先我用SWI-Prolog加载文件

$ swipl file.pl

然后我修改文件并保存。

现在我如何重新加载文件

?- reload

对于这个修改过的file.pl ？

Answer 1

为此目的，SWI-Prolog有一个谓词make/0 ：

?- make.

请注意，SWI-Prolog有一个方便的功能，可以在手册中搜索关键字：

?- apropos(reload).

将您（以及其他内容）指向手册的第3.3节：“测试 - 编辑 - 重载循环”，其中提到了这一点。

Answer 2

Make将重新加载自加载以来已更改的所有源文件，但如果需要重新加载特定文件，则可以使用reload_file ：

?- make:reload_file(source_file).

Answer 3

我一直在这里寻找的答案是在 SWI Prolog 的 Windows/Emacs 环境中，在编辑文件Ctrl-S以保存它并在编辑器中Ctrl-C Ctrl-M以触​​发重新加载之后。

注意。 它在顶层不起作用，其中 Ctrl-C 触发中断。

从伊莎贝拉新手的回答提到的手册中的editreload部分。