. For each pair of atomic sentences, give the most general unifier if it exists. Here, we use x, y, z to denote the variables, and A, B, John denote constant symbols. (a) P(A, B, B), P(x, y, z) (b) Q(y, G(A, B)), Q(G(x, x), y) (c) Older(F ather(y), y), Older(F ather(x), John). (d) Knows(F ather(y), y), Knows(x, x)
时间: 2023-09-02 15:07:49 浏览: 117
drm_atomic.rar_DRM_empty
(a) The most general unifier is x = A, y = B, z = B.
(b) The most general unifier is x = A, y = G(A,B).
(c) The most general unifier is x = y, y = John.
(d) There is no unifier for these two sentences.
阅读全文