Exercise 12.12 Consider the following logic program: f (empty,X,X). f (cons(X, Y),W, Z) f (Y,W, cons(X,

Question:

Exercise 12.12 Consider the following logic program:

f (empty,X,X).

f (cons(X, Y),W, Z) ←

f (Y,W, cons(X, Z)).

Give each top-down derivation, showing substitutions (as in Example 12.31) for the query ask f (cons

(a, cons

(b, cons

(c, empty))), L, empty).

What are all of the answers?

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question

Artificial Intelligence Foundations Of Computational Agents

ISBN: 9780521519007

1st Edition

Authors: David L. Poole, Alan K. Mackworth

Question Posted: