

test(S,T,U,V,W,X,Y,Z) :- X is 4 * 2, ((A is X*X, functor(U,f,5), Y is A/2, functor(T,h,2) )  //
		 	          (B is 3*X, Z is B mod 5, functor(V,g,Z), functor(S,j,3))), 
		     W is Y + Z.

?- test(A,B,C,D,E,F,G,H).