ngữ mã hóa trong prolog

Question

Tôi mới trong prolog và tôi đang cố gắng để viết vị encode(L,L1) mà đếm các bản sao của các yếu tố trong L, ví dụ:

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

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

Đây là những gì tôi đã viết:

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

Vị từ trên không thể đảo ngược. Nó chỉ hoạt động nếu tham số đầu tiên được cung cấp.

Tôi làm cách nào để viết mã có thể hoàn nguyên?
Ví dụ:

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

Answer 1

Tôi nghĩ rằng thuật toán của bạn có một bộ đếm dư thừa trong đó. Một chút đơn giản hóa sẽ là:

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

Lưu ý trong điều khoản cuối cùng, chúng tôi cần đảm bảo rằng N cũng lớn hơn 1.