SLD Resolution / Derivation
1. Consider the following logic program. p(X, x) p(X, s(Y)) – p(X, Y). p(f (X, L), f(Y, M))-p(L, M). Show a successful SLD-derivation for the following query: ?- p(f (a, s(a)), f(X, X)). a is a constant. 2. Consider the following logic program p(x, ) p(X, [XIL]) :- p(X, L). Show a successful SLD-derivation for the following query: a is a constant. Show transcribed image text 1. Consider the following logic
OR
OR