Cách thêm vào cuối danh sách trong prolog

Question

Tôi đang cố gắng thêm một mục vào cuối danh sách ở dạng prolog, nhưng nó vẫn không hoạt động.

insertAtEnd(X,[ ],[X]). 
insertAtEnd(X,[H|T],[H|Z]) :- insertAtEnd(X,T,Z).  

letters([a,b,c]). 

Tôi không hiểu tại sao điều này bên dưới không hoạt động.

insertAtEnd(d,letters(Stored),letters(Stored)). 

Tôi cũng đang cố gắng lưu trữ danh sách này trong biến Được lưu trữ trong suốt, nhưng tôi không chắc liệu đây có phải là cách chính xác không.

Answer 1

Prolog triển khai quan hệ mô hình tính toán và các biến chỉ có thể được khởi tạo, không được chỉ định. Hãy thử

?- letters(Stored), 
    insertAtEnd(d, Stored, Updated), 
    write(Updated). 

Answer 2

bạn có thể sử dụng append và đặt hàng của bạn như danh sách thứ hai

như thế này:

insertAtEnd (X, Y, Z): - append (Y, [X], Z).