Prologda listenin sonuna nasıl eklenir

Question

Prologda bir listenin sonuna bir öğe eklemeye çalışıyorum ancak başarısız olmaya devam ediyor.

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

letters([a,b,c]). 

Neden bunun neden çalışmadığını anlamıyorum.

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

Ben de boyunca Saklanan değişkende bu listeyi saklamak çalışılıyor, ancak yukarıda devam etmek doğru yolu olup olmadığından emin değilim.

Answer 1

Prolog bir ilişkisel hesaplama modelini uygular ve değişkenler sadece atanmış değil, örneği olabilir.

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

Answer 2

Eğer append kullanmak ve ikinci liste olarak öğeyi koyabilirsiniz deneyin böyle

:

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