カットを読む！プロローグ

Question

私はLearn Prolog Now! 's chapter on cutsを読むのと同時に、Bratkoの人工知能のためのプロローグプログラミング、第5章：バックトラックを制御しています。最初は、他のプログラミング言語から知られているif-else節を模倣する単純な方法でした。

例えば、このコードは、我々は falseを期待しても、すべての変数がインスタンス化されている場合に失敗しますラインを書き留めているようしかし

# Find the largest number 
max(X,Y,Y):- X =< Y,!. 
max(X,Y,X). 

、

?- max(2,3,2). 
true. 

理由はっきりしています：最初のルールは失敗し、2番目のルールはそれ以上接続されていないため、成功します。私はそれを理解したが、その後解決策が提案されている（ここではswishです）：

max(X,Y,Z):- X =< Y,!, Y = Z. 
max(X,Y,X). 

そして私は、私はこれを読むべきか混乱しています。私は!が意味すると思った： 'これの前に来るものがすべて!であれば、同じ述語で他のルールも含めて終了を止める'。しかし、それは正しいとは言えません。これは、Y = Zのインスタンス化が失敗の場合にのみ発生することを意味するため、そのルールでは役に立たないからです。

こうしてカットを「人」的に読むべきですか？また、拡張として、上記のmax/3の提案されたソリューションをどのように読むべきですか？

Answer 1

this answerおよびthis questionも参照してください。

上記のmax/3の解決方法はどうすればよいですか？次のように

max(X,Y,Z):- X =< Y, !, Y = Z. 
max(X,Y,X). 

あなたはこれを読むことができます。

X =< Y

は、述語の二句を忘れて、そしてYとZを統一します。

カットは選択肢を投げ捨てます。選択肢のポイントは、プルーフ・ツリー内のマークで、ソリューションを見つけた後、より多くのソリューションの検索を再開する場所をPrologに指示します。そのカットはプルーフツリーの一部を切り落とします。上の最初のリンク（here it is again）では、いくつかの細部についてのカットについて説明していますが、その答えの大きな部分は、他の人がカットに関する他の言葉を引用しているだけです。

私は、Prologプログラムにカットを入れたら、宣言的にではなく、それを操作的に読むよう強制しています。プルーフツリーのどの部分が切り取られるのか理解するためには、あなたは（プログラマ）は動きを見て、節の順序を検討し、どのサブゴールが選択肢点を作ることができるかを考え、どの解決策が失われるかを考慮する必要があります。証明ツリーを作成する必要があります。

多くの場合、テクニックを使用して、必要のない選択肢ポイントを作成することを避けることができます。しかし、これは大きな話題です。利用可能な資料を読み、特定の質問をする必要があります。