2.3 Will the following matching operations succeed or fail? If they succeed, what are the resulting instantiations

Question:

2.3 Will the following matching operations succeed or fail? If they succeed, what are the resulting instantiations of variables?

(a) point(A, B) = point(1, 2)

(b) point(A, B) = point(X, Y, Z)

(c) plus(2, 2) = 4

(d) +(2, D)+(E, 2)

(e) triangle( point(-1,0), P2, P3) = triangle( P1, point(1,0), point(0,Y)) The resulting instantiation defines a family of triangles. How would you describe this family?

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

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: