Jak dodać do końca listy w prologu

Question

Próbuję dodać jeden element do końca listy w prologu, ale nadal kończy się niepowodzeniem.

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

letters([a,b,c]). 

Nie rozumiem, dlaczego poniższy opis nie działa.

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

Ja również próbuje zapisać tę listę w zmiennej przechowywanej przez cały czas, ale nie jestem pewien, czy powyższe jest prawidłowy sposób postępowania.

Answer 1

Prolog implementuje model obliczeniowy relacyjny, a zmienne mogą być tworzone tylko, nieprzypisane. Spróbuj

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

Answer 2

można użyć append i umieścić swoją pozycję jako drugiej listy

tak:

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