p( X ) :-
	Goal =.. [q,X],
	user:Goal.

q(a).