goal(X) :- p(X) & p(W) & r(X,Y) & q(X)

goal(X) :-p(X) & r(X,Y)