p(f(a,X)) ?- writeln(X).
?- p(F). ?- p(f(A,B)). ?- p(f(A,b)).
?- p(f(a,b)).
q(X,X) ?- true.
?- q(a,b). ?- q(a,B). ?- q(A,b). ?- q(A,B).
?- q(a,a). ?- q(A,A).