?- write('Query1:  ')@\prolog, ?X=f(a), writeln(?X)@\plg.

?- write('Query2:  ')@\plg, ?X=f(a), p2h{?P,?X}, writeln(?P)@\prolog.