Exercise 12.8 What is the result of the following application of substitutions: (a) f (A,X, Y,X, Y){A/X,
Question:
Exercise 12.8 What is the result of the following application of substitutions:
(a) f (A,X, Y,X, Y){A/X, Z/b, Y/c}.
(b) yes(F, L) ← append(F, c(L, nil), c(l, c(i, c(s, c(t, nil)))))
{F/c(l,X1), Y1/c(L, nil),A1/l, Z1/c(i, c(s, c(t, nil)))}.
(c) append(c(A1,X1), Y1, c(A1, Z1)) ← append(X1, Y1, Z1)
{F/c(l,X1), Y1/c(L, nil),A1/l, Z1/c(i, c(s, c(t, nil)))}.
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: