問題タブ [swi-prolog]

私はこのコードが何をするのか疑問に思っていました：

私の教授が彼のウェブサイトに投稿したサンプルコードのいくつかでそれを見ましたが、それが何をするのか分かりません。よろしくお願いします。

SWI Prolog のトップレベルを変更することはできますか?

crypto libs sha1戻り形式を変換するためのライブラリ呼び出しがどこかにあるかどうか疑問に思っています

Xを次のような形式に変換したい

「A34F890F16」

以前にconsultを介してロードされ、次にassertを介して追加されたファクトをファイルに保存する、 Turboの保存機能のSWIの類似物はありますか？

Prologプログラムの段階的な検索ツリーを描くことができるツールがあるかどうか疑問に思いましたか？ありがとう。

上/下を押すと、unix と同じように、前のコマンドを取得する必要がありますが、代わりに次のようになります。

（「上」矢印キーを押して「リスト」コマンドを元に戻します..そして..）

「configure」または「make」パラメーターを追加せずにソースからコンパイルしました。

以前のバージョンの swi-prolog では、これがでたらめに機能することがわかりました..時々、コンソールが混乱してしまい、'.' を押さなければなりませんでした。現在の行を強制的に終了させるには、履歴が再び機能し始めます。

しかし、この最新バージョン..灘..私はubuntu Linux、bashシェルを使用しています。OS環境の問題か、swi-prologのバグのように感じます。矢印キー/履歴は、Linux レベルで正常に機能します。

私は数学的論理の本に SWI Prolog を使用しており、この本は Prolog のアルゴリズムの一部のソース コードを提供しています。問題は、ファイルをロードしようとすると、インタープリターが次のようなプロンプトを表示することです。

ソースコードを調べたところ、ほとんどのファイルが次で始まることがわかりました。

に続く

そして、同じファイルで ensure_loaded を 2 回呼び出すとエラーが発生したようで、既にロードされているファイル (ops.pl など) の一部の述語が、2 回目にロードしようとしたファイルで定義されていない場合。

ensure_loaded を use_module に変更して相談しようとしましたが、うまくいきませんでした。

SWI-Prolog には、ネイティブの GUI ライブラリである XPCE が含まれています。いくつかのシステム フォントを使用します。ユーザー ガイドの「フォントの指定」セクションで詳しく説明されているように、追加のシステム フォントを使用するように構成できます。この例は、UNIX でこの構成を行う方法を示しており、xfontsel ユーティリティから取得したパラメーター文字列を使用して、新しいシステム フォントに名前を付けています。

Microsoft Windows で動作する SWI-Prolog で使用するこのパラメータ文字列を決定するにはどうすればよいですか?

xpath述語を使用して、解析されたXMLファイルの一部を取得しようとしていますが、構文エラーが発生し続けます：xpathクエリで特殊文字（「/」や「@」など）に演算子が必要です。クエリを一重引用符で囲むと失敗します。

books.xmlの内容：

SWI-Prolog JPL ライブラリを使用しようとしていますが、問題があります。

Eclipse プロジェクトが JPL にアクセスできるようにしようとしていますが、プログラムを開始しようとすると、次のエラーが発生します。

jpl.jar をプロジェクト ディレクトリにコピーし、ビルド パスに設定しました。さらに、次の VM 引数を渡します。

(これは Prolog がインストールされたディレクトリです)。

私は何を間違っていますか？

編集: 私のコンピューターのどこにも libpl.dll がないようです。これが私の問題を引き起こしている可能性がありますか?