如何在 SWI-Prolog 中更改包目录答案

【问题标题】：How to Change Package Directory in SWI-Prolog如何在 SWI-Prolog 中更改包目录
【发布时间】：2019-02-01 20:50:42
【问题描述】：

我正在尝试在 SWI-Prolog 中安装一个包 (sldnfdraw)，但我找不到指定安装目录（即我希望安装它的位置）的方法。

documentation 似乎表明可以选择包目录，但我没有运气这样做。诚然，我对 Prolog 还很陌生，可能会忽略一些明显的东西。尽管如此，我还是在所有常见的地方（堆栈溢出、文档）中寻找答案，但没有成功。

我试图通过调用pack_install(sldnfdraw). 来安装包sldnfdraw 这将在$HOME/lib/swipl/pack 创建一个目录。然后我尝试了pack_install(sldnfdraw, $PREF_DIR). 的各种化身，其中$PREF_DIR 是我希望安装包的目录的绝对路径。该文档引用了将选项传递给函数的某种方式，但没有指定这样做的方法。鉴于 Prolog 上可用的资源有限（以及这个特定的实现），我发现自己陷入了死胡同。希望有人能指出我正确的方向。

【问题讨论】：

感兴趣：库prolog_pack：Prolog 的包管理器
另一个技巧是：将包下载到您想要的任何文件夹中，然后创建指向默认包目录的符号链接

标签： prolog swi-prolog

【解决方案1】：

指定安装目录的函数是package_directory/1。为了将它与pack_install/2 结合使用，我需要将它括在括号中。因此将包sldnfdraw 安装到目录$PREF_DIR 的查询看起来像

pack_install(sldfndraw, [package_directory($PREF_DIR)]).

【讨论】：