問題タブ [swi-prolog]

For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.

0 投票する
1 に答える
179 参照

prolog - プロローグコード-それが何をするのかわからない

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

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

0 投票する
1 に答える
108 参照

prolog - SWI-Prolg トップレベルを変更する

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

0 投票する
2 に答える
841 参照

prolog - swi-prolog の整数のリストからの 16 進文字列

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

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

「A34F890F16」

0 投票する
1 に答える
666 参照

prolog - TurboPrologのSWIでの「保存」アナログ-Prolog

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

0 投票する
4 に答える
8027 参照

prolog - Prologクエリの検索ツリーを描画できるプログラムはありますか?

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

0 投票する
4 に答える
1091 参照

bash - SWI-Prolog コンソールでアップ/ダウン履歴キーを使用するにはどうすればよいですか?

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

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

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

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

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

0 投票する
2 に答える
1250 参照

module - SWI プロローグの ensure_loaded エラー

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

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

に続く

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

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

0 投票する
1 に答える
243 参照

windows - Microsoft Windows で SWI-Prolog の XPCE で追加フォントを使用するには?

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

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

0 投票する
1 に答える
526 参照

xml - SwiPrologのxpathクエリでオペレーターが予期したエラー

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

books.xmlの内容:

0 投票する
4 に答える
7267 参照

java - JPL/SWI Prolog が機能しない

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

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

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

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

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


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