Question: For each pair of atomic sentences, give the most general unifier if it exists: a. P(A, B, B), P(x, y, z). b. Q(y, G (A,
For each pair of atomic sentences, give the most general unifier if it exists:
a. P(A, B, B), P(x, y, z).
b. Q(y, G (A, B)), Q (G(x, x), y)
c. Older (Father (y), y), Older (Father(x), John).
d. Knows (Father (y), y), Knows(x, x).
Step by Step Solution
3.29 Rating (170 Votes )
There are 3 Steps involved in it
This is an easy exercise to check that the studen... View full answer
Get step-by-step solutions from verified subject matter experts
Document Format (1 attachment)
21-C-S-A-I (118).docx
120 KBs Word File
