问题标签 [swi-prolog]

我想知道这段代码的作用：

我在我的教授在他的网站上发布的一些示例代码中看到了它，但我不知道它的作用。提前感谢您的帮助。

是否可以对 SWI Prolog 的顶层进行修改？

想知道某处是否有库调用来转换加密库 sha1 返回格式

想将 X 转换为类似的格式

“A34F890F16”

Turbo的保存功能是否有任何SWI的类似物，它保存到文件事实中，之前通过咨询加载，然后通过断言附加？

我想知道是否存在可以绘制 Prolog 程序的逐步搜索树的工具？谢谢。

当我按下上/下时，我应该得到 - 就像 unix 一样 - 以前的命令，但我得到：

（我按“向上”箭头键以返回“列表”命令..然后..）

我从源代码编译，没有任何额外的“配置”或“制作”参数。

在以前版本的 swi-prolog 中，我发现这个工作很随意.. 有时控制台把自己弄得一团糟，我不得不按“。” 强制它终止当前行，那么历史将再次开始工作。

但是这个最新版本.. nada.. 我使用的是 ubuntu linux，bash shell。感觉像是操作系统环境问题，或者 swi-prolog 中的错误。箭头键/历史在 linux 级别上运行良好。

我正在使用 SWI Prolog 作为一本数理逻辑书，这本书为 Prolog 中的一些算法提供了源代码。问题是当我尝试加载文件时，解释器只会提示如下内容：

我查看了源代码，发现大多数文件都以：

其次是

并且似乎使用同一个文件调用 ensure_loaded 两次会导致错误，并且如果已经加载的文件（例如 ops.pl）中的某些谓词不会在第二次尝试加载它的文件中定义。

我尝试将 ensure_loaded 更改为 use_module 并进行咨询，但没有奏效。

SWI-Prolog 包含一个原生的 GUI 库——XPCE。它使用了一些系统字体。如其用户指南的指定字体部分所述，可以将其配置为使用其他系统字体。给出的示例显示了如何在 unix 下进行此配置，并使用从 xfontsel 实用程序获得的参数字符串来命名新的系统字体。

如何确定此参数字符串以在 Microsoft Windows 下运行的 SWI-Prolog 中使用？

我正在尝试使用 xpath 谓词提取已解析的 XML 文件的一部分，但不断收到语法错误：xpath 查询的特殊字符（例如“/”和“@”）上的操作符。当我用单引号将查询括起来时，它会失败。

books.xml 的内容：

我正在尝试使用 SWI-Prolog JPL 库，但我遇到了问题。

我试图让我的 Eclipse 项目访问 JPL，但是当我尝试启动程序时，我收到以下错误：

我将 jpl.jar 复制到我的项目目录中，并将其设置在构建路径上。此外，我传递了以下 VM 参数：

（这是安装 Prolog 的目录）。

我究竟做错了什么？

编辑：我的计算机上似乎没有 libpl.dll。这会导致我的问题吗？