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

Question:

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 13.32) for the query

???????????? 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
Question Posted: