Prologの絶対値述語

Question

でのカットの使用を回避私は次のコードでプロローグに以下の機能を実装しました：

abs2(X, Y) :- X < 0, Y is -X. 
abs2(X, X) :- X >= 0, !. 

どのように私は（「！」）カットを使用せずにこの機能を実装することができますか？

Answer 1

はプロローグのされたif-then-else構文で「非表示」のカットがあります：あなたが適切に述語を記述する場合、カットが不要であるので、バックトラックは、成功することはできませんこれは変わったものですが、もしPrologがif-thenやif-then-else構造の「前提」を構成する副目標に逆戻りすることはありません。ここで、X < 0が最初の試行に成功すると、 "else"節よりも "then"節の選択が確定する（したがって、この動作を「隠し」として記述する）。

質問に書かれた述語ABS2/2の最初句のカットの役割の多くのがあります。ニコラスが指摘しているように、2番目の節の終わりにあるカットは効果がありません（そこに着くときに選択肢が残っていません）。しかしKaarelが指摘しているように、最初の句が成功すると、選択肢が残っています。

ので、カットの使用を可能に私が書かれているだろうが、これです：

abs2(X,X) :- X >= 0, !. 
abs2(X,Y) :- Y is -X. 

ニコラスのコメントも絶対値を「arithmetize」（というよりもロジックの定義を使用）する方法を提案し、避けますそのように "カット"。

Answer 2

私のプロローグはちょっと錆びますが、なぜカットも必要ですか？

abs2(X,Y) :- X < 0 -> Y is -X ; Y = X. 

：

abs(X, Y) :- number(X) , X < 0 , Y is -X . 
abs(X, X) :- number(X) , X >= 0 . 

Answer 3

prolog-cutを使用する必要はありません！

単に書く：

abs2(X,Y) :- Y is abs(X).