プロローグで述語を結合する

Question

述語をreverseeven(List, Reversed)にする必要があります。これは、リストに偶数の要素がある場合のみリストを逆転させ、そうでなければ空のリストを返します。 は、私は、リストは要素の数が偶数と逆の機能を有しているか否かを判定する機能があります。

evenlength([_,_]). 
evenlength([_,_|X]):- 
    evenlength(X). 

reverse([_,_],R). 
reverse([H|T], R):- 
    reverse(T,ReverseT), append(ReverseT, [H], R). 

をしかし、私は2を組み合わせた方法がわかりませんよ。

Answer 1

あなたは述語を「組み合わせる」ことはできませんが、それらの両方が成功した場合にのみ成功する2つ（またはそれ以上）の述語間の論理積を持つことができます：上記の

reverseEven(List, Reversed) :- 
     evenlength(List),   % This must succeed 
     reverse(List, Reversed).  % and this one in order this case to succeed 

reverseEven(_, []).    % this will succeed otherwise 

最もではありません効率的な実装（たとえば、偶数長のチェックの後にカット!演算子を使用することができます）。しかしそれはアイデアを示しています。

更新 ところで、あなたのreverse述語は次のようになります。

reverse([],[]). % Empty list is a reverse of empty list 
reverse([H|T], R):- 
    reverse(T,ReverseT), append(ReverseT, [H], R).  

アップデート2おかげ@Lurker。上記のコードは2つの答えを生成します。最初のものは正しいでしょう。 Prologにさらに検索を依頼すれば、2番目の節が常に真であるため、空のリストである別の答えが見つかります。これを解決するために、リストの長さが否定演算子を使用していないことを明示的にチェックするか、または私がよりエレガントであると分かっているのは、空のリストに別の節を追加するだけです。余分な要素を持つリストで既存evenlength：

reverseEven([], []). 
reverseEven(List, Reversed) :- 
    evenlength(List),   % This must succeed 
    reverse(List, Reversed).  % and this one in order this case to succeed 

reverseEven([H|T], []) :- 
    evenlength([H|[H|T]]).