Prologのサブリストの生成、空のリストを掛ける - なぜ

Question

を知らない私は、私に与えられたリストのすべての可能なサブリストを返すプロローグを作りたいので、私は書いた：

：私はのような結果を得るそのようにし

subSet(L,S):- append(_,L2,L),append(S,_,L2). 

を

Out = [] ; 
Out = [a] ; 
Out = [a, b] ; 
Out = [a, b, c] ; 
Out = [] ; 
Out = [b] ; 
Out = [b, c] ; 
Out = [] ; 
Out = [c] ; 
Out = [] ; 

空のリストを繰り返すのをやめるにはどうすればよいですか？

Answer 1

ルールアウト。

list_subseq(_,[]). 
list_subseq(L, S) :- S = [_|_], .... 

しかし、サブシーケンスを表現することは、多くの場合、DCGでよく行われます。 this responseの最初の定義を参照してください。 append/3を使用すると動作する可能性がありますが、読みにくいコードにつながります。

Answer 2

すでに標準リスト述語の中にsublist述語があります（[]を1回だけリストします）。私はあなたがこれをエクササイズとして実装していると仮定します...

空リストは常にサブリストなので、これは明示的に指定できます。あなたは、代わりにSの[S|T]を使用して空のリストを避けることができます。

subSet(_, []). 
subSet(L, [S|T]) :- append(_, L2,L), append([S|T], _, L2). 

例の実行：あなたはすべての空のリストを記述し、一度手動で追加されていることを

| ?- subSet([a, b, c], Out). 

Out = [] ? ; 

Out = [a] ? ; 

Out = [a,b] ? ; 

Out = [a,b,c] ? ; 

Out = [b] ? ; 

Out = [b,c] ? ; 

Out = [c] ? ;