問題タブ [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.
prolog - プロローグコード-それが何をするのかわからない
私はこのコードが何をするのか疑問に思っていました:
私の教授が彼のウェブサイトに投稿したサンプルコードのいくつかでそれを見ましたが、それが何をするのか分かりません。よろしくお願いします。
prolog - SWI-Prolg トップレベルを変更する
SWI Prolog のトップレベルを変更することはできますか?
prolog - swi-prolog の整数のリストからの 16 進文字列
crypto libs sha1戻り形式を変換するためのライブラリ呼び出しがどこかにあるかどうか疑問に思っています
Xを次のような形式に変換したい
「A34F890F16」
prolog - TurboPrologのSWIでの「保存」アナログ-Prolog
以前にconsultを介してロードされ、次にassertを介して追加されたファクトをファイルに保存する、 Turboの保存機能のSWIの類似物はありますか?
prolog - Prologクエリの検索ツリーを描画できるプログラムはありますか?
Prologプログラムの段階的な検索ツリーを描くことができるツールがあるかどうか疑問に思いましたか?ありがとう。
bash - SWI-Prolog コンソールでアップ/ダウン履歴キーを使用するにはどうすればよいですか?
上/下を押すと、unix と同じように、前のコマンドを取得する必要がありますが、代わりに次のようになります。
(「上」矢印キーを押して「リスト」コマンドを元に戻します..そして..)
「configure」または「make」パラメーターを追加せずにソースからコンパイルしました。
以前のバージョンの swi-prolog では、これがでたらめに機能することがわかりました..時々、コンソールが混乱してしまい、'.' を押さなければなりませんでした。現在の行を強制的に終了させるには、履歴が再び機能し始めます。
しかし、この最新バージョン..灘..私はubuntu Linux、bashシェルを使用しています。OS環境の問題か、swi-prologのバグのように感じます。矢印キー/履歴は、Linux レベルで正常に機能します。
module - SWI プロローグの ensure_loaded エラー
私は数学的論理の本に SWI Prolog を使用しており、この本は Prolog のアルゴリズムの一部のソース コードを提供しています。問題は、ファイルをロードしようとすると、インタープリターが次のようなプロンプトを表示することです。
ソースコードを調べたところ、ほとんどのファイルが次で始まることがわかりました。
に続く
そして、同じファイルで ensure_loaded を 2 回呼び出すとエラーが発生したようで、既にロードされているファイル (ops.pl など) の一部の述語が、2 回目にロードしようとしたファイルで定義されていない場合。
ensure_loaded を use_module に変更して相談しようとしましたが、うまくいきませんでした。
windows - Microsoft Windows で SWI-Prolog の XPCE で追加フォントを使用するには?
SWI-Prolog には、ネイティブの GUI ライブラリである XPCE が含まれています。いくつかのシステム フォントを使用します。ユーザー ガイドの「フォントの指定」セクションで詳しく説明されているように、追加のシステム フォントを使用するように構成できます。この例は、UNIX でこの構成を行う方法を示しており、xfontsel ユーティリティから取得したパラメーター文字列を使用して、新しいシステム フォントに名前を付けています。
Microsoft Windows で動作する SWI-Prolog で使用するこのパラメータ文字列を決定するにはどうすればよいですか?
xml - SwiPrologのxpathクエリでオペレーターが予期したエラー
xpath述語を使用して、解析されたXMLファイルの一部を取得しようとしていますが、構文エラーが発生し続けます:xpathクエリで特殊文字(「/」や「@」など)に演算子が必要です。クエリを一重引用符で囲むと失敗します。
books.xmlの内容:
java - JPL/SWI Prolog が機能しない
SWI-Prolog JPL ライブラリを使用しようとしていますが、問題があります。
Eclipse プロジェクトが JPL にアクセスできるようにしようとしていますが、プログラムを開始しようとすると、次のエラーが発生します。
jpl.jar をプロジェクト ディレクトリにコピーし、ビルド パスに設定しました。さらに、次の VM 引数を渡します。
(これは Prolog がインストールされたディレクトリです)。
私は何を間違っていますか?
編集: 私のコンピューターのどこにも libpl.dll がないようです。これが私の問題を引き起こしている可能性がありますか?