Question: Programming language please with steps 3. Draw the Prolog execution tree (showing the substitutions made in each unification) for the query: ( 5 marks) ?-
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)
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
