首先，我使用 SWI-Prolog 加载文件
$ swipl file.pl
然后我修改文件并保存。
现在我该如何重新加载文件，例如：
?- reload
修改后的file.pl文件需要用什么方式？
Swipl: 如何重新加载文件
26
- Rahn
3个回答
38
SWI-Prolog 有一个用于此目的的谓词 make/0：
?- make.
请注意，SWI-Prolog具有一个方便的功能，可以搜索手册中的关键字：
?- apropos(reload).
你需要查看手册的第3.3节：“测试-编辑-重新加载循环”，其中提到了这一点。
- Isabelle Newbie
3
Make会重新加载所有自从它们被载入后有变更的源文件，但是如果你需要重新加载一个特定的文件，你可以使用reload_file：
?- make:reload_file(source_file).
- Rafa Moyano
0
我一直在这里寻找的答案是关于在Windows/Emacs环境下使用SWI Prolog，在编辑文件后按
注意：在toplevel中不起作用，因为Ctrl-C会触发中断。
这来自于Isabella Newbie的回答中提到的手册中的editreload部分。
Ctrl-S保存，然后在编辑器内按Ctrl-C Ctrl-M触发重新加载。注意：在toplevel中不起作用，因为Ctrl-C会触发中断。
这来自于Isabella Newbie的回答中提到的手册中的editreload部分。
- TessellatingHeckler
网页内容由stack overflow 提供, 点击上面的可以查看英文原文，
原文链接
原文链接