プロローグで平坦化 - 他のようなもの

Question

私のflattenの実装を見てください：一般的に、それは動作しています。 my_flatten([], F)の問題のみ - F=[]ではなくF=[]; F=[[]]となります。 my_flatten(X, [1,2,3])については

my_flatten(L, X) :- 
    my_flatten(L, X, []). %, reverse(F, X). 

my_flatten([], Acc, Acc). 
my_flatten([H|T], F, Acc) :- 
    my_flatten(H, F1, Acc), 
    my_flatten(T, F, F1), !.       
my_flatten(X, [X|Acc], Acc).   

このプログラムはループ - として、無限に多くの答えが存在するので、それは、OKです：[[],[],[],[],1,2,3]。
しかし、上記と同じ問題 - my_flatten(X, [])の場合もループするはずですが、[]; [[]]となります。

リバーサルですが、気にしません。reverseのコメントを外すと問題ありませんが、上記のループの代わりにfalseが返されます。

my_flatten([], X)の場合、[]を返すようにこのコードを変更することはできますか？

私は@lurkerの提案を実装：

my_flatten(L, F) :- 
    my_flatten(L, X, []), 
    reverse(F, X). 

my_flatten([], Acc, Acc). 
my_flatten([H|T], F, Acc) :- 
    is_list(H), 
    my_flatten(H, F1, Acc), 
    my_flatten(T, F, F1). 
my_flatten([X|T], F, Acc) :- 
    not(is_list(X)), 
    my_flatten(T, F, [X|Acc]). 

Answer 1

私はあなたの実際の質問に答える前に、私はflatten/2を使用しての1件のコメントがあります。

をしませを行います。

理由：flatten/2は真の関係ではありません。例えば、我々が持っている：

 
?- X = [a], flatten(X, Ls). 
X = [a], 
Ls = [a]. 

しかし：

 
?- flatten(X, Ls), X = [a]. 
X = [a], 
Ls = [[a]]. 

をこれは明らかに論理的な観点からも意味がありません。

、ネスティングの正確1レベルを削除し、ことを実装しようとする代わりにappend/2を使用してください。

ヒント：dcgを使用してください！

多くのPrologコースでflatten/2が表示されていることを知っています。それはそれが有用で価値があり、教授的なものであるということを意味するものではありません。

常にも最も一般的なクエリを試してください：そこからそれを取っ

 
?- my_flatten(X, Ls). 
X = Ls, Ls = [] ; 
X = [[]], 
Ls = []. 

スタート：この答えが、あまりにも特定のかあまりにも一般的であるあなたの実際の質問に今

、両方とも？これについて考えます。

次に、これが意味を成立させるために必要な議論について考えてみましょう。つまり、どんな条件の下で、さらにインスタンシエーションをしても非官能的ではない健全な回答を与えることさえできますか？

これは、Prologでinstantiation-errorを読むのに役立ちます。