3

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

我使用 SWI-Prolog 版本 6.2.6 。

4

2 回答 2

4

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

?- make.

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

于 2013-01-17T15:21:40.657 回答
1

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

但 make 更漂亮。

于 2013-01-17T23:23:37.623 回答