Prolog pack_install Ошибка SSL для swi-prolog.org

Question

Я не уверен, что это правильное место, чтобы задать этот вопрос:

Я пытаюсь запустить файл пролога, который использует библиотеку пролога задержка . Так что в начале он имеет следующую строку:

:- use_module(library(delay)).

При запуске этого файла Пролог говорит мне

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 не помогает ...

Answer 1

Это проблема с подключением к серверу, предлагающему пакет.

На самом деле он работает для меня:

% 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

Выше приведен zip-файл репозитория https://github.com/mndrix/delay/

Полагаю, вы можете просто поместите файл delay/prolog/delay.pl в путь поиска библиотеки Prolog.