Computer Science
Show the variable instantiations (the values of X, Y and Z) if the matching between the
term in the first column and the term in the second column succeeds. Use "No" otherwise.
Terml
Term2
Instantiations
[a, a]
[X|Y]
[f(a), f(b), c) [X, X]Z]
[g(c), b, c] [g(X), Z. Z]
[g(Y), b. f(a)] (Z. Y. Z]
[a, (e. [d]].c] [X, Z, Y]
[1, 4, 6] [X || [Y]]]
[ X,Y|L|Z]]
[c, b. d]
[X, b|Y]
f(g(Z. a), X) f(X. g(b, Z))
pif(X), g(b. Y)) p(f(g(e)), g(Z, a)
Answers
Answered by
0
Answer:
bro I didn't know the answer mujhe pata hota toh mai pakka likh ta
Explanation:
sorry dost mujhe brainlist answer karde pls
Similar questions
India Languages,
2 months ago
India Languages,
2 months ago
Math,
2 months ago
Physics,
5 months ago
Math,
5 months ago
English,
10 months ago
Physics,
10 months ago