General Game Playing
| Problem op.5 - Redundant Rule Elimination |
For each of the following pairs of rules, say whether the first rule subsumes the second (meaning that the second rule can be dropped).
| (a) |
r(X) :- p(X,Y) |
| |
|
| |
r(X) :- p(X,a) & p(X,b) |
| |
| (b) |
r(X) :- p(X,a) |
| |
|
|
r(X) :- p(X,Y)
|
| |
| (c) |
r(X) :- p(X,Y) & p(X,Z) |
| |
|
|
r(X) :- p(X,b) & q(b) |
|