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
Artificial Intelligence Foundations Of Computational Agents
ISBN: 9781107195394
2nd Edition
Authors: David L. Poole, Alan K. Mackworth
Question Posted: