連続する重複を除去する

Question

リスト要素の連続する重複を除去する。

このため私のソリューションは、次のとおりです。

compress([X,X|Xs], Q) :- 
    compress([X|Xs], Q). 
compress([X,Y|Xs], Q) :- 
    X \= Y, 
    compress([Y|Xs], QR), 
    append([X], QR, Q). 
compress([X|[]], Q) :- 
    compress([], QR), 
    append([X], QR, Q). 
compress([], []). 

そして、理由は事実を私は初心者です、私は、論理パラダイムで経験がない私はをお願いし、私が改善することができるかと言うと、なぜ私の解決策ではありませんそれができるように良い。

たとえば、X \= Yはわかりません。

Answer 1

まず、述語のという名前のから始めます。

なぜの必須のを使用しての関係を指定していますか？良いPrologプログラムはすべて 方向で使用できますが、命令は常に特定の方向または使用方法を示唆します。したがって、宣言的な という名前をと選択し、一般性とlogical-purityを目指してください。

次に、どのような最も一般的なクエリについて：

?- compress(Ls, Cs). 
ERROR: Out of local stack 

ない非常に素晴らしいです！これにより、少なくともいくつかの回答が得られると期待しています。

私たちは、反復深化を使用する場合：

 
?- length(Ls, _), compress(Ls, Cs). 
Ls = Cs, Cs = [] ; 
Ls = Cs, Cs = [_G841] ; 
Ls = [_G841, _G841], 
Cs = [_G841] ; 
Ls = [_G841, _G841, _G841], 
Cs = [_G841] . 

フムを！かなりの答えがありません！要素がと異なる場合はどうですか？？すでに直観的に期待しているように、そのような影響をもたらすのは不潔な述語の使用です。

したがって、2つの用語は異なるあることを示すために、prolog-dif、即ち、dif/2を使用します。それはすべての の指示に使用可能です！

また、リストを記述するときにDCG（dcg）が便利な場合があります。

ので、トータルでは、何これについて：

 
compression([])  --> []. 
compression([L|Ls]) --> [L], compression_(Ls, L). 

compression_([], _) --> []. 
compression_([X|Xs], L) --> 
     ( { X = L }, 
      compression_(Xs, L) 
     ; { dif(X, L) }, 
      [X], 
      compression_(Xs, X) 
     ). 

我々はDCGで動作するようにインターフェイス述語phrase/2を使用しています。

使用例：

 
?- phrase(compression(Ls), Cs). 
Ls = Cs, Cs = [] ; 
Ls = Cs, Cs = [_G815] ; 
Ls = [_G815, _G815], 
Cs = [_G815] . 

?- length(Ls, _), phrase(compression(Ls), Cs). 
Ls = Cs, Cs = [] ; 
Ls = Cs, Cs = [_G865] ; 
Ls = [_G865, _G865], 
Cs = [_G865] ; 
Ls = Cs, Cs = [_G1111, _G1114], 
dif(_G1114, _G1111) . 

はここからそれを持っていこう！決定論を改善し、より良い名前などを見つける

Answer 2

the answer by @matのビル（1）、なぜはこのようなケースで決定性改善されない：SWI prolog-toplevel; falseで

 
?- phrase(compression([a,a,b,b,b,c,c,c,c,d]), Xs). 
Xs = [a, b, c, d]; 
false. 

は目標が確定的に成功しなかったことを示しています。

我々はif_//3 —を使用してcompression_//2を向上させることができますif_/3のdcgアナログ：

 
compression_([], _) --> []. 
compression_([X|Xs], L) --> 
 if_ (X  = L,       % is this item equal to previous one? 
     compression_(Xs, L),    % yes: old "run" goes on 
     ([X], compression_(Xs, X))).  % no: new "run" starts 

サンプルクエリ：あなたは私の頭の中でめちゃめちゃ

?- phrase(compression([a,a,b,b,b,c,c,c,c,d]), Xs). 
Xs = [a, b, c, d].       % succeeds deterministically