p([*,*]:q(*,*,X),Y,Z) :-
  r(X,Y,Z).
$