如何确保所有模块(最好是所有其他已加载或包含的文件)都是最新的?发布时use_module(mymodule),SICStus会比较文件的修改日期mymodule.pl并重新加载,如果更新的话.另外的include-ed文件将触发重新编译.但它不会重新检查所使用的所有模块mymodule.
use_module(mymodule)
mymodule.pl
include
mymodule
简而言之,我如何获得SWI提供的类似功能make/0?
make/0
module prolog sicstus-prolog
module ×1
prolog ×1
sicstus-prolog ×1