For each pair of atomic sentences, give the most general unifier if it exists:
-
$P(A,B,B)$, $P(x,y,z)$.
-
$Q(y,G(A,B))$, $Q(G(x,x),y)$.
-
${Older}({Father}(y),y)$, ${Older}({Father}(x),{John})$.
-
${Knows}({Father}(y),y)$, ${Knows}(x,x)$.
Answer
Improve This Solution
View Answer