Nombre d'occurrences de Prolog dans 2 listes

Question

• Je veux comparer 2 liste, pour chaque élément.
• Comptez le nombre d'éléments égaux.

Im si près, s'il vous plaît aidez-moi:

%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. 

Trace:

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. 

(Retourne la solution, mais j'ai un problème avec récursivité)

Demandés sortie # 1:

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

(2 est 1 fois dans la liste).

sortie demandée # 2:

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

(1 est une fois dans la liste). (2 fois 1 heure dans la liste). Total = 2 éléments égaux.

Answer 1

Une solution plus simple serait de récursivité sur les éléments de la liste principale et vérifier si chaque élément est un membre de votre liste de tests:

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

Answer 2

Réponse:

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!