P is a predicate, f, g are functions, a is a constant, and x, y, we have ➡), f(y, x), × ), and f(a, v), g(w)).

icon
Related questions
Question
100%
Given that P is a predicate, f, g are functions, a is a constant, and x, y, u, v, w are
variables, we have
(1) P(g(f(x,y)), f(y,x), x), and
(2) P(g(u), f(a, v), g(w)).
(a) Give a most general unifier for (1) and (2).
(b) Give a unifier that is NOT most general.
Transcribed Image Text:Given that P is a predicate, f, g are functions, a is a constant, and x, y, u, v, w are variables, we have (1) P(g(f(x,y)), f(y,x), x), and (2) P(g(u), f(a, v), g(w)). (a) Give a most general unifier for (1) and (2). (b) Give a unifier that is NOT most general.
Expert Solution
steps

Step by step

Solved in 3 steps

Blurred answer