Prolog Anzahl Vorkommen in 2 Listen

Question

• Ich möchte 2 Listen vergleichen, für jedes Element.
• Die Anzahl der gleichen Elemente zählen.

Im so nah, bitte helfen Sie mir:

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

(Gibt die Lösung, aber ich habe ein Problem mit Rekursion)

Ausgabe # Gewünscht 1:

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

(2 ist 1 Mal in der Liste).

Requested Ausgang # 2:

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

(1 1 mal in der Liste). (2 ist 1 Mal in der Liste). Summe = 2 gleiche Elemente.

Answer 1

Eine einfachere Lösung wäre, auf Elemente der Hauptliste Rekursion und prüfen, ob jedes Element ein Mitglied Ihrer Testliste ist:

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

Answer 2

Antwort:

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!