number of logical inference

Hello, 

is there a way to know the number of inferences needed to find a solution ?
like time(+goal) in SWI-Prolog : 

time(+Goal)
    Execute  Goal  just like  once/1 (i.e.  leaving  no choice  points),
    but  print used time, number  of logical inferences and the  average
    number  of  lips  (logical  inferences  per  second).     Note  that
    SWI-Prolog  counts the actual  executed number of inferences  rather
    than  the number of passes through  the call- and redo ports of  the
    theoretical 4-port model

I don't see anything like this in the documentation. 
It may be useful for me to realize some comparaisons...

Thanks

Olivier