Prolog pack_install swi-prolog.org 的 SSL 错误
Prolog pack_install SSL Error to swi-prolog.org
我不确定在这里问这个问题是否合适：
我正在尝试 运行 一个使用序言库 delay 的序言文件。所以它在开头的某个地方有以下行：
:- use_module(library(delay)).
启动该文件时，Prolog 告诉我
source_link `library(delay)` does not exist
Goal (directive) failed: atoms:use_module(library(delay))
所以我想，也许我需要先手动安装那个库。所以我运行?- pack_install(delay)
但那又回来了
% Contacting server at http://www.swi-prolog.org/pack/query ...
ERROR: SSL(14090086) ssl3_get_server_certificate: certificate verify failed
我不知道如何继续，google 没有帮助...
连接到提供程序包的服务器时出现问题。
它实际上对我有用：
% 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
以上是存储库的压缩文件 https://github.com/mndrix/delay/
我想你可以将文件 delay/prolog/delay.pl 放到 Prolog 库搜索路径中。
我不确定在这里问这个问题是否合适：
我正在尝试 运行 一个使用序言库 delay 的序言文件。所以它在开头的某个地方有以下行：
:- use_module(library(delay)).
启动该文件时，Prolog 告诉我
source_link `library(delay)` does not exist
Goal (directive) failed: atoms:use_module(library(delay))
所以我想，也许我需要先手动安装那个库。所以我运行?- pack_install(delay)
但那又回来了
% Contacting server at http://www.swi-prolog.org/pack/query ...
ERROR: SSL(14090086) ssl3_get_server_certificate: certificate verify failed
我不知道如何继续，google 没有帮助...
连接到提供程序包的服务器时出现问题。
它实际上对我有用：
% 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
以上是存储库的压缩文件 https://github.com/mndrix/delay/
我想你可以将文件 delay/prolog/delay.pl 放到 Prolog 库搜索路径中。