Prologは、私は、各要素のために、2リストを比較したい2つのリスト

Question

• に出現回数を数えます。
• 等しい要素の数を数えます。

イム近いので、私を助けてください：

%list vs list% 
count2([],[],0). 
count2([H1|T1],[H2|T2],S):- 
    count(H1,[H2|T2],N), 
    count2(T1,[H2|T2],M), 
    S is N+M. 

%1 element vs 1 list% 
count(_, [], 0). 
count(X, [X | T], N) :- 
    !, count(X, T, N1), 
    N is N1 + 1. 
count(X, [_ | T], N) :- 
    count(X, T, N). 

A test: 
1 ?- count2([2],[1,2,3],S). 
false. 

トレース：

2 ?- count2([2],[1,2,3],S). 

    Redo: (5) read_history(h, '!h', [trace, end_of_file], '~! ?- ', _G154, _G155) ? creep 
Correct to: "count2([2],[1,2,3],S)"? 
Please answer 'y' or 'n'? yes 
    Call: (7) count2([2], [1, 2, 3], _G306) ? creep 
    Call: (8) count(2, [1, 2, 3], _G631) ? creep 
    Call: (9) count(2, [2, 3], _G631) ? creep 
    Call: (10) count(2, [3], _G631) ? creep 
    Call: (11) count(2, [], _G631) ? creep 
    Exit: (11) count(2, [], 0) ? creep 
    Exit: (10) count(2, [3], 0) ? creep 
    Call: (10) _G632 is 0+1 ? creep 
    Exit: (10) 1 is 0+1 ? creep 
    Exit: (9) count(2, [2, 3], 1) ? creep 
    Exit: (8) count(2, [1, 2, 3], 1) ? creep 
    Call: (8) count2([], [1, 2, 3], _G637) ? creep 
    Fail: (8) count2([], [1, 2, 3], _G637) ? creep 
    Redo: (11) count(2, [], _G631) ? creep 
    Fail: (11) count(2, [], _G631) ? creep 
    Fail: (10) count(2, [3], _G631) ? creep 
    Fail: (9) count(2, [2, 3], _G631) ? creep 
    Fail: (8) count(2, [1, 2, 3], _G631) ? creep 
    Fail: (7) count2([2], [1, 2, 3], _G306) ? creep 
false. 

（溶液を返しますが、私は再帰に問題がある）

要求された出力＃ 1：

?- count2([2],[1,2,3],S). 
S = 1. 

（2リスト内の1時間です）。

要求された出力＃2：

?- count2([1,2],[1,2,3],S). 
S = 2 

（1リスト内の1時間です）。 （2リスト内の1時間です）。 合計= 2の等しい要素。

Answer 1

簡単な解決策は、メインリストの要素に再帰的と各要素があなたのテストリストのメンバーであるかどうかを確認するために、次のようになります。

count(_, [], 0). 
count(Xs, [H|T], C) :- 
    ( member(H, Xs) 
    -> C#= C1 + 1 
    ; C1 = C 
    ), 
    count(Xs, T, C1). 

Answer 2

回答：

count2([],[_|_],0). 
count2([H1|T1],[H2|T2],S):- 
    count(H1,[H2|T2],N), 
    count2(T1,[H2|T2],M), 
    S is N+M. 


count(_, [], 0). 
count(X, [X | T], N) :- 
    !, count(X, T, N1), 
    N is N1 + 1. 
count(X, [_ | T], N) :- 
    count(X, T, N). 

Solved!