[eclipse-clp-users] saving the resolution list of a call

Hi,

i also need to save the resolution list of a call, meaning a list of all 
called predicates in the called order (without and/or, but that could be 
extracted later).

Something like this (only an example, not tested):

rescall(true,_) :- !.

rescall((A,B),Res) :- rescall(A,Res),rescall(B,Res).
rescall((A;B),Res) :- rescall(A,Res);rescall(B,Res).

rescall(X,Res) :- 
not(booleanfunctor(X)),functor(X,F,A),member(F/A,Res),clause(X,C),rescall(C,Res).

This works, but takes serveral times the time of a normal call(X). I 
need a VERY fast version of this. Any possibility to make this work faster ?
Maybe by saving this information directly out of the normal prolog call 
method ?

best regards Christian Wirth