将 pl 文件加载到 SWI-Prolog 并加consult('filename')
后,如何使用键盘重新加载?我读到可能ctr b
但它不起作用。
我使用SWI-Prolog版本6.2.6。
答案 0 :(得分:2)
调用预定义的make/0
谓词。它将重新加载所有已更改的源文件。
?- make.
此处提供更多信息:http://www.swi-prolog.org/pldoc/man?predicate=make/0
答案 1 :(得分:1)
SWI-prolog中的consult / 1实际上被定义为reconsult / 1
但是制作更加狡猾。