answer(X) :-
  pred([*,*]:p(X,[*,*]:q(x,y))).
$