問題タブ [swi-prolog]

SWI-Prolog を使用していて、リストを印刷しようとしていますが、リストに項目が 9 つ以上ある場合は、次のようになります。

リスト全体を表示する方法はありますか?

predsort/3重複した値を失わずに使用できることを知りたいですか? そうでない場合、この用語のリストをどのように並べ替える必要がありますか?

現在のソート機能:

結果：

ほら、その用語n(8,0,9)はなくなりました。それは私が必要としているものではありません。

各行に名前を含むファイルを読みたいです。そして、SWI Prolog でこれを行う方法がわかりません。私は C/C++ について十分な知識を持っていますが、Prolog で同じことを行う方法はありますか?

標準宣言を使用して、モジュールの述語をエクスポートできることを知っています。

しかし、モジュール my_test で述語 hello をエクスポートできる別の方法があることを知りたいですか? 以下の例で、my_export ディレクティブにこれを実行させるには、どのコードを入力する必要がありますか?

インポート/エクスポートについてはよくわかりませんが、思いつくことができる唯一の実際の方法です。

次のコードは機能しません

しかし、以下は

何故ですか？「読み取り」機能が正しく動作していないようです

これは私の編集者です。問題は何ですか？結果が表示されなかったのはなぜですか（この画像ではX = a、Y = b、cを表示する必要があります）？
http://i.imgur.com/LwweM.png？

C ++dllからSWIPrologエンジンを呼び出していますが、すべてのアサートされた/動的な述語にアクセスできるようにしたいと考えています（通常のリストと同様）。

GNU Prologでは、dynamic / 1述語を変数と呼び、Prologはそれをすべての動的述語インジケーターと統合します。次のステップでは、これらの述語を変数で呼び出し、完全なリストを取得します。

残念ながら、SWIプロローグではそれを行うことができません（エラー：引数が十分にインスタンス化されていません）。別の方法はありますか？

OWL/RDF ファイルからオントロジーをロードした後、SWI-Prolog で SPARQL クエリを実行する方法を知りたいです。

sparql_query/3 を介してクエリを実行できることがわかりましたが、サーバーが必要です。

非常に複雑であるだけでなく、Prolog が理想的な複数のソリューションを必要とする C++ プログラムのロジックがあります。これは、アクションの入力をチェックするファイアウォール構成スクリプトのようなものですが、複数のアクションが必要になる場合もあります。

私が欲しいのは次のようなものです：

C++ にコールバックする機能は必要ありません。

AMI Prolog はそれを取得しているようですが、Linux では利用できません。私は SWI-Prolog を使用しようとしていますが、2 つの例と信じられないほどビザンチン API (私の意見) しか見つかりません。

誰かが私が探しているものに近い例を教えてもらえますか?