プロローグが...リスト

Question

私はリストの上に関係を定義しようとしている内部のリストを統一

?- matrix_items([[a,b],[c,d],[e,f]],Rs). 
Rs = [a,b,c,d,e,f].      % expected result 

これまでのところ、私はこのような何かをすることができました。残念ながら、それはすべての要素を追加していません。すぐにあなたから聞い

sift([],_).            
sift([H|T],[H|Result]) :- 
    create(H,Result), 
    sift(H,Result). 

create([],_). 
create([H|T],[H|R]) :- 
    create(T,R). 

希望。

Answer 1

このようなものを試してみてください。私は統一がPrologで他の意味合いを持っているようflatten_lする述語の名前を変更した：最初の引数がインスタンス生成されている場合、この述語はあなたにスタックオーバーフローエラーを与えることも

flatten_l([H|T], FL):- 
    flatten_l([H|T], [], FL). 

flatten_l([], FL, FL):- !. 
flatten_l([H|T], ML, FL):- 
    flatten_l(T, ML, NL), 
    !, 
    flatten_l(H, NL, FL). 
flatten_l(X, FL, [X|FL]). 

注...

Answer 2

すべてのリスト（サブリストを含む）を折りたたみたい場合は、flatten/2を使用できます。

あなただけの単一レベルを折りたたむしたい場合は、次のように動作するはずです：

unify([], []). 
unify([X|Xs], Ret) :- unify(Xs, Rs), append(X, Rs, Ret). 

Answer 3

あなたはSWI-PLを使用する場合は、あなただけの1を平らにするネスティングやappend/2のすべてのレベルを平坦化するflatten/2を呼び出すことができますレベル。