Consider the program nat(s(X)) :- nat(X). nat(0). and the query :- nat(Y). a) Describe the complete SLD-resolution tree for this query. b) Explain why Prolog will not find an answer for this query. c)...

Consider the program

nat(s(X)) :- nat(X).

nat(0).

and the query

:- nat(Y).

a) Describe the complete SLD-resolution tree for this query.

b) Explain why Prolog will not find an answer for this query.

c) Change the program so that Prolog can find an answer.