問題タブ [prolog-dif]

私はこのようにPrologで演習をしようとしています:私はこのリスト[10,20, 10, 20, 30]を導入し、プログラムは示しています:

これが私のコードです：

しかし、結果は次のとおりです。

彼は、要素がリストにある回数を要素に示します。助けてください!!

[#,d,e,#,f,g]出力が のように[[d,e],[f,g]]リストをフィルタリングする必要があります
。「#」に遭遇するたびに新しいリストを作成しているときにスタックします。これを行う方法はありますか? 以下のコードを試してみましたが、

Prolog でリスト操作用の述語をいくつか実装しようとしています。すべてが希望どおりに機能します。例えば

サンプルクエリ:

しかし、「delete」述語に問題があります。実装方法は次のとおりです。

悪い結果のサンプル クエリ:

さらに入力してテストしましたが、常に予想される長さのリストが返されるため、機能します。しかし、なぜ数字ではなく、不可解な _GXXXX しか得られないのでしょうか?

よろしくお願いします！

標準用語順序 (ISO/IEC 13211-1 7.2 用語順序) は、変数を含むすべての用語に対して定義されます。これには良い用途があります — の実装を考えてみてsetof/3ください。これにより、8.4 用語比較のビルトインのクリーンで論理的な多くの使用法が、あらゆる場所で imps (命令型構造の短縮形) を使用した宣言型の悪夢になります。8.4 用語比較機能:

8.4 用語の比較

8.4.1 (@=<)/2、(==)/2、(\==)/2、(@<)/2、(@>)/2、(@>=)/2。
8.4.2 比較/3 .
8.4.3 並べ替え/2 .
8.4.4 キーソート/2 .

例を挙げると、次のことを考慮してください。

これは成功するので、

7.2 タームオーダー

順序付けterm_precedes (3.181) は
、用語Xterm-precedes が term に先行するかどうかを定義しYます。

XとYが同一の用語である場合、 X term_precedes Y
とY term_precedes Xは両方とも false です。

Xとの型が異なる場合Y: Xterm_precedesYの
型がの型のX前にY次の順序である場合:
variable先行floating pointする 先行integer
する 先行atomするcompound。

注 — 用語の順序をテストする組み込みの述語
は、8.4 で定義されています。
...

したがって、すべての変数は より小さいですa。しかし、一度Xインスタンス化されます：

結果は無効になります。

それが問題です。これを克服するために、制約を使用するか、コアの動作のみに固執してinstantiation_error.

7.12.2 エラー分類

エラーは次の形式に従って分類されError_termます。

a)引数またはそのコンポーネントの 1 つが変数であり、
インスタンス化された引数またはコンポーネントが必要な場合、インスタンス化エラーが発生します。
の形をしていinstantiation_errorます。

このようにして、インスタンス化エラーが発生しない限り、結果が適切に定義されていることが確実にわかります。

の場合、制約を使用するか、クリーン インスタンス化エラーを生成するかの(\==)/2いずれかが既に存在します。dif/2iso_dif/2

だから私の質問は何ですか: ISO Prologで対応する安全な用語比較述語を定義 (および名前付け) する方法は? 理想的には、明示的な用語トラバーサルなしで。たぶん明確にするために：上記iso_dif/2では、トラバーサルという明示的な用語を使用していません。と の両方が内部的に用語(\==)/2を(\=)/2トラバースしますが、このオーバーヘッドは(=..)/2orによる明示的なトラバーサルと比較して非常に低くなりますfunctor/3, arg/3。

これは私が理解しようとしているコードです。

「！」の使用は何ですか 上記のコードの述語 p(,,) 。または、上記のコードのすべてのステップにコメントを追加して、理解できるようにすることはできますか。ありがとう。