Ошибка CLP при запуске plweb

Question

Я скачал plweb с http://www.swi-prolog.org/git/plweb.git/snapshot/7cd70cef6011b480ef05f2b8679728abba719c0c.tar.gz

$cd plweb-7cd70ce/
$./run 
ERROR: plweb-7cd70ce/register.pl:35:
    source_sink `library(smtp)' does not exist
Warning: plweb-7cd70ce/register.pl:35:
    Goal (directive) failed: register:use_module(library(smtp))
Warning: plweb-7cd70ce/load.pl:50:
    Using CLP(FD) with bounded arithmetic may yield wrong results.
ERROR: /home/***/swi-prolog/lib/swipl-6.2.6/library/clp/clpq/store_q.pl:347:
    evaluable `-1 rdiv _G43862' does not exist
ERROR: /home/***/swi-prolog/lib/swipl-6.2.6/library/clp/clpq/bv_q.pl:85:
    Exported procedure store_q:isolate/3 is not defined
...

С уважением!

Answer 1

После вашего вопроса я попробовал то же самое по предоставленной вами ссылке, но получил разные ошибки: о smtp, пытаться ?- pack_install(smtp). это решило первую ошибку для меня. Тогда у меня другие проблемы, чем у вас

?- [load].
ERROR: /home/carlo/lib/swipl-6.3.7/library/explain.pl:36:
    source_sink `library(helpidx)' does not exist
Warning: /home/carlo/lib/swipl-6.3.7/library/explain.pl:36:
    Goal (directive) failed: prolog_explain:load_files(library(helpidx),[if(changed)])

пока вы работаете без поддержки GMP. Я попытаюсь восстановить helpidx.pl и сообщу о результате, но ничего не могу сказать о поддержке Miss GMP (она у меня есть).

Редактировать Я взял первую ссылку, на которую Google отвечает при запросе "swi-prolog generate helpidx", вставил источник в каталог библиотеки (пути проверены с помощью ?- file_search_path(library, X).). Тогда я сделал:

?- [load].
% Library was moved: library(http/dcg_basics) --> library(dcg/basics)
% load compiled 7.36 sec, 33,882 clauses
true.

Я думаю, что helpidx.pl должен генерироваться, а не выбираться из случайного источника. Далее я попытаюсь лучше понять сервер документации, чтобы посмотреть, смогу ли я решить эту последнюю проблему.

НТН

Answer 2

Вам также нужен plweb-www.git, а затем нужно выполнить шаг установки, чтобы объединить их. Посмотрите в каталоге www - если он пуст, вам нужен plweb-www.

Я сейчас на другой машине, когда вернусь к машине с plweb на ней, я посмотрю, как я установил.

Я помню, как что-то менял в каком-то прологе установочного файла.