For each of the following patterns and instances, say whether the instance matches the pattern and, if so, give the corresponding matcher.
(a) | p(X,Y) and p(a,a) | |
| {X←a, Y←a} | |
| No match | |
|
(b) | p(X,Y) and p(a,f(a)) | |
| {X←a, Y←f(a)} | |
| No match | |
|
(c) | p(X,f(Y)) and p(a,f(a)) | |
| {X←a, Y←a} | |
| No match | |
|
(d) | p(X,X) and p(2,min(2,4)) | |
| {X←2} | |
| No match | |
|
(d) | p(X,min(2,4)) and p(2,2) | |
| {X←2} | |
| No match | |
|