首页
学习
活动
专区
工具
TVP
发布
社区首页 >问答首页 >如何选择默认使用的SWI-Prolog模块?

如何选择默认使用的SWI-Prolog模块?
EN

Stack Overflow用户
提问于 2018-06-04 00:11:33
回答 1查看 94关注 0票数 1

我得到了一个很大的旧程序文件集合,我想在64位Linux下使用7.2 Swi-prolog设置。这些报告中的大多数是

代码语言:javascript
复制
import/1: No permission to import clpfd:transpose/2 into user (already imported from ugraphs)

错误,命名冲突的结果,因为当前版本引入了默认加载ugraph的新行为,并选择它而不是用户实际指定的模块,据我所知。

我希望Prolog更喜欢显式使用的模块,而不是默认值。如果做不到这一点,我想定制这个默认加载的模块列表。

其他答案建议从use_module中排除所需的谓词,然后将其与显式名称空间一起使用。由于文件的特殊性,这是不可宏化的(转置有时用在ugraph上下文中,在文件中描述的谓词的名称,或者作为文本输出和注释的一部分)。如果可能的话,我宁愿避免走这条路。

EN

回答 1

Stack Overflow用户

回答已采纳

发布于 2018-06-04 02:49:08

默认情况下,SWI-Prolog autoload标志设置为true。在你的帖子中没有足够的细节,但你可以尝试将其设置为false。这将阻止任何模块的自动加载。也就是说,任何使用的模块都需要显式加载。这将为您提供对加载哪些模块的完全控制,这些模块很可能需要为您的应用程序编写(或更新)加载程序文件。

票数 0
EN
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接:

https://stackoverflow.com/questions/50668393

复制
相关文章

相似问题

领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档