当我使用consult('filename')
将pl文件加载到SWI-Prolog中后,如何通过键盘重新加载它?我看到可以用ctrl b
来重新加载,但是它并不起作用。
我使用的是SWI-Prolog版本6.2.6。
当我使用consult('filename')
将pl文件加载到SWI-Prolog中后,如何通过键盘重新加载它?我看到可以用ctrl b
来重新加载,但是它并不起作用。
我使用的是SWI-Prolog版本6.2.6。
调用预定义的make/0
谓词,它将重新加载您更改的所有源文件。
?- make.
在SWI-Prolog中,consult/1实际上被定义为reconsult/1。
但是make更加巧妙。