1

我从http://www.swi-prolog.org/git/plweb.git/snapshot/7cd70cef6011b480ef05f2b8679728abba719c0c.tar.gz下载了 plweb

$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
...

问候 !

4

2 回答 2

2

在您提出问题后,我从您提供的链接中尝试了相同的方法,但得到了不同的错误: about 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 并报告结果,但不能说任何关于错过 GMP 支持的信息(我确实有)。

编辑我在查询“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 是用来生成的,而不是从随机来源中挑选出来的。接下来我将尝试更好地理解文档服务器,看看我是否能解决最后一个问题。

高温高压

于 2013-01-14T09:39:06.867 回答
1

您还需要 plweb-www.git,然后需要运行一些安装步骤来集成两者。查看 www 目录 - 如果它是空的,则需要 plweb-www。

我现在在另一台机器上,当我回到带有 plweb 的机器上时,我会看看我是如何安装的。

我记得在一些安装程序-ish prolog 文件中更改了一些内容。

于 2013-01-14T23:28:54.950 回答