/* :- seqex(test/4). */

test(X,Y,Z,A) :- X =.. [f,a,b,g(A,B)], A = h(M,N,p), A =..Y, 
		 A =.. [h, k(a), m(P,Q), p], Z =.. [5], 5 =.. [Z].

?- test(A,B,C,D).  




