【发布时间】:2013-01-17 14:24:49
【问题描述】:
在我使用consult('filename') 将 pl 文件加载到 SWI-Prolog 后,如何使用键盘重新加载它?我读到ctr b 可能,但它不起作用。
我使用 SWI-Prolog 版本 6.2.6 。
【问题讨论】:
标签: prolog swi-prolog
在我使用consult('filename') 将 pl 文件加载到 SWI-Prolog 后,如何使用键盘重新加载它?我读到ctr b 可能,但它不起作用。
我使用 SWI-Prolog 版本 6.2.6 。
【问题讨论】:
标签: prolog swi-prolog
调用预定义的make/0 谓词。它将重新加载您更改的所有源文件。
?- make.
更多信息在这里:http://www.swi-prolog.org/pldoc/man?predicate=make/0
【讨论】:
SWI-prolog中的consult/1实际上定义为reconsult/1
但 make 更漂亮。
【讨论】: