Как я могу гарантировать, что все модули (и в идеале также все другие файлы, которые были загружены или включены) обновлены? При выдачеuse_module(mymodule)SICStus сравнивает дату изменения файлаmymodule.pl и перезагружает его, если новее. Такжеinclude-ed файлы вызовут перекомпиляцию. Но он не перепроверяет все модули, используемыеmymodule.

Вкратце, как я могу получить такую ​​же функциональность, как SWI предлагаетmake/0?