Consider the following knowledge base
c(v,A,A).
c(l(X,A),B,l(X,C)) :- c(A,B,C).
e(X,A) :- c(B,l(X,C),A).
How to write the resolution trees corresponding to the knowledge base and the questions?
1. ?- e(X,l(p,l(q,v))).
2. ?- c(A,B,l(p,l(q,v))).
I don't understand anything, I don't know how to solve it, someone help me please.
I saw an example that I did understand, but I can't relate it to this exercise to be able to solve it.