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」を照会したときに Google が回答した最初のリンク?- 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 は、ランダムなソースから選択されるのではなく、生成されることを意図していると思います.. 次に、この最後の問題を解決できるかどうかを確認するために、ドキュメント サーバーをよりよく理解しようとします。

HTH

于 2013-01-14T09:39:06.867 に答える
1

plweb-www.git も必要です。次に、インストール手順を実行して 2 つを統合する必要があります。www ディレクトリを見てください。空の場合は、plweb-www が必要です。

私は今、別のマシンを使用しています。plweb がインストールされているマシンに戻ったら、どのようにインストールしたかを確認します。

インストーラー風のプロローグファイルで何かを変更したことを覚えています。

于 2013-01-14T23:28:54.950 に答える