p(X,Y,_) :- 
  q(X,Y,Z), not (X,Y,U).
$