:- eval(p()). 

p() :- p(_), println([ok_java]). 
p() :- p(RList.L), println([ok_prova]). 
p(L) :- 
   IBMPortfolio = ws.prova.examples.IBMPortfolio(), 
   L = IBMPortfolio.getJavaList(), 
   type(L, Tp), 
   println([call(Tp, L)]), 
   element(_,L), 
   println([before_cut]), !, println([after_cut]). 
