微信公众号搜"智元新知"关注
微信扫一扫可直接关注哦!

在SWI序言中添加搜索路径

如何解决在SWI序言中添加搜索路径

| 在许多Prolog系统中,很容易为咨询文件添加新的搜索路径。 例如,在Yap中,我知道的谓词是add_to_path(NewPath)。 有没有一种方法可以在SWI Prolog中执行相同操作?我的问题是关于在现有路径中添加一个路径,我知道用于声明目录的file_search_path / 2谓词,以及用于更改当前目录的cd / 1谓词,但是我想知道是否还有其他方法方法,就像我在Yap中找到的那样。 提前致谢 !     

解决方法

        有几种机制。我遇到的第一个对象是C-Prolog,它确实使用了ѭ0的子句。当前的SWI-Prolog机制源自Quintus,也用于SICStus。它是从“ 0”方法得出的 将形式为“ 2”的表达式视为对路径别名“ 3”的搜索。 别名的路径是使用谓词file_search_path / 2定义的。现在,
library
只是一个别名。通常,使用子句“ 5”添加库。 实践证明,该机制非常灵活。当然,如果Prolog系统在此具有更高的兼容性,那就太好了。我认为今天的YAP也支持
file_search_path
系统。 (2016年编辑:的确如此,请参阅《 YAP Prolog用户手册:更改编译器的行为》)     ,        在您的
.plrc
/
.yaprc
/
.sicstusrc
/
.swiplrc
中:
 :- multifile(library_directory/1).
 library_directory(\'/home/ulrich/lftp/Prolog-inedit\').
    

版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。