orzecznik zakodować w prologu

Question

Jestem nowy w prologu i próbuję napisać predykat encode(L,L1) który liczy duplikaty elementów w L, na przykład:

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

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

To co napisałem:

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

Powyższy predykat nie jest odwracalny. Działa tylko wtedy, gdy podano pierwszy parametr.

Jak zapisać kodowanie odwracalne?
Na przykład:

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

Answer 1

Myślę, że algorytm posiada redundantne licznik w nim. Nieco uproszczony byłoby:

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]). 

Uwaga w ostatnim punkcie, musimy upewnić się, że N jest większa niż 1, jak również.