問題タブ [logical-purity]

プロローグで if を実行する方法はありますか。たとえば、変数が 0 の場合、いくつかのアクションを実行します (端末にテキストを書き込む)。else は必要ありませんが、if のドキュメントが見つかりません。

2つの変数が同じ用語にインスタンス化されないようにしたい場合、それを行うための好ましい方法は何ですか？

グラフで有向エッジを見つける必要があり、ノードがそれ自体にエッジを持つことができないとしましょう。

（ここでのエッジはa-> c、b-> aですが、c-> cではありません）

次の作品：

これも機能します[swi-prolog]：

これは明らかに機能しません（AもBもまだインスタンス化されていないためですか？）：

最初の解決策に関する私の問題は、より複雑なnode述語では、失敗する前に多くの不必要な統合が行われる可能性があることだと思いedgeます。一方dif、ライブラリ内にあるため、このような単純なケースで使用することを意図したものではないことを示しています（ただし、私が探しているように見える正確な機能を備えています）。

優れた Prolog を作成するためにマスターしなければならない設計ヒューリスティックは何ですか? 経験豊富なプログラマーが Prolog に習熟するには、約 2 年かかると聞きました。再帰を効果的に使用することもその一部ですが、それは比較的小さなハードルのようです。プログラマーをこれほどまでに悩ませているのは、一体何なのでしょうか? その品質を判断するには、サンプル コードで何を探す必要がありますか?

とが不純なプリミティブであることは知っていますが、それらを使用すると、それらを使用するvar/1すべてのプログラムが不純になりますか?nonvar/1!/0

plus/3私は、あたかも純粋であるかのように振る舞う次の述語を書きました。述語は実証的であり、効率的に設計されていません。

2 つの質問があります。

1. 上記の述語plus/3は本当に純粋ですか?
2. 一般に、特定の関係が論理的に純粋であることをどのように証明できますか?

この質問は、この回答に関する議論に続きます。

質問

論理的純度に関する質問があります。

このプログラムは純粋ですか？

コンテキストに関する [irrelevant] の詳細

良い終了特性を持つ純粋な述語を書こうとしています。たとえばlist_length/2、リストとその長さの関係を記述する述語を書きたいとします。組み込みの predicate と同じ終了動作を実現したいlength/2。

私の質問は、次の述語が純粋かどうかを調べようとしています。

clpfdで目標を達成できます...

... またはvar/1、 、nonvar/1andを使用できますが、述語が純粋であることを証明するの!/0は困難です。

member/2andを使用したこの定義は、宣言的な観点からnon_member/2はほぼ完全ですが、特定のクエリに対して冗長なソリューションが生成され、選択ポイントがあちこちに残されます^。

これを改善する定義は何ですか (おそらく and を使用する純粋な方法if_/3で(=)/3) によってまったく同じソリューションのセットが記述されdifferent/2ますが、少なくとも地上のクエリに対して決定的であり (したがって、無駄な選択ポイントを開いたままにしません)、省略します (可能であれば）冗長な答えはありますか？

¹ _{実際、different([a|nonlist],[]), different([],[b|nonlist])成功します。同じように失敗する可能性があります。したがって、両方で失敗する解決策は問題ありません (おそらくさらに細かいことです)。}

「論理的純度」(Prolog プログラミングのコンテキストで) とはどういう意味ですか? logical-purityタグ情報には「ホーン節のみを使用するプログラム」と書かれていますが、それでは、述語はどのようにif_/3修飾されるのでしょうか。var/1つまり、低レベルのものです。

ある程度の「純粋な」効果が得られることはわかりますが、これは正確にはどういう意味ですか?

より具体的な例として、この回答if_/3などで使用されている論理的に純粋であると見なされる方法を説明してください。