Programming language

please with steps

3. Draw the Prolog execution tree (showing the substitutions made in each unification) for the query: ( 5 marks) ?- append (L,[a,c],[a,b,c]). Remember that the predicate append is defined as follows: C1 append ([],L,L). C2 append ([],L,L). append ([XL1],L2,[XL3]) :- append(L1, L2, L3)