为SICStus制作/ 0功能

如何确保所有模块(最好是所有其他已加载或包含的文件)都是最新的？发布时use_module(mymodule),SICStus会比较文件的修改日期mymodule.pl并重新加载,如果更新的话.另外的include-ed文件将触发重新编译.但它不会重新检查所使用的所有模块mymodule.

简而言之,我如何获得SWI提供的类似功能make/0？

SICStus Prolog中没有提供这种功能.

一个很大的问题是,除了非常简单的情况之外,当前的Prolog对于像make/0这样的东西来说太过动态了.通过术语扩展,加载期间执行的目标(包括常见的文件加载目标)等功能,无法知道如何可靠地重新加载文件.我没有密切关注它,但可能在SWI Prolog中使得/ 0有同样的问题.

我通常只是重新启动Prolog进程并再次加载"main"文件,即加载我需要的所有内容的文件.

PS.我无法在评论中获得代码格式,所以我把它放在这里:为什么make/0需要防范'user'作为来自current_module/2的文件:

| ?- [user].
% compiling user...
| :- module(m,[p/0]). p. end_of_file.

%  module m imported into user
% compiled user in module m, 0 msec 752 bytes
yes
| ?- current_module(M, F), F==user.
F = user,
M = m ? ;
no
| ?-