I am having a difficult time with this question and need some help. Below is my answer, I am not sure if they are correct, but based on my limited understanding. Need some help.
recursive definition of append
append([]A,A).
append([H|T1], A, [H|T2]):-append(T1, A, T2)
(a.)...