Question: 11.1 11.7 Exercises 11.1 Let P be the program P (a) and G be the goal clause p(x). Is the empty substitution a correct answer

11.1
11.7 Exercises 11.1 Let P be the program P (a) and G be the goal clause p(x). Is the empty substitution a correct answer substitution? Explain. 11.2 Draw an SLD-tree similar to that of Fig, 11.1 except that the computation rul
Step by Step Solution
There are 3 Steps involved in it
Get step-by-step solutions from verified subject matter experts
