Module Prolog pack_将SSL错误安装到swi-Prolog.org

我不确定这是否是问这个问题的正确地点：

我正在尝试运行一个prolog文件，它使用prolog库。因此，在开头的某个地方，它有以下几行：

:- use_module(library(delay)).

当启动该文件时，Prolog告诉我

source_link `library(delay)` does not exist
Goal (directive) failed: atoms:use_module(library(delay))

所以我想，也许我需要先手动安装这个库。所以我运行了

？-pack\u安装（延迟）

但这又回来了

% Contacting server at http://www.swi-prolog.org/pack/query ...
ERROR: SSL(14090086) ssl3_get_server_certificate: certificate verify failed

---

我不知道如何继续，谷歌也帮不上忙…

这是一个连接到提供软件包的服务器的问题

它实际上对我有用：

% Contacting server at https://www.swi-prolog.org/pack/query ... ok
Install delay@0.3.3 from http://storage.googleapis.com/packs.ndrix.com/delay/delay-0.3.3.zip Y/n? 

你的Prolog版本是什么

你能直接下载这个软件包吗。使用浏览器或

wget

/

curl

：

wget http://storage.googleapis.com/packs.ndrix.com/delay/delay-0.3.3.zip

上面是存储库的zipfile

---

我想你可以把文件

delay/prolog/delay.pl

放到prolog库的搜索路径上。

我的prolog版本是7.2.3amd64@Jere我不确定这是否与任何事情有关（不应该），但如果它不起作用，为什么不试试8.1？@Jere就是它！你永远不知道下一分钟什么事情不会发生。（如果不是这样，你最好是这样）