Problem op.4 - Redundant Subgoal Deletion

General Game Playing

Problem op.4 - Redundant Subgoal Deletion

For each of the following rules, select the alternative that is equivalent to the original.

	(a)	`r(X) :- p(X,Y) & q(Y) & q(Z)`
		`r(X) :- p(X,Y)`
		`r(X) :- p(X,Y) & q(Y)`
		`r(X) :- p(X,Y) & q(Z)`

	(b)	`r(X) :- p(X) & q(Z) & q(W)`
		`r(X) :- p(X)`
		`r(X) :- p(X) & q(X)`
		`r(X) :- p(X) & q(W)`

	(c)	`r(X,Y,Z) :- p(X,Y) & q(Y) & q(Z) & q(W)`
		`r(X,Y,Z) :- p(X,Y) & q(Y) & q(Z)`
		`r(X,Y,Z) :- p(X,Y) & q(Y) & q(W)`
		`r(X,Y,Z) :- p(X,Y) & q(Z) & q(W)`