Prolog - 重新加载 consult('文件名') 到解释器

Question

当我使用consult('filename')将pl文件加载到SWI-Prolog中后，如何通过键盘重新加载它？我看到可以用ctrl b来重新加载，但是它并不起作用。

我使用的是SWI-Prolog版本6.2.6。

- URL87

Answer 1

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

?- make.

更多信息请点击这里：http://www.swi-prolog.org/pldoc/man?predicate=make/0

- Mihai

Answer 2

在SWI-Prolog中，consult/1实际上被定义为reconsult/1。

但是make更加巧妙。

- Anniepoo