Prolog - 重新加载咨询('filename')到翻译

时间:2013-01-17 14:24:49

标签: prolog swi-prolog

pl 文件加载到 SWI-Prolog 并加consult('filename')后,如何使用键盘重新加载?我读到可能ctr b但它不起作用。

我使用SWI-Prolog版本6.2.6。

2 个答案:

答案 0 :(得分:2)

调用预定义的make/0谓词。它将重新加载所有已更改的源文件。

?- make.

此处提供更多信息:http://www.swi-prolog.org/pldoc/man?predicate=make/0

答案 1 :(得分:1)

SWI-prolog中的consult / 1实际上被定义为reconsult / 1

但是制作更加狡猾。