Prädikat kodieren in Prolog

Question

Ich bin neu in Prolog und ich versuche, das Prädikat encode(L,L1) zu schreiben, die die Duplikate der Elemente in L zählt, zum Beispiel:

encode([4,4,4,3,3],L). 

L=[3,4,2,3]. 

Dies ist, was ich geschrieben habe:

encode(L,L1) :- encode(L,1,L1). 

encode([],_,[]).  
encode([H],N,[N,H]).  
encode([H,H|T],N1,[N,H|T1]) :- M is N1+1, encode([H|T],M,[N,H|T1]).  
encode([H,Y|T],N,[N,H|T1]) :- H\=Y, encode([Y|T],T1). 

Das obige Prädikat ist nicht reversibel. Es funktioniert nur, wenn der erste Parameter bereitgestellt wird.

Wie kann ich encode reversibel schreiben?
Zum Beispiel:

encode(L,[3,4,2,3]).   
L = [4,4,4,3,3]. 

Answer 1

Ich denke, Ihr Algorithmus in einen redundanten Zähler hat. Etwas vereinfacht wäre:

encoded([], []). 
encoded([X], [1,X]). 
encoded([X,Y|T], [1,X|R]) :- 
    dif(X, Y), 
    encoded([Y|T], R). 
encoded([X,X|T], [N,X|R]) :- 
    N #> 1, 
    N #= N1 + 1, 
    encoded([X|T], [N1,X|R]). 

Hinweis in der letzten Klausel müssen wir sicherstellen, dass N größer als 1 als auch.