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